• Eraser

  • Referenced in 45 articles [sw08922]
  • Eraser: a dynamic data race detector for multithreaded programs. Multithreaded programming is difficult and error ... dynamically detecting data races in lock-based multithreaded programs. Eraser uses binary rewriting techniques ... case studies, including undergraduate coursework and a multithreaded Web search engine, that demonstrate the effectiveness...
  • SuiteSparseQR

  • Referenced in 45 articles [sw07348]
  • Algorithm 915, SuiteSparseQR: Multifrontal multithreaded rank-revealing sparse QR factorization. SuiteSparseQR is a sparse ... Within each frontal matrix, LAPACK and the multithreaded BLAS enable the method to obtain high...
  • DifferentialEquations.jl

  • Referenced in 58 articles [sw23910]
  • arithmetic with physical units, built-in multithreading and parallelism, and symbolic calculation of Jacobians. Integrated...
  • GTEngine

  • Referenced in 44 articles [sw24041]
  • portable access to standard constructs for multithreading programming on cores. The engine also supports high...
  • JavaFAN

  • Referenced in 32 articles [sw01934]
  • program analysis framework, that can symbolically execute multithreaded programs, detect safety violations searching through...
  • Atomizer

  • Referenced in 17 articles [sw08924]
  • Atomizer: a dynamic atomicity checker for multithreaded programs. Ensuring the correctness of multithreaded programs ... detectors. Experience with a prototype checker for multithreaded Java code demonstrates that this approach ... that atomicity is a standard methodology in multithreaded programming...
  • RacerX

  • Referenced in 16 articles [sw09941]
  • designed to find errors in large, complex multithreaded systems. It aggressively infers checking information such ... protect which operations, which code contexts are multithreaded, and which shared accesses are dangerous ... protect which operations, which code contexts are multithreaded, and which shared accesses are dangerous...
  • PARSEC

  • Referenced in 26 articles [sw09610]
  • systems applications which mimic large-scale multithreaded commercial programs. Our characterization shows that the benchmark...
  • EARTH--MANNA

  • Referenced in 8 articles [sw02910]
  • Applications on a multithreaded architecture: A case study with EARTH--MANNA. Multithreading offers benefits with ... systems either focus on communication or provide multithreading in shared-memory environments. Dynamic irregular applications ... benefits of low-cost communication and multithreading, parallelizing three AI applications with medium to high...
  • AKIRA

  • Referenced in 10 articles [sw02968]
  • software itself is a run-time C++ multithreading environment able to execute Agents ... Logic and Fuzzy Cognitive Maps. A strong multithread model ensures great scalability and computational power...
  • KAAPI

  • Referenced in 14 articles [sw04991]
  • library that allows to execute fine/medium grain multithreaded computation with dynamic data flow synchronizations...
  • HOPSPACK

  • Referenced in 13 articles [sw04187]
  • using MPI (for distributed machine architectures) and multithreading (for single machines with multiple processors...
  • SingleTrack

  • Referenced in 7 articles [sw09883]
  • SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs. Multithreaded programs are prone to errors caused...
  • Kendo

  • Referenced in 7 articles [sw24074]
  • Kendo: efficient deterministic multithreading in software. Although chip-multiprocessors have become the industry standard, developing ... software-only system that provides deterministic multithreading of parallel applications. Kendo enforces a deterministic interleaving...
  • HPCTOOLKIT

  • Referenced in 10 articles [sw08921]
  • compiler support, pinpointing and quantifying bottlenecks in multithreaded programs, exploring performance information and source code...
  • Goldilocks

  • Referenced in 10 articles [sw12806]
  • enforce the safety of executions of multithreaded Java programs...
  • Grace

  • Referenced in 5 articles [sw08960]
  • Grace: safe multithreaded programming for C/C++. The shift from single to multiple core architectures means ... that programmers must write concurrent, multithreaded programs in order to increase application performance. Unfortunately, multithreaded ... eliminates concurrency errors for a class of multithreaded programs: those based on fork-join parallelism...
  • TPVM

  • Referenced in 9 articles [sw03347]
  • performance improvements that result from multithreaded concurrent computing...
  • BPAS

  • Referenced in 9 articles [sw08399]
  • library which combines serial C code and multithreaded CUDA code. However, each of the BPAS...
  • Jinja Threads

  • Referenced in 9 articles [sw28538]
  • code and show type safety for the multithreaded case. Equally, the compiler from source...