339 search results - page 15 / 68 » Modeling Faults of Distributed, Reactive Systems |
152
click to vote
SSS
2007
Springer
16 years 15 hour ago
2007
Springer
In this paper, we concentrate on distributed algorithms for automated synthesis of fault-tolerant programs in the high atomicity model, where all processes can read and write all p...
158
click to vote
CCGRID
2006
IEEE
15 years 12 months ago
2006
IEEE
As the scale of cluster computing grows, it is becoming hard for long-running applications to complete without facing failures on large-scale clusters. To address this issue, chec...
169
click to vote
RTAS
2008
IEEE
16 years 8 days ago
2008
IEEE
We build on PTIDES, a programming model for distributed embedded systems that uses discrete-event (DE) models as program specifications. PTIDES improves on distributed DE executi...
155
click to vote
KESAMSTA
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We describe and model a new aspect in the design of distributed information systems. We build upon a previously described problem on the microlevel, which asks how quickl...
159
click to vote
DSN
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper presents a formal model for asynchronous distributed systems with servers that may exhibit Byzantine faults or crash and subsequently recover. The model is computationa...