Improved message logging versus improved coordinated checkpointing for fault tolerant MPI | IEEE Conference Publication | IEEE Xplore