• CRAFT

  • Referenced in 2 articles [sw32911]
  • easier application-level Checkpoint/Restart and Automatic Fault Tolerance. In order to efficiently use the future ... generations of supercomputers, fault tolerance and power consumption are two of the prime challenges anticipated ... based library CRAFT (Checkpoint-Restart and Automatic Fault Tolerance), which serves two purposes. First...
  • MR4UM

  • Referenced in 2 articles [sw08198]
  • state diagram to add tolerance to newly identified faults. In particular, MR4UM starts with program ... modeled in a UML state diagram, and automatically transforms the design model ... generates a fault-tolerant program ... Finally, MR4UM automatically converts the fault-tolerant program in the UCM into a fault-tolerant...
  • GLADE

  • Referenced in 3 articles [sw02939]
  • provide fault tolerance the database can be replicated; the failure is then automatically masked...
  • VolpexMPI

  • Referenced in 2 articles [sw33353]
  • VolpexMPI design is to efficiently and automatically manage dynamically varying number of process replicas ... states of execution progress. The key fault tolerance technique employed is fully distributed sender based...
  • TOPAS

  • Referenced in 2 articles [sw02453]
  • environment for distributed systems is presented. TOPAS automatically analyzes data dependence among tasks and synchronizes ... scheduling, dynamic load balancing and fault tolerance. Experiments show simplicity and efficiency of parallel programming...
  • QEC

  • Referenced in 1 article [sw27587]
  • automatically verify the correctness of some important quantum protocols, from quantum communication, quantum fault tolerant...
  • CouchDB

  • Referenced in 6 articles [sw11079]
  • replication. CouchDB supports master-master setups with automatic conflict detection. CouchDB comes with a suite ... scaling. CouchDB is highly available and partition tolerant, but is also eventually consistent ... about your data. CouchDB has a fault-tolerant storage engine that puts the safety...
  • Schneider clock synchronization

  • Referenced in 1 article [sw28681]
  • Lamport and Melliar-Smith and the Fault-tolerant Midpoint algorithm of Lundelius-Lynch, meet Schneider ... some parts of the proofs with fully automatic tools like ICS and CVC-lite. These...
  • ATLAS

  • Referenced in 199 articles [sw00056]
  • This paper describes the Automatically Tuned Linear Algebra...
  • ACL2

  • Referenced in 291 articles [sw00060]
  • ACL2 is both a programming language in which...
  • BoomerAMG

  • Referenced in 200 articles [sw00086]
  • BoomerAMG: A parallel algebraic multigrid solver and preconditioner...
  • CoCoA

  • Referenced in 659 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • Coq

  • Referenced in 1906 articles [sw00161]
  • Coq is a formal proof management system. It...
  • GAP

  • Referenced in 3221 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • hypre

  • Referenced in 334 articles [sw00426]
  • hypre is a software library for the solution...
  • LAPACK

  • Referenced in 1713 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Magma

  • Referenced in 3363 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...
  • Maple

  • Referenced in 5403 articles [sw00545]
  • The result of over 30 years of cutting...
  • MapReduce

  • Referenced in 267 articles [sw00546]
  • MapReduce is a new parallel programming model initially...
  • Mathematica

  • Referenced in 6445 articles [sw00554]
  • Almost any workflow involves computing results, and that...