20 search results - page 1 / 4 » sosp 2003 |
SOSP
2003
ACM
14 years 7 months ago
2003
ACM
SOSP
2003
ACM
14 years 7 months ago
2003
ACM
SOSP
2003
ACM
14 years 7 months ago
2003
ACM
We describe an evolutionary path that allows operating systems to be used in a more flexible and appropriate manner by higher-level services. An infokernel exposes key pieces of ...
SOSP
2003
ACM
14 years 7 months ago
2003
ACM
This paper describes RacerX, a static tool that uses flowsensitive, interprocedural analysis to detect both race conditions and deadlocks. It is explicitly designed to find erro...
SOSP
2003
ACM
14 years 7 months ago
2003
ACM
The LOCKSS project has developed and deployed in a worldwide test a peer-to-peer system for preserving access to journals and other archival information published on the Web. It c...