A preemptive deterministic scheduling algorithm for multithreaded replicas
- 22 June 2004
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 149-158
- https://doi.org/10.1109/dsn.2003.1209926
Abstract
No abstract availableKeywords
This publication has 21 references indexed in Scilit:
- A preemptive deterministic scheduling algorithm for multithreaded replicasPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2004
- An experimental evaluation of the REE SIFT environment for spaceborne applicationsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Experimental evaluation of the fail-silent behavior in computers without error maskingPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- The Delta-4 extra performance architecture (XPA)Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- NFTAPE: a framework for assessing dependability in distributed systems with lightweight fault injectorsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A survey of rollback-recovery protocols in message-passing systemsACM Computing Surveys, 2002
- GUARDS: a generic upgradable architecture for real-time dependable systemsIEEE Transactions on Parallel and Distributed Systems, 1999
- The model checker SPINIEEE Transactions on Software Engineering, 1997
- Atomic Broadcast: From Simple Message Diffusion to Byzantine AgreementInformation and Computation, 1995
- Implementing fault-tolerant services using the state machine approach: a tutorialACM Computing Surveys, 1990