Characterizing transactional memory consistency conditions using observational refinement
- Hagit Attiya
- Sandeep Hans
- et al.
- 2017
- Journal of the ACM
Publications
8 results for Hagit Attiya
Information-flow models for shared memory with an application to the PowerPC architecture
- Allon Adir
- Hagit Attiya
- et al.
- 2003
- IEEE TPDS
Optimal clock synchronization under different delay assumptions
- Hagit Attiya
- Amir Herzberg
- et al.
- 1996
- SIAM Journal on Computing
Sharing Memory Robustly in Message-Passing Systems
- Hagit Attiya
- Amotz Bar-Noy
- et al.
- 1995
- Journal of the ACM (JACM)
Bounds on the Time to Reach Agreement in the Presence of Timing Uncertainty
- Hagit Attiya
- Cynthia Dwork
- et al.
- 1994
- Journal of the ACM (JACM)
Better computing on the anonymous ring
- Hagit Attiya
- Marc Snir
- 1991
- Journal of Algorithms
Renaming in an Asynchronous Environment
- Hagit Attiya
- Amotz Bar-Noy
- et al.
- 1990
- Journal of the ACM
Computing on an Anonymous Ring
- Hagit Attiya
- Marc Snir
- et al.
- 1988
- Journal of the ACM