• Pex

  • Referenced in 31 articles [sw07263]
  • analysis (using dynamic symbolic execution, similar to path-bounded model-checking) 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...
  • BRL-CAD

  • Referenced in 1 article [sw19918]
  • solid geometry editing, high-performance ray-tracing support for rendering and geometric analysis, network-distributed ... support, image and signal-processing tools, path-tracing 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 predictor-corrector path-following 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 network-wide and individual path properties by only monitoring within...
  • RESound

  • Referenced in 1 article [sw23994]
  • fast path computation, we use a unified ray-based 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 inter-component communication through intent-tracing 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 high-level language and interactive...
  • MiniSat

  • Referenced in 455 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...