838 search results - page 28 / 168 » Operating System Support for Virtual Machines |
ITICSE
2009
ACM
15 years 4 months ago
2009
ACM
The Xen Worlds project at Iowa State University was designed to provide a virtualized lab environment for the Information Assurance program. The large number of off-campus student...
VEE
2005
ACM
15 years 3 months ago
2005
ACM
Language mechanisms deserve language implementation effort. While this maxim has led to sophisticated support for language features specific to object-oriented, functional and lo...
CCGRID
2001
IEEE
15 years 1 months ago
2001
IEEE
High performance computing on parallel architectures currently uses different approaches depending on the hardory model of the architecture, the abstraction level of the programmi...
HOTOS
2003
IEEE
15 years 3 months ago
2003
IEEE
This paper describes the vision of the Collective, a compute utility which runs internet services as well as the highly interactive applications we run on desktop computers today....
TPHOL
2005
IEEE
15 years 3 months ago
2005
IEEE
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...