Hardware-Assisted Software Clock Synchronization for Homogeneous Distributed Systems
IEEE Transactions on Computers
Consensus in the presence of timing uncertainty: omission and Byzantine failures (extended abstract)
PODC '91 Proceedings of the tenth annual ACM symposium on Principles of distributed computing
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)
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
Lower bounds for convergence function based clock synchronization
Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing
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
Interval-based Clock Synchronization
Real-Time Systems - Special issue on global time in large scale distributed real-time systems, part II
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
IEEE Transactions on Parallel and Distributed Systems
GUARDS: A Generic Upgradable Architecture for Real-Time Dependable Systems
IEEE Transactions on Parallel and Distributed Systems
Clock synchronization with faults and recoveries (extended abstract)
Proceedings of the nineteenth annual ACM symposium on Principles of distributed computing
Probabilistic Clock Synchronization in Large Distributed Systems
IEEE Transactions on Computers
Fault-Tolerant Clock Synchronization in Large Multicomputer Systems
IEEE Transactions on Parallel and Distributed Systems
The customizable fault/error model for dependable distributed systems
Theoretical Computer Science - Dependable computing
Reliable Real-Time Communication in Cooperative Mobile Applications
IEEE Transactions on Computers
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
Bus Architectures for Safety-Critical Embedded Systems
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
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)
How to Model Link Failures: A Perception-Based Fault Model
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
An Algorithm for Fault-Tolerant Clock State and Rate Synchronization
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
Interval-based clock synchronization with optimal precision
Information and Computation
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)
Loose synchronization of event-triggered networks for distribution of synchronous programs
Proceedings of the 4th ACM international conference on Embedded software
How to reconcile fault-tolerant interval intersection with the Lipschitz condition
Distributed Computing
Clock synchronization and the power of broadcasting
Distributed Computing
Low-cost clock synchronization
Distributed Computing
Proceedings of the 10th international workshop on Formal methods for industrial critical systems
Fault-Tolerant Cluster-Wise Clock Synchronization for Wireless Sensor Networks
IEEE Transactions on Dependable and Secure Computing
A practical implementation of the fault-tolerant daisy-chain clock synchronization algorithm on CAN
Proceedings of the conference on Design, automation and test in Europe: Designers' forum
When selfish meets evil: byzantine players in a virus inoculation game
Proceedings of the twenty-fifth annual ACM symposium on Principles of distributed computing
Gradient clock synchronization
Distributed Computing - Special issue: PODC 04
A gateway for time-triggered control networks
Microprocessors & Microsystems
An algorithm for clock synchronization with the gradient property in sensor networks
Journal of Parallel and Distributed Computing
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
Realistic worst-case execution time analysis in the context of pervasive system verification
Program analysis and compilation, theory and practice
Note: Strong order-preserving renaming in the synchronous message passing model
Theoretical Computer Science
Remote measurement of local oscillator drifts in FlexRay networks
Proceedings of the Conference on Design, Automation and Test in Europe
Clock synchronization for wireless local area networks
Euromicro-RTS'00 Proceedings of the 12th Euromicro conference on Real-time systems
Verification of an optimized fault-tolerant clock synchronization circuit
DCC'96 Proceedings of the 3rd international conference on Designing Correct Circuits
Computational Aspects of Uncertainty Profiles and Angel-Daemon Games
Theory of Computing Systems
Hi-index | 0.01 |