CoCheck: checkpointing and process migration for MPI | IEEE Conference Publication | IEEE Xplore