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]

Authors

Yue-hua Dai

This author has not been identified. Look up 'Yue-hua Dai' in Google

Yi Shi

This author has not been identified. Look up 'Yi Shi' in Google

Yong Qi

This author has not been identified. Look up 'Yong Qi' in Google

Jianbao Ren

This author has not been identified. Look up 'Jianbao Ren' in Google

Peijian Wang

This author has not been identified. Look up 'Peijian Wang' in Google