Performance Overhead of Xen on Linux 3.13 on ARM Cortex-A7 | IEEE Conference Publication | IEEE Xplore