1299 search results - page 54 / 260 » On the Correctness of Operating System Kernels |
155
click to vote
PDPTA
2000
15 years 5 months ago
2000
Performance Oriented Distributed Operating System (PODOS) is a clustering environment, being built on a monolithic Linux kernel. PODOS augments very few components to the Linux ke...
111
Voted
USENIX
2008
15 years 6 months ago
2008
We present a novel method for diagnosing configuration management errors. Our proposed approach deduces the state of a buggy computer by running predicates that test system correc...
115
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
We propose a framework that provides a programming interface to perform complex dynamic system-level analyses of deployed production systems. By leveraging hardware support for vi...
139
click to vote
COMSWARE
2006
IEEE
15 years 7 months ago
2006
IEEE
The performance of the protocol stack implementation of an operating system can greatly impact the performance of networked applications that run on it. In this paper, we present a...
135
click to vote
ICPP
2005
IEEE
15 years 9 months ago
2005
IEEE
High performance intra-node communication support for MPI applications is critical for achieving best performance from clusters of SMP workstations. Present day MPI stacks cannot ...