An adaptive checkpointing protocol to bound recovery time with message logging | IEEE Conference Publication | IEEE Xplore