Virtual Machine Based Heterogeneous Checkpointing.pdf