20 search results - page 1 / 4 » sosp 2003 |
148
Voted
SOSP
2003
ACM
15 years 10 months ago
2003
ACM
96
Voted
SOSP
2003
ACM
15 years 10 months ago
2003
ACM
97
Voted
SOSP
2003
ACM
15 years 10 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
15 years 10 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...
132
Voted
SOSP
2003
ACM
15 years 10 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...