Advanced search
1 file | 298.42 KB Add to list

Formal virtualization requirements for the ARM architecture

Author
Organization
Keywords
Virtual machine monitor, Virtualization, Binary translation, Instruction set architecture, Hypervisor

Downloads

  • paper.pdf
    • full text
    • |
    • open access
    • |
    • PDF
    • |
    • 298.42 KB

Citation

Please use this url to cite or link to this publication:

MLA
Penneman, Niels, et al. “Formal Virtualization Requirements for the ARM Architecture.” JOURNAL OF SYSTEMS ARCHITECTURE, vol. 59, no. 3, 2013, pp. 144–54, doi:10.1016/j.sysarc.2013.02.003.
APA
Penneman, N., Kudinskas, D., Rawsthorne, A., De Sutter, B., & De Bosschere, K. (2013). Formal virtualization requirements for the ARM architecture. JOURNAL OF SYSTEMS ARCHITECTURE, 59(3), 144–154. https://doi.org/10.1016/j.sysarc.2013.02.003
Chicago author-date
Penneman, Niels, Danielius Kudinskas, Alasdair Rawsthorne, Bjorn De Sutter, and Koen De Bosschere. 2013. “Formal Virtualization Requirements for the ARM Architecture.” JOURNAL OF SYSTEMS ARCHITECTURE 59 (3): 144–54. https://doi.org/10.1016/j.sysarc.2013.02.003.
Chicago author-date (all authors)
Penneman, Niels, Danielius Kudinskas, Alasdair Rawsthorne, Bjorn De Sutter, and Koen De Bosschere. 2013. “Formal Virtualization Requirements for the ARM Architecture.” JOURNAL OF SYSTEMS ARCHITECTURE 59 (3): 144–154. doi:10.1016/j.sysarc.2013.02.003.
Vancouver
1.
Penneman N, Kudinskas D, Rawsthorne A, De Sutter B, De Bosschere K. Formal virtualization requirements for the ARM architecture. JOURNAL OF SYSTEMS ARCHITECTURE. 2013;59(3):144–54.
IEEE
[1]
N. Penneman, D. Kudinskas, A. Rawsthorne, B. De Sutter, and K. De Bosschere, “Formal virtualization requirements for the ARM architecture,” JOURNAL OF SYSTEMS ARCHITECTURE, vol. 59, no. 3, pp. 144–154, 2013.
@article{3161836,
  author       = {{Penneman, Niels and Kudinskas, Danielius and Rawsthorne, Alasdair and De Sutter, Bjorn and De Bosschere, Koen}},
  issn         = {{1383-7621}},
  journal      = {{JOURNAL OF SYSTEMS ARCHITECTURE}},
  keywords     = {{Virtual machine monitor,Virtualization,Binary translation,Instruction set architecture,Hypervisor}},
  language     = {{eng}},
  number       = {{3}},
  pages        = {{144--154}},
  title        = {{Formal virtualization requirements for the ARM architecture}},
  url          = {{http://doi.org/10.1016/j.sysarc.2013.02.003}},
  volume       = {{59}},
  year         = {{2013}},
}

Altmetric
View in Altmetric
Web of Science
Times cited: