SRDS
2000
IEEE
13 years 9 months ago
2000
IEEE
SRDS
2000
IEEE
13 years 9 months ago
2000
IEEE
SRDS
2000
IEEE
13 years 9 months ago
2000
IEEE
SRDS
2000
IEEE
13 years 9 months ago
2000
IEEE
As has been shown, the polygon time structure overcomes the main limitations of the interval time structure, and allows to verify communication protocols, in which the explicit co...
SRDS
2000
IEEE
13 years 9 months ago
2000
IEEE
Avoiding the partitioning of a cluster into cliques that are not able to communicate with each other is an important issue in the time-triggered communication protocol TTP/C. This...
SRDS
2000
IEEE
13 years 9 months ago
2000
IEEE
: As Century 21 just opened up, it is a fitting time to reflect on the evolution of the fault-tolerant distributed computing technology that occurred in the last century. The autho...
SRDS
2000
IEEE
13 years 9 months ago
2000
IEEE
SRDS
2000
IEEE
13 years 9 months ago
2000
IEEE
Validation of distributed systems using fault injection is difficult because of their inherent complexity, lack of a global clock, and lack of an easily accessible notion of a gl...
SRDS
2000
IEEE
13 years 9 months ago
2000
IEEE
This paper discusses the implementation and performance of bounded voting: a new object replication protocol designed for use in mobile and weakly-connected environments. We show ...