
Pex
 Referenced in 31 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...

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...

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 4 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...

RESound
 Referenced in 1 article
[sw23994]
 fast path computation, we use a unified raybased representation to efficiently trace discrete rays...

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

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

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

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

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

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

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

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

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

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