Sciweavers

13489 search results - page 254 / 2698
» Operating System
Sort
View
OSDI
2002
ACM
16 years 6 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...
HOTOS
2007
IEEE
15 years 10 months ago
Compatibility Is Not Transparency: VMM Detection Myths and Realities
Recent work on applications ranging from realistic honeypots to stealthier rootkits has speculated about building transparent VMMs
Tal Garfinkel, Keith Adams, Andrew Warfield, Jason...
LISA
2007
15 years 9 months ago
On Designing and Deploying Internet-Scale Services
The system-to-administrator ratio is commonly used as a rough metric to understand administrative costs in high-scale services. With smaller, less automated services this ratio ca...
James R. Hamilton