698 search results - page 53 / 140 » Synthesis of Fault-Tolerant Distributed Systems |
IPPS
2002
IEEE
14 years 21 days ago
2002
IEEE
In this paper, a fault-tolerant routing in 2-D meshes with dynamic faults is provided. It is based on an early work on minimal routing in 2-D meshes with static faults. Unlike man...
ISCIS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Achieving higher levels of dependability is a goal in any software project, therefore strategies for software reliability improvement are very attractive. This work intro...
EMSOFT
2007
Springer
14 years 1 months ago
2007
Springer
The design of safety-critical systems has typically adopted static techniques to simplify error detection and fault tolerance. However, economic pressure to reduce costs is exposi...
SIAMCOMP
2002
13 years 7 months ago
2002
This paper presents a formal design for a novel group communication service targeted for WANs. The service provides Virtual Synchrony semantics. Such semantics facilitate the desi...
HPDC
2000
IEEE
14 years 5 days ago
2000
IEEE
In this paper we present a robust software infrastructure for metacomputing. The system is intended to be used by others as a building block for large and powerful computational g...