44 search results - page 1 / 9 » Layered interactive convergence for distributed clock synchr... |
MAM
2002
13 years 4 months ago
2002
OPODIS
2003
13 years 6 months ago
2003
Awareness of the need for robustness in distributed systems increases as distributed systems become an integral part of day-to-day systems. Tolerating Byzantine faults and possessi...
ENTCS
2006
13 years 4 months ago
2006
We report on an experiment in combining Isabelle with automatic first-order arithmetic provers to increase automation on the verification of distributed protocols. As a case study...
SRDS
2008
IEEE
13 years 11 months ago
2008
IEEE
Existing clock synchronization algorithms assume a bounded clock reading error. This, in turn, results in an inflexible design that typically requires node crashes whenever the g...
EDCC
1999
Springer
13 years 9 months ago
1999
Springer
In this paper we present a new fault tolerant clock synchronization algorithm called the Fault Tolerant Daisy Chain algorithm. It is intended for internal clock synchronization of...