Design and verification of a lightweight reliable virtual machine monitor for a many-core architecture

Yue-hua Dai, Yi Shi, Yong Qi, Jianbao Ren, Peijian Wang. Design and verification of a lightweight reliable virtual machine monitor for a many-core architecture. Frontiers of Computer Science in China, 7(1):34-43, 2013. [doi]

Abstract

Abstract is missing.