Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
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]
Possibly Related PublicationsThe following publications are possibly variants of this publication: Experiences in Implementing a Java Collaborative IDE over the Internet Chien-Min Wang, Shun-Te Wang, SHYH-FONG HONG and HSI-MIN CHEN . Technical Report tr04008, 2004. Plug-and-Play Architectural Design and VerificationShangzhu Wang, George S. Avrunin, Lori A. Clarke. ICSE 2008: 273-297 [doi] Verification support for plug-and-play architectural designShangzhu Wang, George S. Avrunin, Lori A. Clarke. ISSTA 2006: 49-50 [doi]
The following publications are possibly variants of this publication: