Sciweavers

SIGOPS
2008
99views more  SIGOPS 2008»
13 years 12 months ago
Specialized execution environments
Maria A. Butrico, Dilma Da Silva, Orran Krieger, M...
SIGOPS
2008
152views more  SIGOPS 2008»
13 years 12 months ago
The Caernarvon secure embedded operating system
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...
David C. Toll, Paul A. Karger, Elaine R. Palmer, S...
SIGOPS
2008
119views more  SIGOPS 2008»
13 years 12 months ago
Project Kittyhawk: building a global-scale computer: Blue Gene/P as a generic computing platform
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...
Jonathan Appavoo, Volkmar Uhlig, Amos Waterland
SIGOPS
2008
79views more  SIGOPS 2008»
13 years 12 months ago
Open source as a foundation for systems research
Muli Ben-Yehuda, Eric Van Hensbergen
SIGOPS
2008
95views more  SIGOPS 2008»
13 years 12 months ago
Virtual machine time travel using continuous data protection and checkpointing
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...
Paula Ta-Shma, Guy Laden, Muli Ben-Yehuda, Michael...
SIGOPS
2008
146views more  SIGOPS 2008»
13 years 12 months ago
Vigilant: out-of-band detection of failures in virtual machines
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...
Dan Pelleg, Muli Ben-Yehuda, Richard Harper, Lisa ...