145
click to vote
PODC
15 years 4 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...
125
click to vote
PODC
15 years 4 months ago
1994 ACM 
We describe a method for writing assumption/guarantee specifications of concurrent systems. We also provide a proof rule for reasoning about the composition of these systems. Spec...
121
click to vote
PODC
15 years 4 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
15 years 4 months ago
1994 ACM
In this paper, we investigate the practical performance of lock-free techniques that provide synchronization on shared-memory multiprocessors. Our goal is to provide a technique t...
92
Voted
PODC
15 years 4 months ago
1994 ACM |
Distributed And Parallel Computing