• ESBMC

  • Referenced in 7 articles [sw09946]
  • context-bounded model checker for embedded C/C++ software based on Satisfiability Modulo Theories (SMT) solver ... 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...
  • ParADE

  • Referenced in 5 articles [sw14959]
  • programming environment on top of a multi-threaded software distributed shared memory (SDSM) system with...
  • JAS

  • Referenced in 15 articles [sw05877]
  • safe, multi-threaded approach to computer algebra. JAS provides a well designed software library using...
  • JAHUEL

  • Referenced in 2 articles [sw10084]
  • Jahuel: A Formal Framework for Software Synthesis. We present a theoretically sound and automated model ... code. Special emphasis is put on multi-threaded software and multi-processor architectures. The framework...
  • Chroma

  • Referenced in 23 articles [sw07551]
  • chroma software system for lattice QCD. The Chroma package supports data-parallel programming constructs ... architectural systems including single node workstations, multi-threaded SMP workstations (soon to come), clusters...
  • MergeBathy

  • Referenced in 1 article [sw26394]
  • MergeBathy (2015) is cross-platform and multi-threaded software suite for constructing digital bathymetric models...
  • GotoBLAS

  • Referenced in 13 articles [sw12907]
  • Texas Advanced Computing Center as open source software under the BSD license. This product ... techniques. In addition, NUMA controls enhance multi-threaded execution of BLAS routines on node...
  • qHiPSTER

  • Referenced in 10 articles [sw27649]
  • present qHiPSTER, the Quantum High Performance Software Testing Environment. qHiPSTER is a distributed high-performance ... number of single- and multi-node optimizations, including vectorization, multi-threading, cache blocking, as well ... Stampede supercomputer, we simulate quantum circuits (”quantum software”) of up to 40 qubits. We carry...
  • Peppy

  • Referenced in 1 article [sw31813]
  • cross-platform execution, the software is fully multi-threaded for enhanced speed. The program...
  • Evoplex

  • Referenced in 2 articles [sw30497]
  • efforts to develop multi-threaded, scalable and easy-to-use software for agent-based simulations...
  • SymmPa

  • Referenced in 3 articles [sw08414]
  • applications of CEGAR to shared-variable concurrent software. We attribute this gap to the lack ... scalable analysis of the resulting multi-threaded Boolean programs. The goal of this paper...
  • tomoRecon

  • Referenced in 1 article [sw14525]
  • using multi-threading. This page is the home of tomoRecon, which is software for performing...
  • CP2K

  • Referenced in 6 articles [sw15391]
  • quantum chemistry and solid state physics software package that can perform atomistic simulations of solid ... parallel using a combination of multi-threading, MPI, and CUDA. It is freely available under...
  • npuScheduler

  • Referenced in 3 articles [sw25798]
  • multi-threaded local search algorithm and computer implementation for the multi-mode, resource-constrained multi ... solution approach for the multi-mode, resource-constrained multi-project scheduling problem. Our key ideas ... techniques. With the increasing availability of parallel (multi-core) computer hardware, we believe that such ... available under url{doi:10.17632/cw95t56hjv.1}. The software may be freely used for non-profit...
  • StEAM

  • Referenced in 6 articles [sw01987]
  • checker StEAM. Most approaches for model checking software are based on the generation of abstract ... virtual machine for c++ to include multi-threading and different exploration algorithms on a dynamic...
  • Lazy-CSeq

  • Referenced in 5 articles [sw13773]
  • boosting sequentialization-based verification of multi-threaded C programs via symbolic pruning of redundant schedules ... technique for concurrent C programs using POSIX threads. Lazy-CSeq, a tool that applies ... last two editions of the Competition on Software Verification. The tool encodes all thread schedules...
  • SigmaFW

  • Referenced in 1 article [sw27165]
  • Russian Federation. Mathematical models realized in the software package describe steady and unsteady laminar ... building numerical domains, carrying out multi-threaded calculation, and visual analysis of the results ... article describes the three main blocks of software package: the grid generator, calculation module...
  • MEGA4

  • Referenced in 7 articles [sw07695]
  • release of the fourth version of MEGA software, which expands on the existing facilities ... native 32-bit Windows application with multi-threading and multi-user supports...
  • WormBench

  • Referenced in 1 article [sw09612]
  • concurrency problems that exist in real multi-threaded applications and also (3) fail to evaluate ... Transactional Memory considering the complete software stack. WormBench is parameterized workload designed from the ground ... synchronization problems that exist in TM multi-threaded applications. The behavior of WormBench...
  • COMeT+

  • Referenced in 1 article [sw20557]
  • COMeT+: continuous online memory testing with multi-threading extension. oday’s computers have gigabytes ... improve resiliency. This paper describes a software-only self-test to continuously test memory ... called Continuous Online Memory Testing with Multi-threading Extension (COMeT+), that targets chip multiprocessors. COMeT...