
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 26 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 125 articles
[sw00127]
 An Interactive Geometry Software. Besides support for dynamic...

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

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

GAP
 Referenced in 1900 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 1266 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

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

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

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

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

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

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

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