Sciweavers

13489 search results - page 251 / 2698
» Operating System
Sort
View
ASPLOS
2006
ACM
16 years 16 days ago
A: an assertion language for distributed systems
Operator mistakes have been identified as a significant source of unavailability in Internet services. In this paper, we propose a new language, A , for service engineers to writ...
Andrew Tjang, Fábio Oliveira, Richard P. Ma...
SOSP
2005
ACM
16 years 3 months ago
The taser intrusion recovery system
Recovery from intrusions is typically a very time-consuming operation in current systems. At a time when the cost of human resources dominates the cost of computing resources, we ...
Ashvin Goel, Kenneth Po, Kamran Farhadi, Zheng Li,...
FGCS
2002
80views more  FGCS 2002»
15 years 6 months ago
PODOS -- The design and implementation of a performance oriented Linux cluster
PODOS is a performance oriented distributed operating system being developed to harness the performance capabilities of a cluster-computing environment. In order to address the gr...
Sudharshan Vazhkudai, Jeelani Syed, P. Tobin Magin...
SP
2008
IEEE
119views Security Privacy» more  SP 2008»
16 years 28 days ago
Verifying the Safety of User Pointer Dereferences
Operating systems divide virtual memory addresses into kernel space and user space. The interface of a modern operating system consists of a set of system call procedures that may...
Suhabe Bugrara, Alex Aiken
USS
2008
15 years 9 months ago
Managing the Health of Security Experiments
Testbed experiments are a challenge to manage manually, because they involve multiple machines and their correctness depends on the correct operation of testbed infrastructure tha...
Jelena Mirkovic, Karen R. Sollins, John Wroclawski