• Parsl

  • Referenced in 3 articles [sw28682]
  • elastic provisioning and scaling of infrastructure, fault-tolerant execution, and integrated wide-area data management...
  • FatTire

  • Referenced in 2 articles [sw34183]
  • FatTire: declarative fault tolerance for software-defined networks. This paper presents ... FatTire, a new language for writing fault-tolerant network programs. The central feature of this...
  • DiskPaxos

  • Referenced in 2 articles [sw29236]
  • algorithm for building arbitrary fault-tolerant distributed systems. The specification of Disk Paxos has been...
  • TORQUE

  • Referenced in 2 articles [sw23925]
  • advancements in the areas of scalability, fault-tolerance, usability, functionality, and security development from...
  • Distal

  • Referenced in 2 articles [sw17451]
  • Distal: A framework for implementing fault-tolerant distributed algorithms. We introduce Distal, a new framework...
  • Schneider clock synchronization

  • Referenced in 1 article [sw28681]
  • number of protocols for Byzantine fault-tolerant clock synchronization and presents a uniform proof ... Lamport and Melliar-Smith and the Fault-tolerant Midpoint algorithm of Lundelius-Lynch, meet Schneider...
  • EFTOS

  • Referenced in 1 article [sw01416]
  • Within the ESPRIT project EFTOS (Embedded Fault-Tolerant Supercomputing), a framework is developed to integrate...
  • clock synchronization

  • Referenced in 1 article [sw28680]
  • Synchronization. We formalize the generalized Byzantine fault-tolerant clock synchronization protocol of Schneider. This protocol...
  • SOFIT

  • Referenced in 1 article [sw01461]
  • approach for validating fault tolerance. This validation is based on fault injection that establishes ... fault occurrence process. In the past few years, many software-based fault injection tools have ... estimating the dependability parameters for different fault-tolerance techniques. Given the wide range of available...
  • CoorSet

  • Referenced in 1 article [sw01949]
  • interactions including multiple message interactions and fault-tolerance by replication. The runtime system is extended...
  • HiRel

  • Referenced in 1 article [sw20767]
  • wide host of reliable fault-tolerant system architectures and is also applicable to electronic systems...
  • qasm-tools

  • Referenced in 1 article [sw27652]
  • open-source software package for studying fault-tolerant quantum circuits. The package can: parse...
  • CONFAL

  • Referenced in 1 article [sw21935]
  • CONFAL: a stable-factorization based fault-tolerant controller design software package. This paper describes...
  • VCWC

  • Referenced in 1 article [sw08837]
  • evaluation platform has no support for fault-tolerant execution of instance runs. Moreover, benchmark statistics...
  • QCOR

  • Referenced in 1 article [sw38536]
  • quantum computing were designed with fault-tolerant hardware in mind, envisioning standalone applications. However, near...
  • ReDO

  • Referenced in 0 articles [sw25850]
  • requires a careful planning for different fault-tolerance mechanisms at different system’s layers: starting ... components, the overhead introduced by the fault tolerance techniques is reduced as well. The second ... considers the effect that the introduced fault-tolerance mechanisms have on the execution time, power...
  • AspectGrid

  • Referenced in 0 articles [sw25135]
  • AspectGrid: aspect-oriented fault-tolerance in grid platforms. Migrating traditional scientific applications to computational Grids ... they are also more prone to faults than desk-top machines. The AspectGrid framework aims ... approach, scientific applications are enhanced with fault-tolerance capability by plugging additional modules. The proposed...
  • SQUAB

  • Referenced in 0 articles [sw17725]
  • most widely considered fault-tolerant architecture is based on surface codes. While the general principles...
  • ACL2

  • Referenced in 279 articles [sw00060]
  • ACL2 is both a programming language in which...
  • CoCoA

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