Using Time Instead of Timeout for Fault-Tolerant Distributed Systems.
ACM Transactions on Programming Languages and Systems (TOPLAS)
Reaching Agreement in the Presence of Faults
Journal of the ACM (JACM)
The Byzantine Generals Problem
ACM Transactions on Programming Languages and Systems (TOPLAS)
On the possibility and impossibility of achieving clock synchronization
STOC '84 Proceedings of the sixteenth annual ACM symposium on Theory of computing
Byzantine clock synchronization
ACM SIGOPS Operating Systems Review
Clock synchronization of a large multiprocessor system in the presence of malicious faults
IEEE Transactions on Computers
Journal of the ACM (JACM)
On the reliability of consensus-based fault-tolerant distributed computing systems
ACM Transactions on Computer Systems (TOCS)
Clock synchronization in distributed real-time systems
IEEE Transactions on Computers - Special Issue on Real-Time Systems
Asynchronous approximate agreement
PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
Synchronization of Fault-Tolerant Clocks in the Presence of Malicious Failures
IEEE Transactions on Computers - Fault-Tolerant Computing
Transmission Delays in Hardware Clock Synchronization
IEEE Transactions on Computers
Reliable Broadcast in Hypercube Multicomputers
IEEE Transactions on Computers
The Accuracy of the Clock Synchronization Achieved by TEMPO in Berkeley UNIX 4.3BSD
IEEE Transactions on Software Engineering
A Design Approach for Self-Diagnosis of Fault-Tolerant Clock Synchronization
IEEE Transactions on Computers
IEEE Transactions on Computers
Analysis of Self-Stabilizing Clock Synchronization by Means of Stochastic Petri Nets
IEEE Transactions on Computers
Hardware-Assisted Software Clock Synchronization for Homogeneous Distributed Systems
IEEE Transactions on Computers
Continuous clock amortization need not affect the precision of a clock synchronization algorithm
PODC '90 Proceedings of the ninth annual ACM symposium on Principles of distributed computing
Early stopping in Byzantine agreement
Journal of the ACM (JACM)
Inside risks: the clock grows at midnight
Communications of the ACM
HARTS: A Distributed Real-Time Architecture
Computer - Special issue on real-time systems
Reliable broadcast algorithms for HARTS
ACM Transactions on Computer Systems (TOCS)
Formal verification of algorithms for critical systems
SIGSOFT '91 Proceedings of the conference on Software for citical systems
STOC '92 Proceedings of the twenty-fourth annual ACM symposium on Theory of computing
A security risk of depending on synchronized clocks
ACM SIGOPS Operating Systems Review
Efficient Distributed Algorithms for Self Testing of Multiple Processor Systems
IEEE Transactions on Computers
Simulating synchronized clocks and common knowledge in distributed systems
Journal of the ACM (JACM)
Wait-free clock synchronization
PODC '93 Proceedings of the twelfth annual ACM symposium on Principles of distributed computing
Optimal clock synchronization under different delay assumptions
PODC '93 Proceedings of the twelfth annual ACM symposium on Principles of distributed computing
Bounds on the time to reach agreement in the presence of timing uncertainty
Journal of the ACM (JACM)
Observable clock synchronization extended abstract
PODC '94 Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing
Knowledge, timed precedence and clocks (preliminary report)
PODC '94 Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing
A formally verified algorithm for clock synchronization under a hybrid fault model
PODC '94 Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing
Dynamic fault-tolerant clock synchronization
Journal of the ACM (JACM)
Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS
IEEE Transactions on Software Engineering
Self-stabilizing clock synchronization with Byzantine faults
Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing
New Hybrid Fault Models for Asynchronous Approximate Agreement
IEEE Transactions on Computers
Fail-awareness in timed asynchronous systems
PODC '96 Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing
CesiumSpray: a Precise and Accurate Global Time Servicefor Large-scale Systems
Real-Time Systems - Special issue on global time in large scale distributed real-time systems, part III
Possible and Impossible Self-Stabilizing Digital ClockSynchronization in General Graphs
Real-Time Systems - Special issue on global time in large scale distributed real-time systems, part I
Implementing a Probabilistic Clock Synchronization Algorithm
Real-Time Systems
All-to-All Broadcasting in Faulty Hypercubes
IEEE Transactions on Computers
Formally Verified On-Line Diagnosis
IEEE Transactions on Software Engineering
IEEE Transactions on Parallel and Distributed Systems
Experience with an adaptive globally-synchronizing clock algorithm
Proceedings of the eleventh annual ACM symposium on Parallel algorithms and architectures
GUARDS: A Generic Upgradable Architecture for Real-Time Dependable Systems
IEEE Transactions on Parallel and Distributed Systems
SimDS: a simulation environment for the design of distributed database systems
ACM SIGMIS Database
Proceedings of the fourth annual ACM symposium on Principles of distributed computing
Inexact agreement: accuracy, precision, and graceful degradation
Proceedings of the fourth annual ACM symposium on Principles of distributed computing
Systematic Formal Verification for Fault-Tolerant Time-Triggered Algorithms
IEEE Transactions on Software Engineering
Replica Determinism and Flexible Scheduling in Hard Real-Time Dependable Systems
IEEE Transactions on Computers
Active services for federated databases
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
Clock synchronization with faults and recoveries (extended abstract)
Proceedings of the nineteenth annual ACM symposium on Principles of distributed computing
Exploiting Omissive Faults in Synchronous Approximate Agreement
IEEE Transactions on Computers
Time synchronization in ad hoc networks
MobiHoc '01 Proceedings of the 2nd ACM international symposium on Mobile ad hoc networking & computing
Real-Time Systems - Special issue on global time in large scale distributed real-time systems, part I
Real-Time Systems - Special issue on global time in large scale distributed real-time systems, part II
The Derivation and Experimental Verification of Clock Synchronization Theory
IEEE Transactions on Computers
Probabilistic Clock Synchronization in Large Distributed Systems
IEEE Transactions on Computers
Synchronizing Hypercube Networks in the Presence of Faults
IEEE Transactions on Computers
Timing Constraint Remapping to Achieve Time Equi-Continuity in Distributed Real-Time Systems
IEEE Transactions on Computers
Reaching Approximate Agreement with Mixed-Mode Faults
IEEE Transactions on Parallel and Distributed Systems
Interleaved All-to-All Reliable Broadcast on Meshes and Hypercubes
IEEE Transactions on Parallel and Distributed Systems
Probabilistic Clock Synchronization in Distributed Systems
IEEE Transactions on Parallel and Distributed Systems
Fault-Tolerant Clock Synchronization in Large Multicomputer Systems
IEEE Transactions on Parallel and Distributed Systems
Formal Verification of Algorithms for Critical Systems
IEEE Transactions on Software Engineering
A Fault Tolerant Clock Synchronization Algorithm for Systems with Low-Precision Oscillators
EDCC-3 Proceedings of the Third European Dependable Computing Conference on Dependable Computing
A Hybrid Time Synchronization Implemented Through Special Ring Array for Mesh or Torus
IPPS '97 Proceedings of the 11th International Symposium on Parallel Processing
An Overview of Formal Verification for the Time-Triggered Architecture
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Middleware Support for Voting and Data Fusion
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
Integrating real-time and partial-order information in event-data displays
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
Self-adaptive clock synchronization based on clock precision difference
ACSC '03 Proceedings of the 26th Australasian computer science conference - Volume 16
Reconfiguration and transient recovery in state machine architectures
FTCS '96 Proceedings of the The Twenty-Sixth Annual International Symposium on Fault-Tolerant Computing (FTCS '96)
Byzantine clock synchronization
PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
Fault Injection Based on a Partial View of the Global State of a Distributed System
SRDS '99 Proceedings of the 18th IEEE Symposium on Reliable Distributed Systems
FTCS '95 Proceedings of the Twenty-Fifth International Symposium on Fault-Tolerant Computing
Fault Tolerance in Safety Critical Automotive Applications: Cost of Agreement as a Limiting Factor
FTCS '95 Proceedings of the Twenty-Fifth International Symposium on Fault-Tolerant Computing
Self-adaptive clock synchronization for computational grid
Journal of Computer Science and Technology - Grid computing
A Timeout-Based Message Ordering Protocol for a Lightweight Software Implementation of TMR Systems
IEEE Transactions on Parallel and Distributed Systems
A brief history of NTP time: memoirs of an Internet timekeeper
ACM SIGCOMM Computer Communication Review
MULTIMEDIA '03 Proceedings of the eleventh ACM international conference on Multimedia
Hundreds of impossibility results for distributed computing
Distributed Computing - Papers in celebration of the 20th anniversary of PODC
Self-stabilizing clock synchronization in the presence of Byzantine faults
Journal of the ACM (JACM)
Clock synchronization and the power of broadcasting
Distributed Computing
Low-cost clock synchronization
Distributed Computing
Necessary and sufficient conditions for broadcast consensus protocols
Distributed Computing
Reliability versus cost: design of a probabilistic broadcast algorithm
Distributed Computing
Using adaptive timeouts to achieve at-most-once message delivery
Distributed Computing
Fault-Tolerant Cluster-Wise Clock Synchronization for Wireless Sensor Networks
IEEE Transactions on Dependable and Secure Computing
Global Clock Synchronization in Sensor Networks
IEEE Transactions on Computers
Gradient clock synchronization
Distributed Computing - Special issue: PODC 04
TinySeRSync: secure and resilient time synchronization in wireless sensor networks
Proceedings of the 13th ACM conference on Computer and communications security
Inner-Circle Consistency for Wireless Ad Hoc Networks
IEEE Transactions on Mobile Computing
Secure Time Synchronization in Sensor Networks
ACM Transactions on Information and System Security (TISSEC)
A theoretical evaluation of peer-to-peer internal clock synchronization
Autonomics '08 Proceedings of the 2nd International Conference on Autonomic Computing and Communication Systems
An algorithm for clock synchronization with the gradient property in sensor networks
Journal of Parallel and Distributed Computing
Gradient clock synchronization in dynamic networks
Proceedings of the twenty-first annual symposium on Parallelism in algorithms and architectures
An Optimal Self-stabilizing Firing Squad
SSS '09 Proceedings of the 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems
Verification of Clock Synchronization Algorithms: Experiments on a Combination of Deductive Tools
Electronic Notes in Theoretical Computer Science (ENTCS)
A Byzantine-fault tolerant self-stabilizing protocol for distributed clock synchronization systems
SSS'06 Proceedings of the 8th international conference on Stabilization, safety, and security of distributed systems
Clock synchronization in the Byzantine-recovery failure model
OPODIS'07 Proceedings of the 11th international conference on Principles of distributed systems
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
Algorithms for sensor and ad hoc networks: advanced lectures
Algorithms for sensor and ad hoc networks: advanced lectures
TBCD-TDM: novel ultra-low energy protocol for implantable wireless body sensor networks
GLOBECOM'09 Proceedings of the 28th IEEE conference on Global telecommunications
A linear time synchronization algorithm for underwater wireless sensor networks
ICC'09 Proceedings of the 2009 IEEE international conference on Communications
Optimal gradient clock synchronization in dynamic networks
Proceedings of the 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing
Dependable computing: concepts, limits, challenges
FTCS'95 Proceedings of the Twenty-Fifth international conference on Fault-tolerant computing
Clock synchronization for wireless local area networks
Euromicro-RTS'00 Proceedings of the 12th Euromicro conference on Real-time systems
Dynamic FTSS in asynchronous systems: The case of unison
Theoretical Computer Science
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
The zerberus language: describing the functional model of dependable real-time systems
LADC'05 Proceedings of the Second Latin-American conference on Dependable Computing
Clock synchronization issues in multi-cluster time-triggered networks
MMB&DFT'10 Proceedings of the 15th international GI/ITG conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance
Achieve high accuracy of network time with proper parameters
Computer Communications
Digital Investigation: The International Journal of Digital Forensics & Incident Response
An Optimal Self-Stabilizing Firing Squad
SIAM Journal on Computing
| Hi-index | 0.07 |
Algorithms are described for maintaining clock synchrony in a distributed multiprocess system where each process has its own clock. These algorithms work in the presence of arbitrary clock or process failures, including “two-faced clocks” that present different values to different processes. Two of the algorithms require that fewer than one-third of the processes be faulty. A third algorithm works if fewer than half the processes are faulty, but requires digital signatures.