1268 search results - page 109 / 254 » Verifying distributed systems: the operational approach |
ICDCS
2008
IEEE
15 years 4 months ago
2008
IEEE
— Checkpointing is an indispensable technique to provide fault tolerance for long-running high-throughput applications like those running on desktop grids. This paper argues that...
OSDI
2002
ACM
15 years 10 months ago
2002
ACM
Pangaea is a wide-area file system that supports data sharing among a community of widely distributed users. It is built on a symmetrically decentralized infrastructure that consi...
114
click to vote
HPDC
2012
IEEE
13 years 12 days ago
2012
IEEE
Many storage systems are shared by multiple clients with different types of workloads and performance targets. To achieve performance targets without over-provisioning, a system ...
ISPDC
2008
IEEE
15 years 4 months ago
2008
IEEE
In this work we present the runtime architecture of the OMPi OpenMP compiler. OMPi is a source-to-source C translator featuring a portable, modular and extensible runtime system. ...
COLCOM
2005
IEEE
14 years 12 months ago
2005
IEEE
Telepointers are a real-time groupware interface feature to indicate where other users are pointing. None of existing telepointer techniques, however, is capable of tracking the r...