185 search results - page 13 / 37 » Analysis of virtual machine system policies |
101
Voted
HPDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Clusters are mostly used through Resources Management Systems (RMS) with a static allocation of resources for a bounded amount of time. Those approaches are known to be insufficie...
107
click to vote
SOSP
2007
ACM
15 years 9 months ago
2007
ACM
This paper describes an efficient and robust approach to provide a safe execution environment for an entire operating system, such as Linux, and all its applications. The approach...
103
Voted
VEE
2010
ACM
15 years 7 months ago
2010
ACM
Modern organizations face increasingly complex information management requirements. A combination of commercial needs, legal liability and regulatory imperatives has created a pat...
85
Voted
FGCS
2010
14 years 11 months ago
2010
System-level virtualization is today enjoying a rebirth, after first gaining popularity in the 1970s as a technique to effectively share what were then considered large computin...
125
Voted
TIC
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. A type-based certifying compiler maps source code to machine code and target-level type annotations. The target-level annotations make it possible to prove easily that th...