Results 181 to 190 of about 13,965 (202)
Some of the next articles are maybe not open access.
Validating the Microsoft Hypervisor
2006Efforts to validate the Microsoft Hypervisor – a low-level program that partitions a real MP machine into a a number of virtual MP pachines – has led to some interesting formal methods developments. We'll survey some of these, including – new algorithms for “optimal” stateless search and symbolic stateless search; – techniques to make stateless ...
openaire +1 more source
A trust‐based hypervisor framework for preventing DDoS attacks in cloud
Concurrency Computation Practice and Experience, 2021Vetha S
exaly
Performance comparison of different hypervisor versions of the type-2 hypervisor VirtualBox
2023 10th International Conference on Electrical, Electronic and Computing Engineering (IcETRAN), 2023Borislav Đorđević +3 more
openaire +1 more source
H-SVM: Hardware-Assisted Secure Virtual Machines under a Vulnerable Hypervisor
IEEE Transactions on Computers, 2015Jeongseob Ahn, Jinho Seol, Jaehyuk Huh
exaly
Ker-ONE: A new hypervisor managing FPGA reconfigurable accelerators
Journal of Systems Architecture, 2019Jean-Christophe Prévotet
exaly
Architectural support for hypervisor-secure virtualization
ACM SIGPLAN Notices, 2012exaly +2 more sources
XtratuM hypervisor redesign for LEON4 multicore processor
ACM SIGBED Review, 2014Patricia Balbastre, Alfons Crespo
exaly
Survey on Network Virtualization Hypervisors for Software Defined Networking
IEEE Communications Surveys and Tutorials, 2016Andreas Blenk +2 more
exaly