146 search results - page 2 / 30 » Fault-Tolerant Distributed Theorem Proving |
209
Voted
PODC
2012
ACM
13 years 8 months ago
2012
ACM
Multi-party communication complexity involves distributed computation of a function over inputs held by multiple distributed players. A key focus of distributed computing research...
151
Voted
STOC
1997
ACM
15 years 10 months ago
1997
ACM
Shor has showed how to perform fault tolerant quantum computation when the probability for an error in a qubit or a gate, η, decays with the size of the computation polylogarithmi...
184
click to vote
ICDCS
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, we focus our attention on the problem of automating the addition of failsafe fault-tolerance where fault-tolerance is added to an existing (fault-intolerant) progra...
136
Voted
TPDS
2008
15 years 6 months ago
2008
Fail-stop failures in distributed environments are often tolerated by checkpointing or message logging. In this paper, we show that fail-stop process failures in ScaLAPACK matrix ...
151
Voted
SPDP
1993
IEEE
15 years 10 months ago
1993
IEEE
- In this paper, we propose an optimal fault tolerant broadcasting algorithm which requires only n+1 steps for an SIMD hypercube with up to n-1 faulty nodes. The basic idea of the ...