Results 111 to 120 of about 3,111 (226)

S.: Theory of multi core hypervisor verification

, 2013
. From 2007 to 2010, researchers from Microsoft and the Verisoft XT project verified code from Hyper-V, a multi-core x-64 hypervisor, using VCC, a verifier for concurrent C code.
Ernie Cohen, Wolfgang Paul, Sabine Schmaltz, Cohen, Ernie, Paul, Wolfgang J., Schmaltz, Sabine   +5 more
core   +1 more source

Behavioral analysis of ransomware threats to ESXi Hypervisors: a machine learning-based predictive model

Journal of Computer Sciences Institute
In today’s virtualized world, ransomware threats to ESXi hypervisor are a significant and growing concern. Factors include lack of dedicated security tools, an expanding attack surface targeting virtualization infrastructure, the use of data encryption ...
Upakar Bhatta
doaj   +1 more source

TwinDrivers: Semi-Automatic Derivation of Fast and Safe Hypervisor Network Drivers from Guest OS Drivers [PDF]

In a virtualized environment, device drivers are often run inside a virtual machine (VM) rather than in the hypervisor. Doing so protects the hypervisor from bugs in the driver, and also allows the reuse of the device driver and its support ...
Menon, Aravind, Schubert, Simon, Zwaenepoel, Willy   +2 more
core   +1 more source

Applications of hypervisors in security

, 2019
unknown ...
openaire   +2 more sources

Framework for Hypervisor in Grid

International Journal of Electrical and Electronics Engineering, 2014
In the recent years, the role of virtualization has become vital in the grid computing community to bridge the gap between computation resource configuration and job requirements. The venture of virtualization in the grid computing environment has set another challenge to monitor and manage the virtual machines in the grid.
openaire   +1 more source

Antifragile and Resilient Geographical Information System Service Delivery in Fog Computing. [PDF]

Sensors (Basel), 2022
Mir TS, Liaqat HB, Kiren T, Sana MU, Alvarez RM, Miró Y, Pascual Barrera AE, Ashraf I.   +7 more
europepmc   +1 more source

Towards a Linear-Algebraic Hypervisor

CoRR
Many techniques in program synthesis, superoptimization, and array programming require parallel rollouts of general-purpose programs. GPUs, while capable targets for domain-specific parallelism, are traditionally underutilized by such workloads.
openaire   +2 more sources

Jailhouse hypervisor

, 2016
Tato bakalářská práce se povídá o Jailhouse hypervisoru, což je softwarový prostředek pro realizaci asymetrického multiprocesingu. V práci se popisuje základní koncepty a operační principy tohoto hypervisoru.
Baryshnikov Maxim
core  

Hypervisor to go

, 2022
S.14-18Mit dem XenClient Enterprise 5 hat Citrix die neueste Version der hauseigenen Virtualisierungslösung für Notebooks und Desktop-PCs vorgestellt. Damit hält der Xen Hypervisor lokal auf dem Client Einzug. IT-Administrator hat sich angesehen, wie gut
Knermann, Christian
core  

A bacterial genome assembly and annotation laboratory using a virtual machine. [PDF]

Biochem Mol Biol Educ, 2023
Trofimova E, Asgharzadeh Kangachar S, Weynberg KD, Willows RD, Jaschke PR.   +4 more
europepmc   +1 more source