• Java PathFinder

• Referenced in 123 articles [sw07658]
• formally analyze, using SPIN, a multi-threaded operating system for the Deep-Space 1 space...

• Soap

• Referenced in 38 articles [sw08915]
• command-driven program, which supports multi-threaded parallel computing, and has a batch module...

• Qu-Prolog

• Referenced in 15 articles [sw18583]
• Multi-threading and message communication in Qu-Prolog. This paper presents the multi-threading ... transport layer. The combination of the multi-threads and the high level inter-thread message...

• Chroma

• Referenced in 24 articles [sw07551]
• architectural systems including single node workstations, multi-threaded SMP workstations (soon to come), clusters...

• Threader

• Referenced in 15 articles [sw09938]
• Threader: a verifier for multi-threaded programs. Threader is a tool that automates verification ... safety and termination properties for multi-threaded C programs. The distinguishing feature of Threader...

• OCCA

• Referenced in 19 articles [sw18538]
• OCCA: A unified approach to multi-threading languages. The inability to predict lasting languages...

• OmniRPC

• Referenced in 13 articles [sw01610]
• remote procedure call facility, OmniRPC, is a thread-safe grid RPC facility for cluster ... simple programming environment for the multi-threaded client of OmniRPC. We use the POSIX thread ... Omni OpenMP compiler which allows multi-threaded execution of OpenMP programs by POSIX threads even...

• SHTns

• Referenced in 18 articles [sw05905]
• vectorization and runtime tuning. It supports multi-threaded transforms via OpenMP. It features scalar...

• JAS

• Referenced in 15 articles [sw05877]
• object oriented, type safe, multi-threaded approach to computer algebra. JAS provides a well designed...

• LOCKSMITH

• Referenced in 10 articles [sw20224]
• technique for preventing data races in multi-threaded programs is to ensure that all accesses ... analysis, including a sharing analysis for inferring thread locality; existential quantification for modeling locks ... When applied to several benchmarks, including multi-threaded servers and Linux device drivers, LOCKSMITH found...

• GotoBLAS

• Referenced in 14 articles [sw12907]
• techniques. In addition, NUMA controls enhance multi-threaded execution of BLAS routines on node...

• qHiPSTER

• Referenced in 14 articles [sw27649]
• multi-node optimizations, including vectorization, multi-threading, cache blocking, as well as overlapping computation with...

• jCUTE

• Referenced in 13 articles [sw26692]
• real Java programs. jCUTE supports multi-threaded programs. It can discover race conditions and deadlocks...

• PaMiraXT

• Referenced in 12 articles [sw06997]
• RSat 2.01, while in multi-threaded mode, MiraXT provides cutting edge performance, as it solves...

• ESBMC

• Referenced in 8 articles [sw09946]
• engineer (i) to verify single- and multi-threaded software (with shared variables and locks ... underapproximation and widening) to model check multi-threaded software. ESBMC can be invoked through...

• ConTest

• Referenced in 6 articles [sw09613]
• Framework for testing multi-threaded Java programs. Finding bugs due to race conditions in multi ... threaded programs is difficult, mainly because there are many possible interleavings, any of which ... present a methodology for testing multi-threaded programs which has minimal impact on the user...

• K-Java

• Referenced in 10 articles [sw18991]
• semantics is applied to model-check multi-threaded programs. Both the test suite...

• Strix

• Referenced in 8 articles [sw33422]
• parity automata (DPA) and an efficient, multi-threaded explicit state solver for parity games...

• MPINE

• Referenced in 8 articles [sw20842]
• describe the MPINE tool, a multi-threaded evaluator for Interaction Nets. The evaluator...

• MARCIE

• Referenced in 8 articles [sw12882]
• quantitative analyses benefit from a multi-threaded implementation. This paper gives an overview on MARCIE...