An Effective Memory Optimization for Virtual Machine-Based Systems | IEEE Journals & Magazine | IEEE Xplore