Classifying Virtual Machine Managers by Overhead | IEEE Conference Publication | IEEE Xplore