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