10 search results - page 2 / 2 » podc 1994 |
108
Voted
PODC
1994
ACM
15 years 7 months ago
1994
ACM
157
Voted
PODC
1994
ACM
15 years 7 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...
122
Voted
PODC
1994
ACM
15 years 7 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...
151
Voted
PODC
1994
ACM
15 years 7 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...
175
Voted
PODC
1994
ACM
15 years 7 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...