On-the-fly calculation and verification of consistent steering transactions
- 10 November 2001
- conference paper
- Published by Association for Computing Machinery (ACM)
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Causal distributed breakpointsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- CUMULVS: extending a generic steering and visualization middleware for application fault-tolerancePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Balancing consistency and lag in transaction-based computational steeringPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- An agent-based perspective on distributed monitoring and steeringPublished by Association for Computing Machinery (ACM) ,1998
- Necessary and sufficient conditions for consistent global snapshotsIEEE Transactions on Parallel and Distributed Systems, 1995
- Detecting causal relationships in distributed computations: In search of the holy grailDistributed Computing, 1994
- Efficient Algorithms for Distributed Snapshots and Global Virtual Time ApproximationJournal of Parallel and Distributed Computing, 1993
- Distributed snapshotsACM Transactions on Computer Systems, 1985
- Termination detection for diffusing computationsInformation Processing Letters, 1980
- Time, clocks, and the ordering of events in a distributed systemCommunications of the ACM, 1978