1683 search results - page 25 / 337 » Testing system virtual machines |
ASPLOS
1987
ACM
14 years 1 months ago
1987
ACM
This paper describes the design and implementation of virtual memory management within the CMU Mach Operating System and the experiences gained by the Mach kernel group in porting...
SIMVIS
2004
13 years 11 months ago
2004
We present a rigorous formal - but transparent - specification of the semantics of a generic simulation-based 3D animation framework. Our system combines a SystemC simulation kern...
SAC
2009
ACM
14 years 2 months ago
2009
ACM
This paper proposes a novel method of achieving fast networking in hosted virtual machine (VM) environments. This method, called socket-outsourcing, replaces the socket layer in a...
MOBISYS
2008
ACM
13 years 12 months ago
2008
ACM
Mobile phones have evolved into complex systems as they have more and more new applications built-in. As a result, they are less reliable and less secure than before. Virtual Mach...
CCS
2008
ACM
13 years 11 months ago
2008
ACM
Virtual machines are widely accepted as a promising basis for building secure systems. However, while virtual machines offer effective mechanisms to create isolated environments, ...