Results 301 to 310 of about 3,908,716 (347)

Formal Modeling of Virtual Machines

IEEE Transactions on Software Engineering, 1978
A preliminary example of program development demonstrates that the control-independent implementation of data types can lead to very inefficient code. The concept of a data space, which emphasizes the interaction between data and control structures, is introduced as a formal model of virtual machines.
Armin B. Cremers, Thomas N. Hibbard
openaire   +2 more sources

A Perspective on Virtual Machines

1979
A virtual machine is a replica of a real computing environment and has become of increasing interest to the computing community. This paper provides an historical perspective on virtual machine architecture within IBM, a description of how virtual machines are being used today, and a discussion of problems associated with virtual machines and new ...
openaire   +1 more source

Virtual machine tools and virtual machining—A technological review

Robotics and Computer-Integrated Manufacturing, 2011
Virtual manufacturing systems provide a useful means for products to be manufactured 'right the first time' without the need of physical testing on the shop floor. Earlier research was mostly on developing a virtual manufacturing environment. Over the years, simple graphical prediction and simulation gave way to complex multi-science predictions ...
Abdul Kadir, Aini Zuhra, Xua, Xun, Hämmerle, Enrico   +2 more
openaire   +2 more sources

Optimal online deterministic algorithms and adaptive heuristics for energy and performance efficient dynamic consolidation of virtual machines in Cloud data centers

Concurrency and Computation, 2012
A. Beloglazov, R. Buyya
semanticscholar   +1 more source

NVMe Virtualization for Cloud Virtual Machines

Proceedings of the 2022 ACM/SPEC on International Conference on Performance Engineering, 2022
Lixiang Luo, I-Hsin Chung, Seetharami R. Seelam, Ming-Hung Chen, Yun Joon Soh   +4 more
openaire   +1 more source

The stream virtual machine

Proceedings. 13th International Conference on Parallel Architecture and Compilation Techniques, 2004. PACT 2004., 2004
Francois Labonte, Peter R. Mattson, William Thies, Ian Buck, Christos Kozyrakis, Mark Horowitz   +5 more
openaire   +2 more sources

Small virtual machines

Proceedings of the workshop on virtual computer systems on -, 1973
It has been demonstrated that virtual machines can be successfully implemented on large computer systems. They can also be implemented on small computer systems (“mini-computers”). The paper will show this, and at the same time discuss the various architectural features by which virtual machine implementation is achieved.Examining features which make ...
openaire   +1 more source

Elastic Provisioning of Virtual Machines for Container Deployment

ICPE Companion, 2017
Matteo Nardelli, C. Hochreiner, Stefan Schulte   +2 more
semanticscholar   +1 more source

Performance and Overhead Study of Containers Running on Top of Virtual Machines

Conference on Business Informatics, 2017
I. Mavridis, H. Karatza
semanticscholar   +1 more source

Containers and Virtual Machines at Scale: A Comparative Study

International Middleware Conference, 2016
Prateek Sharma, Lucas Chaufournier, Prashant J. Shenoy, Y. Tay   +3 more
semanticscholar   +1 more source