Science of Computer Programming
Reaching Agreement in the Presence of Faults
Journal of the ACM (JACM)
Synchronization in Distributed Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
The Byzantine Generals Problem
ACM Transactions on Programming Languages and Systems (TOPLAS)
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
The notions of consistency and predicate locks in a database system
Communications of the ACM
IMPOSSIBILITY OF DISTRIBUTED CONSENSUS WITH ONE FAULTY PROCESS
IMPOSSIBILITY OF DISTRIBUTED CONSENSUS WITH ONE FAULTY PROCESS
Synchronizing clocks in the presence of faults
Journal of the ACM (JACM)
Applications of Byzantine agreement in database systems
ACM Transactions on Database Systems (TODS)
ACM Computing Surveys (CSUR) - The MIT Press scientific computation series
Byzantine clock synchronization
ACM SIGOPS Operating Systems Review
A turnable protocol for symmetric surveillance in distributed systems
SIGCOMM '86 Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols
On the reliability of consensus-based fault-tolerant distributed computing systems
ACM Transactions on Computer Systems (TOCS)
Timing Issues in the Distributed Execution of Ada Programs
IEEE Transactions on Computers
Adding time to synchronous process communications
IEEE Transactions on Computers - Special Issue on Real-Time Systems
Exploiting virtual synchrony in distributed systems
SOSP '87 Proceedings of the eleventh ACM Symposium on Operating systems principles
Reliable scheduling in a TMR database system
ACM Transactions on Computer Systems (TOCS)
Decentralized mutual exclusion in the presence of link failures
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
Hardware-Assisted Software Clock Synchronization for Homogeneous Distributed Systems
IEEE Transactions on Computers
Early-delivery atomic broadcast
PODC '90 Proceedings of the ninth annual ACM symposium on Principles of distributed computing
Early stopping in Byzantine agreement
Journal of the ACM (JACM)
Implementing fault-tolerant services using the state machine approach: a tutorial
ACM Computing Surveys (CSUR)
Understanding fault-tolerant distributed systems
Communications of the ACM
HARTS: A Distributed Real-Time Architecture
Computer - Special issue on real-time systems
Inconsistency and contamination (preliminary version)
PODC '91 Proceedings of the tenth annual ACM symposium on Principles of distributed computing
Tolerating failures of continuous-valued sensors
ACM Transactions on Computer Systems (TOCS)
Media transports and distributed multimedia flows
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
Efficient Distributed Algorithms for Self Testing of Multiple Processor Systems
IEEE Transactions on Computers
Use of Common Time Base for Checkpointing and Rollback Recovery in a Distributed System
IEEE Transactions on Software Engineering
Dynamic fault-tolerant clock synchronization
Journal of the ACM (JACM)
Implementing a Probabilistic Clock Synchronization Algorithm
Real-Time Systems
ACM Transactions on Computer Systems (TOCS)
Byzantine generals in action: implementing fail-stop processors
ACM Transactions on Computer Systems (TOCS)
Fault-tolerance support in distributed systems
EW 4 Proceedings of the 4th workshop on ACM SIGOPS European workshop
Practical byzantine fault tolerance and proactive recovery
ACM Transactions on Computer Systems (TOCS)
Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets
IEEE Transactions on Software Engineering
The inherent cost of nonblocking commitment
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
Byzantine clock synchronization
PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
A Timeout-Based Message Ordering Protocol for a Lightweight Software Implementation of TMR Systems
IEEE Transactions on Parallel and Distributed Systems
Timed model checking of security protocols
Proceedings of the 2004 ACM workshop on Formal methods in security engineering
Detecting global predicates in distributed systems with clocks
Distributed Computing
Total order broadcast and multicast algorithms: Taxonomy and survey
ACM Computing Surveys (CSUR)
Practical uses of synchronized clocks in distributed systems
Distributed Computing
The case for Byzantine fault detection
HOTDEP'06 Proceedings of the 2nd conference on Hot Topics in System Dependability - Volume 2
FUSE: lightweight guaranteed distributed failure notification
OSDI'04 Proceedings of the 6th conference on Symposium on Opearting Systems Design & Implementation - Volume 6
PeerReview: practical accountability for distributed systems
Proceedings of twenty-first ACM SIGOPS symposium on Operating systems principles
Design and implementation of a multimedia protocol suite in a BSD Unix Kernel
Usenix-stc'93 Proceedings of the USENIX Summer 1993 Technical Conference on Summer technical conference - Volume 1
Timed analysis of security protocols
Journal of Computer Security - Formal Methods in Security Engineering Workshop (FMSE 04)
Nysiad: practical protocol transformation to tolerate Byzantine failures
NSDI'08 Proceedings of the 5th USENIX Symposium on Networked Systems Design and Implementation
Zyzzyva: speculative Byzantine fault tolerance
Communications of the ACM - Remembering Jim Gray
Symmetric active/active metadata service for high availability parallel file systems
Journal of Parallel and Distributed Computing
Zyzzyva: Speculative Byzantine fault tolerance
ACM Transactions on Computer Systems (TOCS)
The GENESYS Architecture: A Conceptual Model for Component-Based Distributed Real-Time Systems
SEUS '09 Proceedings of the 7th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems
ACM SIGACT News
Practical impact of group communication theory
Future directions in distributed computing
Multiple UAV coalition formation strategies
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Prophecy: using history for high-throughput fault tolerance
NSDI'10 Proceedings of the 7th USENIX conference on Networked systems design and implementation
Implementing fault-tolerant services using state machines: beyond replication
DISC'10 Proceedings of the 24th international conference on Distributed computing
The case for byzantine fault detection
HotDep'06 Proceedings of the Second conference on Hot topics in system dependability
Garbage collection in a causal message logging protocol
HPCC'05 Proceedings of the First international conference on High Performance Computing and Communications
Replication techniques for availability
Replication
Churn Tolerance Algorithm for State Machine Replication
WI-IAT '12 Proceedings of the The 2012 IEEE/WIC/ACM International Joint Conferences on Web Intelligence and Intelligent Agent Technology - Volume 02
Time-based updates in software defined networks
Proceedings of the second ACM SIGCOMM workshop on Hot topics in software defined networking
Hi-index | 0.03 |