1402 search results - page 29 / 281 » Distributed Integrity Checking for Systems with Replicated D... |
149
Voted
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
We present a method of distributed model checking of multiagent systems specified by a branching-time temporal-epistemic logic. We introduce a serial algorithm, central to the dis...
124
click to vote
PDPTA
2003
15 years 4 months ago
2003
Distributed storage systems must provide highly available access to data while maintaining high performance and maximum scalability. In addition, reliability in a storage system is...
119
click to vote
WSC
2004
15 years 4 months ago
2004
This paper describes an approach to real-time decisionmaking for quality of service based scheduling of distributed asynchronous data replication. The proposed approach addresses ...
113
Voted
BMCBI
2008
15 years 3 months ago
2008
Background: The Distributed Annotation System (DAS) is a widely adopted protocol for dynamically integrating a wide range of biological data from geographically diverse sources. D...
136
click to vote
ICS
2010
Tsinghua U.
15 years 5 months ago
2010
Tsinghua U.
As the number of I/O-intensive MPI programs becomes increasingly large, many efforts have been made to improve I/O performance, on both software and architecture sides. On the sof...