Results 51 to 60 of about 4,567,161 (224)
What am I? Virtual Machines and the Mind/Body Problem [PDF]
, 2007 When your word processor or email program is running on your computer, this creates a "virtual machine” that manipulates windows, files, text, etc. What is this virtual machine, and what are the virtual objects it manipulates?
Pollock, John
core
A critical survey of live virtual machine migration techniques
Journal of Cloud Computing, 2017 Virtualization techniques effectively handle the growing demand for computing, storage, and communication resources in large-scale Cloud Data Centers (CDC).
Anita Choudhary +5 more
semanticscholar +1 more source
Thermo-Mechanical Modelling of Wire-Arc Additive Manufacturing (WAAM) of Semi-Finished Products
Metals, 2018 Additive manufacturing processes have been investigated for some years, and are commonly used industrially in the field of plastics for small- and medium-sized series. The use of metallic deposition material has been intensively studied on the laboratory
Marcel Graf +4 more
doaj +1 more source
A methodology for testing virtualisation security [PDF]
, 2017 There is a growing interest in virtualisation due to its central role in cloud computing, virtual desktop environments and Green IT. Data centres and cloud computing utilise this technology to run multiple operating systems on one physical server, thus ...
Coull, Natalie +2 more
core +2 more sources
Virtual class support at the virtual machine level [PDF]
Proceedings of the Third Workshop on Virtual Machines and Intermediate Languages, 2009 This paper describes how virtual classes can be supported in a virtual machine. Main-stream virtual machines such as the Java Virtual Machine and the .NET platform dominate the world today, and many languages are being executed on these virtual machines even though their embodied design choices conflict with the design choices of the virtual machine ...
Nielsen, Anders Bach, Ernst, Erik
openaire +2 more sources
Fully-automated topology interpreter for frame structures manufacturable from long products
Results in EngineeringTopology optimization (TO) is a powerful tool used across various disciplines, exemplary to create lightweight structures. But to utilize its full potential, post processing is required to reconstruct TO results as parametric and feature-based computer ...
Lukas Kömm, Kristin Paetzold-Byhain
doaj +1 more source
Cloud Process Execution Engine - Evaluation of the Core Concepts [PDF]
, 2010 In this technical report we describe describe the Domain Specific Language (DSL) of the Workflow Execution Execution (WEE). Instead of interpreting an XML based workflow description language like BPEL, the WEE uses a minimized but expressive set of ...
Mangler, Juergen +2 more
core
DiVM: Model Checking with LLVM and Graph Memory
, 2017 In this paper, we introduce the concept of a virtual machine with graph-organised memory as a versatile backend for both explicit-state and abstraction-driven verification of software. Our virtual machine uses the LLVM IR as its instruction set, enriched
Barnat, Jiří +3 more
core +1 more source
Virtual Numbers for Virtual Machines? [PDF]
2014 IEEE 7th International Conference on Cloud Computing, 2014 Knowing the number of virtual machines (VMs) that a cloud physical hardware can (further) support is critical as it has implications on provisioning and hardware procurement. However, current methods for estimating the maximum number of VMs possible on a given hardware is usually the ratio of the specifications of a VM to the underlying cloud hardware ...
Alan Yu Shyang Tan +2 more
openaire +2 more sources
Virtual Machine Dynamic Deployment Scheme Based on Double-Cursor Mechanism
IEEE Access, 2020 In accordance with the dynamically changing characteristics of user application load demand, the optimization of energy consumption in the process of virtual machine automatic deployment on the basis of the effective integration of user personalized ...
Shukun Liu +3 more
doaj +1 more source