1063 search results - page 92 / 213 » Order and Negation as Failure |
HPCC
2007
Springer
15 years 6 months ago
2007
Springer
A new evaluation method is presented that employs cut sequence set (CSS) to analyze fault trees. A cut sequence is a set of basic events that fail in a specific order that can indu...
104
Voted
MIDDLEWARE
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Epidemic protocols have demonstrated remarkable scalability and robustness in disseminating information on internet-scale, dynamic P2P systems. However, popular instances...
72
Voted
ASYNC
2006
IEEE
15 years 6 months ago
2006
IEEE
Present measurement techniques do not allow synchronizer reliability to be measured in the region of most interest, that is, beyond the first half cycle of the synchronizer clock....
98
Voted
IPPS
2006
IEEE
15 years 6 months ago
2006
IEEE
In this paper we tackle the problem of scheduling a periodic real-time system on identical multiprocessor platforms, moreover the tasks considered may fail with a given probabilit...
80
Voted
SRDS
2006
IEEE
15 years 6 months ago
2006
IEEE
As the disks typically found in personal computers grow larger, protecting data by replicating it on a collection of “peer” systems rather than on dedicated high performance s...