• Eraser

  • Referenced in 43 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 27 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...
  • GTEngine

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

  • Referenced in 30 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 25 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 13 articles [sw04991]
  • library that allows to execute fine/medium grain multithreaded computation with dynamic data flow synchronizations...
  • SingleTrack

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

  • Referenced in 10 articles [sw04187]
  • using MPI (for distributed machine architectures) and multithreading (for single machines with multiple processors...
  • 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...
  • Goblint

  • Referenced in 6 articles [sw20223]
  • detecting potential data races in the multithreaded C code. The implemented analysis is sound ... used for race-detection of multithreaded programs up to about 25 thousand lines of code...
  • Kendo

  • Referenced in 6 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...
  • PARSHA

  • Referenced in 5 articles [sw02762]
  • parallelizable hash function and a multithreaded implementation. In this paper, we design a new hash ... single processor machine using a multithreaded approach. Experimental results on P4 running Linux show that ... long messages the multithreaded implementation is faster than...
  • BPAS

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

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