27 search results - page 6 / 6 » Linear Time Byzantine Self-Stabilizing Clock Synchronization |
PERCOM
2003
ACM
14 years 4 months ago
2003
ACM
Time information is critical for a variety of applications in distributed environments that facilitate pervasive computing and communication. This work describes and evaluates a no...
CONCUR
1999
Springer
13 years 9 months ago
1999
Springer
Abstract. The paper presents a partial order reduction method applicable to networks of timed automata. The advantage of the method is that it reduces both the number of explored c...