Efficient Checkpointing of Virtual Machines Using Virtual Machine Introspection | IEEE Conference Publication | IEEE Xplore