71 search results - page 6 / 15 » Symbolic Execution of Virtual Devices |
84
Voted
DATE
2005
IEEE
15 years 9 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 ...
125
click to vote
APCSAC
2005
IEEE
15 years 9 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-...
146
click to vote
USENIX
2008
15 years 6 months 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...
168
click to vote
CASES
2007
ACM
15 years 8 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...
171
click to vote
VEE
2009
ACM
15 years 10 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...