Efficient Dynamic Indexing Methods for Communication-Induced Checkpointing Protocols | IEEE Conference Publication | IEEE Xplore