1222 search results - page 131 / 245 » Verifying a File System Implementation |
108
Voted
SOSP
2009
ACM
15 years 11 months ago
2009
ACM
The UpRight library seeks to make Byzantine fault tolerance (BFT) a simple and viable alternative to crash fault tolerance for a range of cluster services. We demonstrate UpRight ...
101
Voted
ACSAC
2003
IEEE
15 years 8 months ago
2003
IEEE
In this paper, we present a new approach for safe execution of untrusted programs by isolating their effects from the rest of the system. Isolation is achieved by intercepting fi...
114
Voted
IPPS
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper presents an efficient parallel information retrieval (IR) system which provides fast information service for the Internet users on lowcost high-performance PC-NOW enviro...
138
Voted
CODES
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper presents a hw/sw codesign methodology based on BORPH, an operating system designed for FPGA-based reconfigurable computers (RC's). By providing native kernel suppo...
152
Voted
JCM
2006
15 years 2 months ago
2006
The performance of peer-to-peer systems depends on the level of cooperation of the system's participants. While most existing peer-to-peer architectures have assumed that user...