Search Sciweavers | Sciweavers

We describe an evolutionary path that allows operating systems to be used in a more ﬂexible and appropriate manner by higher-level services. An infokernel exposes key pieces of ...

Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau,...

claim paper

Read More »

14

click to vote

SOSP
2003
ACM

155views Operating System» more SOSP 2003»

RacerX: effective, static detection of race conditions and deadlocks

14 years 1 months ago

Download www.cs.rochester.edu

This paper describes RacerX, a static tool that uses ﬂowsensitive, interprocedural analysis to detect both race conditions and deadlocks. It is explicitly designed to ﬁnd erro...

Dawson R. Engler, Ken Ashcraft

claim paper

Read More »

10

click to vote

SOSP
2003
ACM

103views Operating System» more SOSP 2003»

Preserving peer replicas by rate-limited sampled voting

14 years 1 months ago

Download www.eecs.harvard.edu

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...

Petros Maniatis, David S. H. Rosenthal, Mema Rouss...

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers