An efficient checkpointing protocol for the minimal characterization of operational rollback-dependency trackability | IEEE Conference Publication | IEEE Xplore