共 10 条
[1]
Live migration of virtual machines. Clark,C,Fraser,K,Hand,S et al. Proceedings of the ACM Symposium on Operating Systems Principles . 2005
[2]
Fast Transpar-ent Migration for Virtual Machines. Michael Nelson,Beng Hong Lim,Greg Hutchins. USENIX 2005 . 2005
[3]
Xen and the Art of Virtualization. Barham P,Dragovic B,Fraser K,et al. Proceedings of the 19th ACM Symposium on Operating Systems Principles . 2003
[4]
Denali: Lightweight Virtual Machines for Distributed and Networked Applications. Whitaker A,Shaw M,Gribble SD. Technical Report 02-02-01 . 2002
[5]
Post-copy based live virtual machine migration using adaptive pre-paging and dynamic self-ballooning. Hines M R,Gopalan K. ACM/Usenix International Conference on Virtual Execution Environments . 2009
[6]
Secure and flexible monitoring of virtual machines. Payne B D,Carbone M D P,Lee W. Proc of ACSAC‘07 . 2007
[7]
CMC: A pragmatic approach to model checking real code. M. Musuvathi,,D. Y Park,A. Chou,D. R. Engler,D. L. Dill. Proceedings of the 5th Symposium on Operating Systems Design and Implementation . 2002
[8]
Running Xen: A Hands-On Guide to the Art of Virtualization. Jeanna N Matthews,Eli M. Dow,Todd Deshane,Wenjin Hu,Jeremy Bongio,Patrick F. Wilbur,Brendan Johnson. . 2008
[9]
Autonomic Virtualized Environments. Daniel Menasce,Mohamed Bennani. Proceedings of IEEE International Conference on Autonomic and Autonomous Systems . 2006
[10]
Application and analysisof the virtual machine approach to information systemsecurity. MADNICK S E,DONOVAN J J. Proceedings of the ACM SIGARCHSIGOPSWorkshop on Virtual Computer Systems . 1973