44 search results - page 1 / 9 » Layered interactive convergence for distributed clock synchr... |
MAM
2002
13 years 10 months ago
2002
OPODIS
2003
14 years 16 days 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 11 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
14 years 5 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
14 years 3 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...