339 search results - page 32 / 68 » Modeling Faults of Distributed, Reactive Systems |
SOSP
1997
ACM
13 years 9 months ago
1997
ACM
Tiger is a scalable, fault-tolerant video file server constructed from a collection of computers connected by a switched network. All content files are striped across all of the c...
COMPSAC
2006
IEEE
14 years 2 months ago
2006
IEEE
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
DSRT
2003
IEEE
14 years 1 months ago
2003
IEEE
Distributed simulation enables participants situated in different geographical locations to share a common virtual world, which is called a Distributed Virtual Environment (DVE). ...
GI
2003
Springer
14 years 1 months ago
2003
Springer
: The Byzantine failure model allows arbitrary behavior of a certain fraction of network nodes in a distributed system. It was introduced to model and analyze the effects of very s...
ICDCS
1995
IEEE
14 years 19 hour ago
1995
IEEE
One of the mostsoughtaftersoftware innovation of thisdecade is the construction of systems using off-the-shelf workstations that actually deliver, and even surpass, the power and ...