Searching for "Synchronizing Clocks in the Presence of Faults" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

11 documents found, showing 1 through 10. Next 10 →

Self-Stabilizing Clock Synchronization in the presence of Byzantine faults
by Shlomi Dolev, Jennifer L. Welch — 1995 — Journal of the ACM
…Self-Stabilizing Clock Synchronization in the Presence of Byzantine Faults (Preliminary Version…
Cited by 24 (9 self) – Add To MetaCart

An Introduction to Formal Specification and Verification using EHDM
by J. M. Spivey Underst, Its Formal Semantics, Friedrich Von Henke, Natarajan Shankar, John Rushby, Formal Semantics — 1991
…, 1990. [13] L. Lamport and P. M. Melliar-Smith. Synchronizing clocks in the presence of faults. Journal…
Add To MetaCart

Formal Methods for Dependable Real-Time Systems
by John Rushby, Fred B. Schneider Underst, John A. Stankovic — 1992
… and P. M. Melliar-Smith. Synchronizing clocks in the presence of faults. Journal of the ACM, 32…
Cited by 1 (0 self) – Add To MetaCart

Efficient Program Transformations for Resilient Parallel Computation via Randomization
by Z. M. Kedem, K. V. Palem, M. O. Rabin, A. Raghunathan, Flp M. Fischer, N. Lynch, M. Paterson, Fw S. Fortune, J. Wyllie, Gi P. Gibbons, A More Practical Pram, He M. Herlihy, Heb M. Herlihy, Impossibility Results For — 1992
…-Smith, \Synchronizing Clocks in the Presence of Faults," J. of the ACM, 32(1):52{78, 1985. [MPS89] C. Martel, A. Park…
Cited by 44 (9 self) – Add To MetaCart

unknown title
by John H. Wensley, Leslie Lamport, Jack Goldberg, Milton W. Green, Karl N. Levitt
…-Smith. Synchronizing clocks in the presence of faults. Journal of the ACM, 32(1):52-78, January 1985. [20] Leslie…
Add To MetaCart

Mechanical Verification of a Generalized Protocol for Byzantine Fault Tolerant Clock
by N. Shankar, Natarajan Shankar — 1992
… clocks in the presence of faults is a classic problem in distributed computing. Even the most accurate…
Cited by 19 (1 self) – Add To MetaCart

Mechanical Verification of a Generalized Protocol for Byzantine Fault Tolerant Clock
by Reprint From, Natarajan Shankar
… clocks in the presence of faults is a classic problem in distributed computing. Even the most accurate…
Add To MetaCart

Critical System Properties: Survey and Taxonomy
by John Rushby, Slr Lui Sha, John P. Lehoczky, Ragunathan Rajkumar Solutions — 1994
… and P. M. Melliar-Smith. Synchronizing clocks in the presence of faults. Journal of the ACM, 32…
Cited by 55 (2 self) – Add To MetaCart

A.1. Using Hybrid mjrty 67
by unknown authors
…] L. Lamport and P. M. Melliar-Smith. Synchronizing clocks in the presence of faults. Journal…
Add To MetaCart

Quality Measures and Assurance for AI Software
by John Rushby, Cognitive Systems Ai Magazine, Richard M. Tong, Neville D. Newman, Gary Berg-cross — 1988
…. Formal verification of the Interactive Convergence clock synchronization algorithm using Ehdm…
Cited by 4 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB