Coordinated checkpointing without direct coordination | IEEE Conference Publication | IEEE Xplore