• PSync

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

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

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

  • Referenced in 34 articles [sw13416]
  • algorithms. The model has been designed for efficient, scalable and fault-tolerant implementation on clusters ... implied synchronicity makes reasoning about programs easier. Distribution-related details are hidden behind an abstract...
  • DiskPaxos

  • Referenced in 2 articles [sw29236]
  • Disk Paxos is an algorithm for building arbitrary fault-tolerant distributed systems. The specification...
  • Sycraft

  • Referenced in 7 articles [sw08199]
  • process can write. The issue of distribution is addressed in shared-memory model where processes ... fault actions and a safety specification, the tool synthesizes a fault-tolerant program ... symbolic implementation of respective synthesis algorithms [BK07]. Sycraft has successfully been used to synthesize some ... protocols in the literature of fault-tolerant computing in distributed systems (e.g., Byzantine agreement, token...
  • NAGSAT

  • Referenced in 4 articles [sw11453]
  • scalable, fault-tolerant, distributed search paradigm. Nagging exploits the heavy-tailed distribution ... been applied to a variety of algorithms from the articial intelligence literature. In this abstract...
  • CoorSet

  • Referenced in 1 article [sw01949]
  • interactions including multiple message interactions and fault-tolerance by replication. The runtime system is extended ... facilitate construction and application of distributed implementation of coordination systems. An interface definition language based ... readers/writers problem including replication, a ”greedy reuse” algorithm and a distributed computation of Google pageranks...
  • ACL2

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

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

  • Referenced in 57 articles [sw00384]
  • GreatSPN2.0 is a software package for the modeling...
  • Maple

  • Referenced in 5296 articles [sw00545]
  • The result of over 30 years of cutting...
  • Matlab

  • Referenced in 13100 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • RANLUX

  • Referenced in 56 articles [sw00778]
  • RANLUX: a Fortran implementation of the high-quality...
  • SCADE

  • Referenced in 20 articles [sw00829]
  • SCADE Suite® is a product line of the...
  • Sostools

  • Referenced in 279 articles [sw00891]
  • We are pleased to introduce SOSTOOLS, a free...
  • Kronos

  • Referenced in 273 articles [sw01270]
  • KRONOS is a tool developed with the aim...
  • VEST

  • Referenced in 26 articles [sw01405]
  • VEST -- a toolset for constructing and analyzing component...
  • Uppaal2k

  • Referenced in 43 articles [sw01595]
  • Uppaal is an integrated tool environment for modeling...