Using atomic broadcast to implement a posteriori agreement for clock synchronization
暂无分享,去创建一个
Antonio Casimiro | Paulo Veríssimo | Luís E. T. Rodrigues | P. Veríssimo | A. Casimiro | L. Rodrigues
[1] Fred B. Schneider,et al. Inexact agreement: accuracy, precision, and graceful degradation , 1985, PODC '85.
[2] Hermann Kopetz,et al. Clock Synchronization in Distributed Real-Time Systems , 1987, IEEE Transactions on Computers.
[3] P. M. Melliar-Smith,et al. Synchronizing clocks in the presence of faults , 1985, JACM.
[4] Kang G. Shin,et al. Ensuring Fault Tolerance of Phase-Locked Clocks , 1985, IEEE Transactions on Computers.
[5] A.L. Hopkins,et al. FTMP—A highly reliable fault-tolerant multiprocess for aircraft , 1978, Proceedings of the IEEE.
[6] Paulo Veríssimo,et al. AMp: a highly parallel atomic multicast protocol , 1989, SIGCOMM 1989.
[7] Paulo Veríssimo,et al. A posteriori agreement for fault-tolerant clock synchronization on broadcast networks , 1992, [1992] Digest of Papers. FTCS-22: The Twenty-Second International Symposium on Fault-Tolerant Computing.
[8] Paulo Veríssimo,et al. Formal Specification and Verification of a Network Independent Atomic Multicast Protocol , 1990, FORTE.
[9] Parameswaran Ramanathan,et al. Fault-tolerant clock synchronization in distributed systems , 1990, Computer.
[10] Sam Toueg,et al. Optimal clock synchronization , 1985, PODC '85.
[11] Paulo Veríssimo,et al. xAMp: a multi-primitive group communications service , 1992, [1992] Proceedings 11th Symposium on Reliable Distributed Systems.
[12] I. Bey,et al. Delta-4: A Generic Architecture for Dependable Distributed Computing , 1991, Research Reports ESPRIT.
[13] Paulo Veríssimo,et al. AMp: a highly parallel atomic multicast protocol , 1989, SIGCOMM '89.
[14] Fred B. Schneider,et al. Understanding Protocols for Byzantine Clock Synchronization , 1987 .
[15] Stéphane Natkin,et al. A statistical clock synchronization algorithm for anisotropic networks , 1991, [1991] Proceedings Tenth Symposium on Reliable Distributed Systems.