3638 search results - page 207 / 728 » HEP@Home - A distributed computing system based on BOINC |
192
click to vote
PODC
1994
ACM
15 years 10 months ago
1994
ACM
Workstation clusters are becoming an interesting alternative to dedicated multiprocessors. In this environment, the probability of a failure, during an application's executio...
176
click to vote
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
Systemic pathways-oriented approaches to analysis of metabolic networks are effective for small networks but are computationally infeasible for genome scale networks. Current comp...
152
click to vote
ECAI
2004
Springer
15 years 10 months ago
2004
Springer
In this paper, we tackle the satisfiability problem for multi-context systems. First, we establish a satisfiability algorithm based on an encoding into propositional logic. Then, w...
173
click to vote
IPPS
2007
IEEE
16 years 23 days ago
2007
IEEE
We address the problem of optimizing the distribution of partially replicated databases over a computer network. Replication is used to increase data availability in the presence ...
169
click to vote
CONCUR
2010
Springer
15 years 7 months ago
2010
Springer
Many communication-centred systems today rely on asynchronous messaging among distributed peers to make efficient use of parallel execution and resource access. With such asynchron...