Coordinated checkpoint versus message log for fault tolerant MPI | IEEE Conference Publication | IEEE Xplore