
HPCTOOLKIT
 Referenced in 6 articles
[sw08921]
 were added to HPCTOOLKIT for collecting call path profiles for fully optimized codes without ... space–time diagrams based on traces of asynchronous call path samples. This paper provides...

Pex
 Referenced in 25 articles
[sw07263]
 analysis (using dynamic symbolic execution, similar to pathbounded modelchecking) to determine test inputs ... learns the program behavior by monitoring execution traces. Pex uses a constraint solver to produce...

BRLCAD
 Referenced in 1 article
[sw19918]
 solid geometry editing, highperformance raytracing support for rendering and geometric analysis, networkdistributed ... support, image and signalprocessing tools, pathtracing and photon mapping support for realistic image...

PyPy
 Referenced in 3 articles
[sw20002]
 interpreters for some dynamic languages, including Python. Tracing JIT compilers can greatly speed up programs ... they take similar code paths. However, applying an unmodified tracing JIT to a program that...

CMPSm
 Referenced in 2 articles
[sw06209]
 program using a predictorcorrector pathfollowing method for tracing homotopy curves to approximate...

NetQuest
 Referenced in 3 articles
[sw13969]
 information we gain about the network path properties subject to given resource constraints. We then ... conduct extensive evaluation using both real traces and synthetic data. Our results show that ... accurately estimate networkwide and individual path properties by only monitoring within...

CoChecker
 Referenced in 1 article
[sw13316]
 tool, CoChecker, to identify the leak paths (chains of components) that would lead to privilege ... carry out intercomponent communication through intenttracing and formulate the call graph...

Cinderella
 Referenced in 121 articles
[sw00127]
 An Interactive Geometry Software. Besides support for dynamic...

CoCoA
 Referenced in 489 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

Coq
 Referenced in 1159 articles
[sw00161]
 Coq is a formal proof management system. It...

GAP
 Referenced in 1803 articles
[sw00320]
 GAP is a system for computational discrete algebra...

Kronecker
 Referenced in 64 articles
[sw00495]
 Kronecker is a package for Magma computer algebra...

LAPACK
 Referenced in 1222 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

Macaulay2
 Referenced in 1014 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

Magma
 Referenced in 1721 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large...

Maple
 Referenced in 3967 articles
[sw00545]
 The result of over 30 years of cutting...

Mathematica
 Referenced in 4133 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 7110 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

MiniSat
 Referenced in 355 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

nauty
 Referenced in 406 articles
[sw00611]
 graphtheoretic program NAUTY: nauty is a program...