• 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 path-bounded model-checking) to determine test inputs ... learns the program behavior by monitoring execution traces. Pex uses a constraint solver to produce...
  • 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 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 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...
  • 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 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 high-level language and interactive...
  • MiniSat

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

  • Referenced in 406 articles [sw00611]
  • graph-theoretic program NAUTY: nauty is a program...