共 50 条
- [1] Concurrent checkpointing & rollback recovery for distributed systems EUROSIM '96 - HPCN CHALLENGES IN TELECOMP AND TELECOM: PARALLEL SIMULATION OF COMPLEX SYSTEMS AND LARGE-SCALE APPLICATIONS, 1996, : 211 - 218
- [2] Effective and concurrent checkpointing and recovery in distributed systems IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES, 1997, 144 (05): : 304 - 316
- [8] Cost analysis of optimistic recovery model for forked checkpointing IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2003, E86D (09): : 1534 - 1541
- [10] Symbolic model checking of concurrent programs using partial orders and on-the-fly transactions COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2006, 4144 : 286 - 299