H. Attiya and R. Friedman.
A Correctness Condition for High-Performance Multiprocessors.
SIAM Journal of Computing. To Appear.
Earlier version appeared in
24th ACM Symp. on the Theory Of Computing.
Also available as Technical Report 767, Department of Computer
Science, The Technion.
H. Attiya, S. Chaudhuri, R. Friedman, and J. Welch.
Shared Memory Consistency Conditions for Non-Sequential Execution: Definitions
and Programming Strategies.
SIAM Journal of Computing. To Appear.
Earlier version appeared in
5th ACM Symposium On Parallel Algorithms and Architectures.
Also available as Technical Report LPCR 9306, Department of Computer
Science, The Technion.
H. Attiya and R. Friedman.
Limitation of Fast Consistency Conditions for Distributed Shared Memories.
Information Processing Letters. Vol. 5, No. 5, 1996, Pages
243-248.
R. Friedman.
Implementing Hybrid Consistency with High Level Synchronization Operations.
Distributed Computing. Vol. 9, No. 2.
Earlier version appeared in
12th ACM Symp. on Principles of Distributed Computing.
Also available as Technical Report 781, Department of Computer
Science, The Technion.
Papers in Conferences
R. Friedman and R. van Renesse.
Strong and Weak Virtual Synchrony in Horus.
To appear in SRDS 96.
Also available as
Technical Report 95-1537, Department of Computer Science, Cornell
University.
R. Friedman, M. Goldin, A. Itzkovitz, and A. Schuster,
Millipede: Easy Parallel Programming in Available Distributed Environments.
To appear in Euro-par 96.
R. van Renesse, K. Birman, R. Friedman, M. Hayden, and D. Karr.
A Framework for Protocol Composition in Horus.
14th ACM Symp. on Principles of Distributed Computing.
H. Attiya and R. Friedman.
Programming DEC-Alpha Based Multiprocessors the Easy Way.
6th ACM Symp. on Parallel Algorithms and Architectures.
Also available as Technical Report LPCR 9411, Department of Computer
Science, The Technion.
R. Friedman, I. Keidar, D. Malki, K. Birman, and D. Dolev.
Deciding in Partitionable Networks.
Technical Report 95-1554, Department of Computer Science, Cornell
University.