L. Lamport and P. Melliar-Smith, "Synchronizing clocks in the presence of faults," J. ACM, vol. 32, no. 1, pp. 52--78, 1985. Home/Search Document Not in Database Context ACM TOC Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Real-Time Systems, 12, 1-4 (1997): Guest Editor's Preface - Schmid (1997) (Correct)
Probabilistic Internal Clock Synchronization - Cristian, Fetzer (2003) (8 citations) (Correct)
Fail-Awareness in Timed Asynchronous Systems - Fetzer, Cristian (2003) (18 citations) (Correct)
Optimal Clock Synchronization - Srikanth, Toueg (2003) (83 citations) (Correct)
A New Fault-Tolerant Algorithm for Clock Synchronization - Lundelius, Lynch (1984) (78 citations) (Correct)
Preliminary Formal Analysis of TTA Startup - Rushby (2003) (Correct)
Clock Synchronization with Faults and Recoveries.. - Barak, Halevi.. (2000) (4 citations) (Correct)
Byzantine Generals In Action: Implementing Fail-Stop Processors - Schmeider (1983) (3 citations) (Correct)
Inexact Agreement: Accuracy, Precision, and Graceful.. - Mahaney, Schneider (1985) (7 citations) (Correct)
A Paradigm for Reliable Clock Synchronization - Schneider (1986) (14 citations) (Correct)
Primary-Backup Protocols: Lower Bounds and Optimal.. - Marzullo, Schneider.. (1992) (3 citations) (Correct)
The TESLA Broadcast Authentication Protocol - Perrig, Canetti, Tygar, Song (2002) (32 citations) (Correct)
Correctness of Communication Protocols - A Case Study - Søgaard-Andersen, Lynch (Correct)
An Overview of Formal Verification for the Time-Triggered.. - Rushby (2002) (6 citations) (Correct)
Loki: An Empirical Evaluation Tool For Distributed Systems - Henke (1996) (4 citations) (Correct)
Time Synchronization in Ad Hoc Networks - Römer (2001) (5 citations) (Correct)
Developing A UTC-synchronized University Network Time Service - Yu, Doroja, Monje (2002) (Correct)
A Comparison of Bus Architectures for Safety-Critical Embedded.. - Rushby (2001) (17 citations) (Correct)
Toward a Semantic Event Service for Distributed.. - Collet.. (1998) (3 citations) (Correct)
Middleware Support for Voting and Data Fusion - Zhiyuan (2001) (6 citations) (Correct)
Specifying a component based active mechanism for.. - Vargas-Solar, Collet, .. (1999) (Correct)
Toward a Semantic Event Service for Distributed.. - Collet.. (1998) (3 citations) (Correct)
Formal Verification for Fault-Tolerant.. - Owre, Rushby.. (1995) (221 citations) (Correct)
Malicious- and Accidental-Fault Tolerance for Internet.. - Powell, (eds.) (Correct)
An Accurate Time-management Unit for Real-time Processors - Kailas, Agrawala (1997) (Correct)
An Accurate Time-management Unit for Real-time Processors - Kailas, Agrawala (1997) (Correct)
Internet Time Synchronization: the Network Time Protocol - Mills (1991) (193 citations) (Correct)
Self-Stabilizing Wait-Free Clock Synchronization - Papatriantafilou, Tsigas (1994) (5 citations) (Correct)
A posteriori Agreement for Fault-tolerant Clock.. - Veríssimo.. (1992) (2 citations) (Correct)
An Approach to Fault Tolerant Clock Synchronization for Wireless .. - Mock, al. (Correct)
Bounds on the Time to Reach Agreement in the.. - Attiya, Dwork.. (1994) (24 citations) (Correct)
Continuous Clock Synchronization in Wireless Real-Time.. - Mock, Frings, Nett, al. (2000) (3 citations) (Correct)
Attack-Resilient Time Synchronization for Wireless Sensor.. - Song, Zhu, Cao (2005) (Correct)
Attack-resilient Time Synchronization for Wireless Sensor.. - Song, Zhu, Cao (2005) (Correct)
Time Service - Electronics Communications And (Correct)
Fault-Tolerant Clock Synchronization for Embedded.. - Paulitsch, Steiner (2002) (1 citation) (Correct)
Time Service - Electronics Communications And (Correct)
Consistent Global States of Distributed Systems.. - Babaoglu, Marzullo (2001) (60 citations) (Correct)
Formal Methods and the Certification of Critical Systems - Rushby (1993) (50 citations) (Correct)
Unknown - (Correct)
Theory of Clock Synchronization and Mutual Exclusion in.. - Ganguly, Lemmon, al. (1999) (Correct)
Hundreds of Impossibility Results for Distributed Computing - Fich, Ruppert (3 citations) (Correct)
Hundreds of Impossibility Results for Distributed Computing - Fich, Ruppert (2003) (3 citations) (Correct)
A Multi-protocol Campus Time Server - Snow (1991) (Correct)
Simple, Accurate Time Synchronization for Wireless Sensor.. - Sichitiu, Veerarittiphan (2003) (3 citations) (Correct)
Understanding Protocols for Byzantine Clock Synchronization - Schneider (1987) (73 citations) (Correct)
The Design of a Clock Synchronization Sub-system for.. - Fleury, Downton.. (1997) (Correct)
Reduced State Space Markov Decision Process and the Dynamic.. - Yu (1997) (Correct)
Clock Synchronization - Rawat, Grover, Maheshwari (1998) (Correct)
Design and Implementation of a Consistent Time Service for.. - Zhao, Melliar-Smith (2004) (1 citation) Self-citation (Melliar-smith) (Correct)
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC