SIGOPS
2008
13 years 11 months ago
2008
SIGOPS
2008
13 years 11 months ago
2008
The Caernarvon operating system was developed to demonstrate that a high assurance system for smart cards was technically feasible and commercially viable. The entire system has b...
SIGOPS
2008
13 years 11 months ago
2008
This paper describes Project Kittyhawk, an undertaking at IBM Research to explore the construction of a nextgeneration platform capable of hosting many simultaneous web-scale work...
SIGOPS
2008
13 years 11 months ago
2008
SIGOPS
2008
13 years 11 months ago
2008
Virtual machine (VM) time travel enables reverting a virtual machine's state, both transient and persistent, to past points in time. This capability can be used to improve vi...
SIGOPS
2008
13 years 11 months ago
2008
What do our computer systems do all day? How do we make sure they continue doing it when failures occur? Traditional approaches to answering these questions often involve inband m...