• HyDI

  • Referenced in 3 articles [sw11912]
  • flow conditions to model the continuous dynamics. In this paper, we propose a new language ... evolve synchronously. Top-level modules represent the asynchronous components of a network and use explicit...
  • DroidBench

  • Referenced in 1 article [sw13317]
  • used to assess both static and dynamic taint analyses, but in particular it contains test ... modeling an application’s lifecycle, adequately handling asynchronous callbacks and interacting with...
  • CRAFT

  • Referenced in 1 article [sw32911]
  • reduction, the library offers a build-in asynchronous checkpointing mechanism and also supports the Scalable ... User-Level Failure Mitigation (ULFM) based dynamic process recovery, which significantly reduces the complexity...
  • CasparCG

  • Referenced in 1 article [sw09869]
  • play-out software. Plays simultaneous layers of dynamic graphics, videos and images in real-time ... rendering to disk. High-performance with asynchronous and multi-threaded I/O and paired with ... audio together with several layers of dynamic text and graphics to multiple outputs such...
  • AlphaClean

  • Referenced in 1 article [sw37879]
  • contributes candidate transformations to a shared pool. Asynchronously, in separate threads, a search algorithm sequences ... evaluation of the quality measures and learning dynamic pruning rules to reduce the search space...
  • DUNE-FEM-DG

  • Referenced in 2 articles [sw37061]
  • using distributed parallelization, local grid adaptivity with dynamic load balancing, and check pointing. We discuss ... diagonally implicit and IMEX schemes. We discuss asynchronous communication, shared memory parallelization, and automated code...
  • ANSYS

  • Referenced in 662 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • Boolector

  • Referenced in 28 articles [sw00085]
  • Boolector: an efficient SMT solver for bit-vectors...
  • BoomerAMG

  • Referenced in 165 articles [sw00086]
  • BoomerAMG: A parallel algebraic multigrid solver and preconditioner...
  • CoCoALib

  • Referenced in 56 articles [sw00144]
  • CoCoALib: A C++ library for computations in commutative...
  • Coq

  • Referenced in 1807 articles [sw00161]
  • Coq is a formal proof management system. It...
  • GAP

  • Referenced in 2876 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • hypre

  • Referenced in 272 articles [sw00426]
  • hypre is a software library for the solution...
  • Isabelle

  • Referenced in 611 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • LAPACK

  • Referenced in 1642 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Macaulay2

  • Referenced in 1692 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Maple

  • Referenced in 5124 articles [sw00545]
  • The result of over 30 years of cutting...
  • MapReduce

  • Referenced in 251 articles [sw00546]
  • MapReduce is a new parallel programming model initially...
  • Mathematica

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