Results 51 to 60 of about 736,538 (281)
A Generic Checkpoint-Restart Mechanism for Virtual Machines [PDF]
, 2012 It is common today to deploy complex software inside a virtual machine (VM). Snapshots provide rapid deployment, migration between hosts, dependability (fault tolerance), and security (insulating a guest VM from the host).
Cooperman, Gene +2 more
core
Advanced Engineering Materials, EarlyView.The documentation of component manufacture has become an essential part of today's production processes, especially for the analysis and optimization of production or component design with regard to structural performance, economic efficiency, and sustainability.
Björn Denker +4 more
wiley +1 more source
Spatial deformable transformer for 3D point cloud registration
Scientific ReportsDeformable attention only focuses on a small group of key sample-points around the reference point and make itself be able to capture dynamically the local features of input feature map without considering the size of the feature map.
Fengguang Xiong +4 more
doaj +1 more source
Object Memory Verification in Virtual Machines
Современные информационные технологии и IT-образование, 2021 In this paper we discuss object memory heap verification algorithms of the Java virtual machine and developed and implemented a proprietary object memory verification algorithm.
Igor Petrov
doaj +1 more source
Rain VM: Portable Concurrency through Managing Code [PDF]
, 2006 A long-running recent trend in computer programming is the growth in popularity of virtual machines. However, few have included good support for concurrency - a natural mechanism in the Rain programming language.
Brown, Neil
core
Advanced Engineering Materials, EarlyView.This article presents a solver‐agnostic domain‐specific language (DSL) for computational structural mechanics that strengthens interoperability in virtual product development. Using a hierarchical data model, the DSL enables seamless exchange between diverse simulation tools and numerical methods.
Martin Rädel +3 more
wiley +1 more source
Interplay of Virtual Machine Selection and Virtual Machine Placement
, 2016 Previous work on optimizing resource provisioning in virtualized environments focused either on mapping virtual machines to physical machines (i.e., virtual machine placement) or mapping computational tasks to virtual machines (i.e., virtual machine selection). In this paper, we investigate how these two optimization problems influence each other.
openaire +3 more sources
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
A Workflow to Accelerate Microstructure‐Sensitive Fatigue Life Predictions
Advanced Engineering Materials, EarlyView.This study introduces a workflow to accelerate predictions of microstructure‐sensitive fatigue life. Results from frameworks with varying levels of simplification are benchmarked against published reference results. The analysis reveals a trade‐off between accuracy and model complexity, offering researchers a practical guide for selecting the optimal ...
Luca Loiodice +2 more
wiley +1 more source