2089 search results - page 197 / 418 » Finding Environment Guarantees |
128
click to vote
SPDP
1993
IEEE
15 years 8 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 ...
132
click to vote
SIGGRAPH
1990
ACM
15 years 8 months ago
1990
ACM
We presenta real-time robot motion plannerthatis fastandcomplete to a resolution. The technique is guaranteed to find a path if one exists at the resolution, and all paths returne...
165
click to vote
FCT
2007
Springer
15 years 8 months ago
2007
Springer
We investigate issues regarding two hard problems related to voting, the optimal weighted lobbying problem and the winner problem for Dodgson elections. Regarding the former, Chris...
157
click to vote
DATE
2009
IEEE
15 years 8 months ago
2009
IEEE
1 Fault-tolerance is due to the semiconductor technology development important, not only for safety-critical systems but also for general-purpose (non-safety critical) systems. How...
127
click to vote
CONCUR
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We present a new method for proving liveness and termination properties for fair concurrent programs, which does not rely on finding a ranking function or on computing th...