71 search results - page 6 / 15 » Symbolic Execution of Virtual Devices |
DATE
2005
IEEE
15 years 4 months ago
2005
IEEE
Demands for implementing original OSs that can achieve high I/O performance on PC/AT compatible hardware have recently been increasing, but conventional OS debugging environments ...
APCSAC
2005
IEEE
15 years 4 months ago
2005
IEEE
Java workloads are becoming more prominent on a wide range of computing devices. In contrast to so-called traditional workloads written in C and Fortran, Java workloads are object-...
USENIX
2008
15 years 23 days ago
2008
: The paravirtualized I/O driver domain model, used in Xen, provides several advantages including device driver isolation in a safe execution environment, support for guest VM tran...
118
Voted
CASES
2007
ACM
15 years 2 months ago
2007
ACM
Instruction Set Simulators (ISSes) are important tools for cross-platform software development. The simulation speed is a major concern and many approaches have been proposed to i...
120
click to vote
VEE
2009
ACM
15 years 5 months ago
2009
ACM
Virtualization essentially enables multiple operating systems and applications to run on one physical computer by multiplexing hardware resources. A key motivation for applying vi...