{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T04:45:13Z","timestamp":1725597913472},"publisher-location":"Berlin, Heidelberg","reference-count":51,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642227134"},{"type":"electronic","value":"9783642227141"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-22714-1_44","type":"book-chapter","created":{"date-parts":[[2011,7,25]],"date-time":"2011-07-25T16:01:51Z","timestamp":1311609711000},"page":"430-441","source":"Crossref","is-referenced-by-count":1,"title":["A Survey of Virtualization on Mobiles"],"prefix":"10.1007","author":[{"given":"Suneeta","family":"Chawla","sequence":"first","affiliation":[]},{"given":"Apurv","family":"Nigam","sequence":"additional","affiliation":[]},{"given":"Pankaj","family":"Doke","sequence":"additional","affiliation":[]},{"given":"Sanjay","family":"Kimbahune","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"44_CR1","unstructured":"Goldberg, R.P.: Architectural Principles for Virtual Computer Systems. Harvard University, Harvard"},{"key":"44_CR2","doi-asserted-by":"crossref","unstructured":"Popek, G.J., Goldberg, R.P.: Formal Requirements for Virtualizable Third Generation Architectures. Magazine, Communications of the ACM\u00a017 (1974)","DOI":"10.1145\/361011.361073"},{"key":"44_CR3","doi-asserted-by":"crossref","unstructured":"Goldberg, R.P.: Architecture of Virtual Machines. In: AFIPS National Computer Conference, New York (1973)","DOI":"10.1145\/800122.803950"},{"key":"44_CR4","unstructured":"Goldberg, R.P.: Survey of Virtual Machine Research: Honeywell Information Systems and Harvard University"},{"key":"44_CR5","doi-asserted-by":"crossref","unstructured":"Wulf, W., Cohen, E., Corwin, W., Jones, A., Levin, R., Pierson, C., Pollack, F.: HYDRA: The Kernel of a Multiprocessor Operating System. Magazine, Communications of the ACM (June 1974)","DOI":"10.1145\/355616.364017"},{"key":"44_CR6","unstructured":"Tsyban, A.: Formal Verification of a Framework for Microkernel Programmers"},{"key":"44_CR7","unstructured":"QEMU, Open Source Process Emulator, http:\/\/wiki.qemu.org\/Main_Page"},{"key":"44_CR8","unstructured":"Intel\u00ae 64 and IA-32 Architectures Software Developer\u2019s Manual"},{"key":"44_CR9","unstructured":"Ville, P.: ARM Architecture (2002)"},{"key":"44_CR10","unstructured":"ARM Architecture overview, http:\/\/wiki.osdev.org\/ARM_Overview"},{"key":"44_CR11","doi-asserted-by":"crossref","unstructured":"Robin, J.S., Irvine, C.E.: Analysis of the Intel Pentium\u2019s Ability to Support a Secure Virtual Machine Monitor. In: SSYM 2000 Proceedings of the 9th Conference on USENIX Security Symposium (2000)","DOI":"10.21236\/ADA423654"},{"key":"44_CR12","doi-asserted-by":"crossref","unstructured":"Varanasi, P.: Implementing Hardware-supported Virtualization in OKL4 on ARM: Thesis submitted for B.Sc Honours, Computer Science at The University of New South Wales, School of Computer Science and Engineering (November 2010)","DOI":"10.1145\/2103799.2103813"},{"key":"44_CR13","doi-asserted-by":"crossref","unstructured":"Adams, K., Agesen, O.: A Comparison of Software and Hardware Techniques for x86 Virtualization. In: ASPLOS 2006, San Jose, California, USA, October 21-25 (2006)","DOI":"10.1145\/1168857.1168860"},{"key":"44_CR14","unstructured":"Reames, P., Chan, E., David, F., Carlyle, F., Campbell, R.: A Hypervisor for Embedded Computing. Illinois Journal of Undergraduate Research\u00a02 (2007)"},{"key":"44_CR15","unstructured":"Understanding Full Virtualization, Paravirtualization and Hardware Assist: VMWare Inc (2007)"},{"key":"44_CR16","volume-title":"SOSP 2003","author":"P. Barham","year":"2003","unstructured":"Barham, P., Dragovic, B., Fraser, K., Hand, S., Harris, T., Ho, A., Neugebauery, R., Pratt, I., Warfield, A.: Xen and the Art of Virtualization. In: SOSP 2003, October 19-22, University of Cambridge Computer Laboratory, Cambridge (2003)"},{"key":"44_CR17","unstructured":"Ferstay, D.R.: Fast Secure Virtualization for the ARM Platform: The University of British Columbia (March 2006)"},{"key":"44_CR18","unstructured":"Seo, S.: Research on System Virtualization using Xen Hypervisor for ARM based secure mobile phones. In: Seminar Security in Telecommunications, Berlin University of Technology, Korea Advanced Institute of Science and Technology (2010)"},{"key":"44_CR19","unstructured":"Super, K., Smith, J.M.: XenITH - Xe. InThe Hand. Technical Report, Department of Computer & Information Science (2010)"},{"key":"44_CR20","unstructured":"LeMay, M., Jin, D., Reddy, S., Schoudel, B.: Porting the Xen Hypervisor to ARM"},{"key":"44_CR21","unstructured":"Nilsson, A., Dall, C., Albert, D.: Android Virtualization. Columbia University (2009)"},{"key":"44_CR22","unstructured":"Dall, C., Neih, J.: KVM for ARM. Columbia University"},{"key":"44_CR23","volume-title":"Proceedings of the 1st workshop on Isolation and Integration in Embedded Systems IES","author":"J. Brakensiek","year":"2008","unstructured":"Brakensiek, J., Droge, A., Botteck, M., Hartig, H., Lackorzynski, A.: Virtualization as an Enabler for Security in Mobile Devices. In: Proceedings of the 1st workshop on Isolation and Integration in Embedded Systems IES. ACM, New York (2008)"},{"key":"44_CR24","doi-asserted-by":"crossref","unstructured":"Heiser, G.: Virtualization for Embedded Systems. Technology White Paper, Open Kernel Labs Inc. (2007)","DOI":"10.1145\/1435458.1435461"},{"key":"44_CR25","unstructured":"McCammon, R.: Streamlining Android Migration with Virtualization: Open Kernel Labs"},{"key":"44_CR26","volume-title":"Proceeding MobiVirt Proceedings of the First Workshop on Virtualization in Mobile Computing","author":"S. Yoo","year":"2008","unstructured":"Yoo, S., Liu, Y., Hong, C.H., Yoo, C., Zhang, Y.: MobiVMM, A Virtual Machine Monitor for Mobile Phones. In: Proceeding MobiVirt Proceedings of the First Workshop on Virtualization in Mobile Computing. ACM, New York (2008)"},{"key":"44_CR27","first-page":"1","volume-title":"Internet Multimedia Services Architecture and Applications (IMSAA)","author":"A. Acharya","year":"2009","unstructured":"Acharya, A., Buford, J., Krishnaswamy, V.: Phone Virtualization Using a Microkernel Hypervisor. In: Internet Multimedia Services Architecture and Applications (IMSAA), pp. 1\u20136. IEEE, Los Alamitos (2009)"},{"key":"44_CR28","volume-title":"ACM Transactions on Design Automation of Electronic Systems","author":"H. Inoue","year":"2008","unstructured":"Inoue, H., Sakai, J., Edahiro, M.: Processor virtualization for secure mobile terminals. In: ACM Transactions on Design Automation of Electronic Systems, vol.\u00a013(3). ACM, New York (2008)"},{"key":"44_CR29","volume-title":"A Virtual Cloud Computing Provider for Mobile Devices","author":"G.K. Canepa","year":"2010","unstructured":"Canepa, G.K., Lee, D.: A Virtual Cloud Computing Provider for Mobile Devices. ACM Press, New York (2010)"},{"key":"44_CR30","volume-title":"MobiVirt Proceedings of the First Workshop on Virtualization in Mobile Computing","author":"J. Oberheide","year":"2008","unstructured":"Oberheide, J., Veeraraghavan, K., Cooke, E., Flinn, J., Jahanian, F.: Virtualized In-Cloud Security Services for Mobile Devices. In: MobiVirt Proceedings of the First Workshop on Virtualization in Mobile Computing. ACM, New York (2008)"},{"key":"44_CR31","unstructured":"Suh, S., Song, X., Kumar, J., Mohapatra, D., Ramachandran, U., Yoo, J.H., Park, I.: Chameleon: A Capability Adaptation System for Interface Virtualization. SW laboratories, Samsung Electronics, Korea and Georgia Institute of Technology, Atlanta"},{"key":"44_CR32","volume-title":"MobiVirt Proceedings of the First Workshop on Virtualization in Mobile Computing","author":"B. Seshasayee","year":"2008","unstructured":"Seshasayee, B., Narasimhan, N., Bijlani, A., Pai, A.: VStore - Efficiently Storing Virtualized State Across Mobile Devices. In: MobiVirt Proceedings of the First Workshop on Virtualization in Mobile Computing. ACM, New York (2008)"},{"key":"44_CR33","volume-title":"When Cell Phones Become Computers","author":"R. Want","year":"2009","unstructured":"Want, R.: When Cell Phones Become Computers. IEEE CS, Los Alamitos (2009)"},{"key":"44_CR34","unstructured":"Buzen, J.P., Gagliardi, U.O.: The evolution of virtual machine architecture: Honeywell Information Systems. Harvard University, Cambridge"},{"key":"44_CR35","doi-asserted-by":"publisher","DOI":"10.1145\/1837274.1837305","volume-title":"Device Hypervisors","author":"J. Fornaeus","year":"2010","unstructured":"Fornaeus, J.: Device Hypervisors. ACM Press, New York (2010)"},{"key":"44_CR36","unstructured":"Bhardwaj, R., Reames, P., Greenspan, R., Nori, V.S., Ucan E.: A Choices Hypervisor on the ARM architecture"},{"key":"44_CR37","first-page":"46","volume-title":"Mobile Computing Systems and Applications","author":"L.P. Cox","year":"2007","unstructured":"Cox, L.P., Chen, P.M.: Pocket Hypervisors: Opportunities and Challenges. In: Mobile Computing Systems and Applications, pp. 46\u201350. IEEE, Los Alamitos (2007)"},{"key":"44_CR38","volume-title":"MobiVirt, Proceedings of the First Workshop on Virtualization in Mobile Computing","author":"F. Armand","year":"2008","unstructured":"Armand, F., Gien, M., Maigne, G., Mardinian, G.: Shared Device Driver Model for Virtualized Mobile Handsets. In: MobiVirt, Proceedings of the First Workshop on Virtualization in Mobile Computing. ACM, New York (2008)"},{"key":"44_CR39","volume-title":"Proceeding IIES Proceedings of the 1st Workshop on Isolation and Integration in Embedded Systems","author":"G. Heiser","year":"2008","unstructured":"Heiser, G.: The Role of Virtualization in Embedded Systems. In: Proceeding IIES Proceedings of the 1st Workshop on Isolation and Integration in Embedded Systems. ACM, New York (2008)"},{"key":"44_CR40","doi-asserted-by":"crossref","unstructured":"Liedtke, J.: Toward Real Microkernels. Magazine, Communications of the ACM\u00a039(9) (September 1996)","DOI":"10.1145\/234215.234473"},{"key":"44_CR41","unstructured":"Black, D.L., Golub, D.B., Julin, D.P., Rashid, R.F., Draves, R.P., Dean, R.W., Forin, A., Barrera, J., Tokuda, H., Malan, G., Bohman, D.: Microkernel Operating System Architecture and Mach. Journal of Information Processing\u00a014(4) (March 1992)"},{"key":"44_CR42","doi-asserted-by":"crossref","unstructured":"Engler, D.R., Kaashoek, M.F., O\u2019Toole Jr, J.: Exokernel: An Operating System Architecture for Application-Level Resource Management. In: SOSP 1995 Proceedings of the fifteenth ACM Symposium on Operating Systems Principles (1995)","DOI":"10.1145\/224056.224076"},{"key":"44_CR43","volume-title":"Virtual Machine Monitors - Current Technology and Future Trends","author":"M. Rosenblum","year":"2005","unstructured":"Rosenblum, M., Garfinkel, T.: Virtual Machine Monitors - Current Technology and Future Trends. IEEE Computer Society, Los Alamitos (2005)"},{"key":"44_CR44","unstructured":"Liebergeld, S.: Efficient Virtualization on ARM Platforms: Technische Universitat Dresden (2009)"},{"key":"44_CR45","unstructured":"Schaik, C.V., Heiser, G.: High-Performance Microkernels and Virtualisation on ARM and Segmented Architectures: Open Kernel Labs and National ICT Australia"},{"key":"44_CR46","volume-title":"ASPLOS-XII Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems","author":"K. Adams","year":"2006","unstructured":"Adams, K., Agesen, O.: A comparison of software and hardware techniques for x86 virtualization. In: ASPLOS-XII Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems. ACM, New York (2006)"},{"key":"44_CR47","doi-asserted-by":"crossref","unstructured":"Hansen, P.B.: The Nucleus of a Multiprogramming System. Magazine, Communications of the ACM (April 1970)","DOI":"10.1145\/362258.362278"},{"key":"44_CR48","doi-asserted-by":"crossref","unstructured":"Liedtke, J.: On micro-Kernel Construction. In: SOSP 1995 Proceedings of the Fifteenth ACM Symposium on Operating Systems Principles (1995)","DOI":"10.1145\/224056.224075"},{"key":"44_CR49","unstructured":"Rose, R.: Survey of System Virtualization Techniques (March 8, 2004)"},{"key":"44_CR50","doi-asserted-by":"crossref","unstructured":"Seawright, L.H., MacKinnon, R.A.: A Study of Multiplicity and Usefulness. IBM Systems Journal archive\u00a018(1) (March 1979)","DOI":"10.1147\/sj.181.0004"},{"key":"44_CR51","unstructured":"Sugerman, J., Venkitachalam, G., Lim, B.H.: Virtualizing I\/O Devices on VMware Workstation\u2019s Hosted Virtual Machine Monitor. In: Proceedings of the USENIX Annual Technical Conference (2001)"}],"container-title":["Communications in Computer and Information Science","Advances in Computing and Communications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22714-1_44","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,21]],"date-time":"2020-06-21T16:40:08Z","timestamp":1592757608000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22714-1_44"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642227134","9783642227141"],"references-count":51,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22714-1_44","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2011]]}}}