Formal verification and empirical analysis of rollback relaxation1
References (22)
Efficient algorithms for distributed snapshots and global virtual time approximation
Journal of Parallel and Distributed Computing
(1993)- et al.
Compilers: Principles, Techniques, and Tools
(1986) - et al.
Space-time and simulation, Distributed Simulation
- et al.
pGVT: An algorithm for accurate GVT estimation
Parallel discrete event simulation
Communications of the ACM
(1990)Rollback mechanisms for optimistic distributed simulation systems, Distributed Simulation
- et al.
Larch: Languages and Tools for Formal Specification
(1993) Communicating Sequential Processes
(1985)VHDL SSI Model Subset
(July 1990)Virtual time
ACM Transactions on Programming Languages and Systems
(1985)
Formal specification and verification of the pGVT algorithm
Cited by (4)
Analysis and simulation of mixed-technology VLSI systems
2002, Journal of Parallel and Distributed ComputingAn algorithm for fully-reversible optimistic parallel simulation
2003, Winter Simulation Conference ProceedingsEfficient Optimistic Parallel Simulations Using Reverse Computation
1999, ACM Transactions on Modeling and Computer SimulationPVS: An experience report
1999, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
- 1
Support for this work was provided in part by the Defense Advanced Research Projects Agency, contracts F33615-93-C-1315 and F33615-93-C-1316 monitored by Wright Laboratory and contract J-FBI-93-116 monitored by the Department of Justice.
Copyright © 1998 Published by Elsevier B.V.