• Pregel

  • Referenced in 32 articles [sw13416]
  • been designed for efficient, scalable and fault-tolerant implementation on clusters of thousands of commodity...
  • CloudSim

  • Referenced in 24 articles [sw10724]
  • focuses on delivery of reliable, secure, fault-tolerant, sustainable, and scalable infrastructures for hosting Internet...
  • CUMULVS

  • Referenced in 17 articles [sw06757]
  • provides a mechanism for constructing fault-tolerant, migrating applications in heterogeneous distributed computing environments...
  • Sycraft

  • Referenced in 7 articles [sw08199]
  • Sycraft (SYmboliC synthesizeR and Adder of Fault-Tolerance) is a tool for transforming distributed fault ... intolerant programs to distributed fault-tolerant programs. In Sycraft, a distributed fault-intolerant program ... safety specification, the tool synthesizes a fault-tolerant program via a symbolic implementation of respective ... classic protocols in the literature of fault-tolerant computing in distributed systems (e.g., Byzantine agreement...
  • Transactors

  • Referenced in 6 articles [sw20929]
  • unreliable environments. We introduce transactors, a fault-tolerant programming model for composing loosely-coupled distributed ... thus facilitating the study of distributed fault-tolerance from a semantic point of view...
  • Slurm

  • Referenced in 8 articles [sw25056]
  • Slurm is an open source, fault-tolerant, and highly scalable cluster management and job scheduling...
  • Satin

  • Referenced in 8 articles [sw08972]
  • addition, Satin also provides efficient fault-tolerance, malleability (e.g. the ability to cope with dynamically...
  • PSync

  • Referenced in 4 articles [sw17450]
  • PSync: a partially synchronous language for fault-tolerant distributed algorithms. Fault-tolerant distributed algorithms play ... asynchronous communication and the occurrence of faults, such as the network dropping messages or computers ... simplifies the design and implementation of fault-tolerant distributed algorithms and enables automated formal verification ... PSync by implementing several important fault-tolerant distributed algorithms and we compare the implementation...
  • DARX

  • Referenced in 4 articles [sw30588]
  • DARX - a framework for the fault-tolerant support of agent software. This paper presents DARX ... building applications that provide adaptive fault tolerance. It relies on the fact that multi-agent ... concerns of multi-agent systems and fault-tolerant solutions are put forward. An overview...
  • CouchDB

  • Referenced in 5 articles [sw11079]
  • 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...
  • Trustedpals

  • Referenced in 5 articles [sw09013]
  • implemented by reducing it to a fault-tolerance problem at the level of security modules...
  • ByMC

  • Referenced in 4 articles [sw21699]
  • parameterized model checking of threshold-guarded fault-tolerant distributed algorithms (check our benchmarks for example...
  • NAGSAT

  • Referenced in 4 articles [sw11453]
  • that utilizes nagging, a new scalable, fault-tolerant, distributed search paradigm. Nagging exploits the heavy...
  • DistEdit

  • Referenced in 4 articles [sw10574]
  • provides a high degree of fault-tolerance against machine crashes. To evaluate the toolkit...
  • JAFMAS

  • Referenced in 4 articles [sw07882]
  • enables the user to develop scalable, fault-tolerant, self-configurable and flexible multiagent systems. Linguistic...
  • MR4UM

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

  • Referenced in 2 articles [sw20575]
  • HiperTM: high performance, fault-tolerant transactional memory. We present HiperTM, a high performance active replication ... protocol for fault-tolerant distributed transactional memory. The active replication processing paradigm allows transactions...
  • Ray

  • Referenced in 3 articles [sw28740]
  • distributed scheduler and a distributed and fault-tolerant store to manage the system’s control...
  • EMPIAR

  • Referenced in 3 articles [sw19728]
  • images are stored, and uses the fault-tolerant Aspera platform for data transfers. EMPIAR...
  • HaLoop

  • Referenced in 3 articles [sw27955]
  • have similar intra-job fault-tolerance mechanisms to Hadoop. Also, HaLoop is backward-compatible with...