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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.