Publications

8 results for Hagit Attiya

Characterizing transactional memory consistency conditions using observational refinement
- - Hagit Attiya
  - Sandeep Hans
  - et al.
- 2017
- Journal of the ACM
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