A Formalization of an Emulation Based Co-designed Virtual Machine

Wei Chen 0009, Weixia Xu, Zhiying Wang, Qiang Dou, Yongwen Wang, BaoKang Zhao, Baosheng Wang. A Formalization of an Emulation Based Co-designed Virtual Machine. In Proceedings of the Fifth International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing, IMIS 2011, Seoul, Korea, June 30-July 02, 2011. pages 164-168, IEEE, 2011. [doi]

Abstract

Abstract is missing.