Checkpointing virtual machines against transient errors | IEEE Conference Publication | IEEE Xplore