A new fault-tolerant algorithm for clock synchronization
Information and Computation
Tolerating failures of continuous-valued sensors
ACM Transactions on Computer Systems (TOCS)
Introduction to OSF DCE (rev. 1.0)
Introduction to OSF DCE (rev. 1.0)
Improved algorithms for synchronizing computer network clocks
IEEE/ACM Transactions on Networking (TON)
New Hybrid Fault Models for Asynchronous Approximate Agreement
IEEE Transactions on Computers
Interval-based Clock Synchronization
Real-Time Systems - Special issue on global time in large scale distributed real-time systems, part II
An interval-based framework for clock rate synchronization
PODC '97 Proceedings of the sixteenth annual ACM symposium on Principles of distributed computing
Formally Verified On-Line Diagnosis
IEEE Transactions on Software Engineering
A Network Time Interface M-Module for Distributing GPS-Timeover LANs
Real-Time Systems - Selected papers from IFAC/IFIP workshops on real-time programming
A Versatile Architecture for the Distributed Sensor Integration Problem
IEEE Transactions on Computers
Maintaining the time in a distributed system: an example of a loosely-coupled distributed service (synchronization, fault-tolerance, debugging)
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
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)
Interval-based clock synchronization with optimal precision
Information and Computation
Information fusion for wireless sensor networks: Methods, models, and classifications
ACM Computing Surveys (CSUR)
Synchronous consensus under hybrid process and link failures
Theoretical Computer Science
Optimal interval estimation fusion based on sensor interval estimates with confidence degrees
Automatica (Journal of IFAC)
Hi-index | 0.00 |
We present a new fault-tolerant intersection function F, which satisfies the Lipschitz condition for the uniform metric and is optimal among all functions with this property. F thus settles Lamport's question about such a function raised in [5]. Our comprehensive analysis reveals that F has exactly the same worst-case performance as the optimal Marzullo function M, which does not satisfy a Lipschitz condition. The utilized modelling approach in conjunction with a powerful hybrid fault model ensures compatibility of our results with any known application framework, including replicated sensors and clock synchronization.