Sciweavers

13618 search results - page 291 / 2724
» The Newton Operating System
Sort
View
OSDI
2008
ACM
16 years 7 months ago
Standardized But Flexible I/O for Self-Virtualizing Devices
Joshua LeVasseur, Ramu Panayappan, Espen Skoglund,...
151
Voted
OSDI
2006
ACM
16 years 7 months ago
SafeDrive: Safe and Recoverable Extensions Using Language-Based Techniques
Feng Zhou, Jeremy Condit, Zachary R. Anderson, Ily...
OSDI
2002
ACM
16 years 7 months ago
Scalability and Accuracy in a Large-Scale Network Emulator
Amin Vahdat, Ken Yocum, Kevin Walsh, Priya Mahadev...
SOSP
2009
ACM
16 years 3 months ago
seL4: formal verification of an OS kernel
Gerwin Klein, Kevin Elphinstone, Gernot Heiser, Ju...