Policy enforcement and compliance proofs for Xen virtual machines
- Bernhard Jansen
- Hari-Govind V. Ramasamy
- et al.
- 2008
- VEE 2008
Publications
Date
Featured collections
Popular topics
3 results at VEE 2008
Opening black boxes: Using semantic information to combat virtual machine image sprawl
- Darrell Reimer
- Arun Thomas
- et al.
- 2008
- VEE 2008
Cell GC: Using the cell synergistic processor as a garbage collection coprocessor
- Chen-Yong Cher
- Michael Gschwind
- 2008
- VEE 2008