PODC
13 years 9 months ago
1994 ACM
The notion of belief has been useful in reasoning about authentication protocols. In this paper, we show how the notion of belief can be applied to reasoning about cache coherence...
PODC
13 years 9 months ago
1994 ACM PODC
13 years 9 months ago
1994 ACM PODC
13 years 9 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...
PODC
13 years 9 months ago
1994 ACM |