A VP-accordant checkpointing protocol preventing useless checkpoints | IEEE Conference Publication | IEEE Xplore