• 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...
  • 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...
  • FE-gMG

  • Referenced in 8 articles [sw10365]
  • single GPU over a multithreaded CPU code in our benchmarks. In addition, our strong smoothers...
  • Ur/Web

  • Referenced in 8 articles [sw17454]
  • concurrency, where programmers can reason about distributed, multithreaded applications via a mix of transactions...
  • Velodrome

  • Referenced in 5 articles [sw08925]
  • sound and complete dynamic atomicity checker for multithreaded programs. Atomicity is a fundamental correctness property ... multithreaded programs, both because atomic code blocks are amenable to sequential reasoning (which significantly simplifies...
  • VerCors

  • Referenced in 7 articles [sw11259]
  • permission-based separation logic to reason about multithreaded Java programs. We discuss in particular...
  • pyFFTW

  • Referenced in 7 articles [sw15538]
  • which numpy.fft does not). Operating FFTW in multithreaded mode is supported...
  • PARMON

  • Referenced in 6 articles [sw02312]
  • server is developed as a multithreaded server using C and POSIX/Solaris threads since Java does...
  • SuperMatrix

  • Referenced in 6 articles [sw20213]
  • SuperMatrix: a multithreaded runtime scheduling system for algorithms-by-blocks. This paper describes SuperMatrix...
  • CORElearn

  • Referenced in 5 articles [sw10624]
  • features and class. Several algorithms support parallel multithreaded execution via OpenMP. The top level documentation...
  • CDSChecker

  • Referenced in 5 articles [sw21725]
  • enabling developers to write portable and efficient multithreaded code. Developing correct low-level concurrent code...
  • GRAT

  • Referenced in 5 articles [sw21969]
  • formally verified LRAT tool. An optional multithreaded mode allows for even faster checking...
  • CHESS

  • Referenced in 5 articles [sw23089]
  • likely to see an increasing use of multithreading in application software as well. Unfortunately...
  • jPBC

  • Referenced in 5 articles [sw23370]
  • Coron, Lepoint, and Tibouchi. The implementation supports multithreading and uses memory mapped files to save...
  • d03pcf

  • Referenced in 5 articles [sw30985]
  • make it safe for use in multithreaded applications (see Section...
  • ParILUT

  • Referenced in 5 articles [sw34961]
  • latest NVIDIA GPU generations, and outperform existing multithreaded CPU implementations...
  • EleMRRR

  • Referenced in 3 articles [sw07036]
  • fully support both message-passing and multithreading parallelism. As a result, the solvers are equally ... message-passing environments with and without multithreading. We conduct a thorough performance study of EleMRRR...
  • PMRRR

  • Referenced in 3 articles [sw07048]
  • fully support both message-passing and multithreading parallelism. As a result, the solvers are equally ... message-passing environments with and without multithreading. We conduct a thorough performance study of EleMRRR...
  • Laminar

  • Referenced in 3 articles [sw23077]
  • DIFC systems only support limited types of multithreaded programs, Laminar supports a more general class ... multithreaded DIFC programs that can access heterogeneously labeled data...
  • MetaFork

  • Referenced in 3 articles [sw26523]
  • Multicores. We present MetaFork, a metalanguage for multithreaded algorithms based on the fork-join concurrency ... experiments, such as narrowing performance bottlenecks in multithreaded programs. Our experiments show also that...