Seguir
Hagit Attiya
Hagit Attiya
Department of Computer Science, Technion
Dirección de correo verificada de cs.technion.ac.il - Página principal
Título
Citado por
Citado por
Año
Distributed computing: fundamentals, simulations, and advanced topics
H Attiya, J Welch
John Wiley & Sons, 2004
21042004
Sharing memory robustly in message-passing systems
H Attiya, A Bar-Noy, D Dolev
Journal of the ACM 42 (1), 124-142, 1995
7311995
Atomic snapshots of shared memory
Y Afek, H Attiya, D Dolev, E Gafni, M Merritt, N Shavit
Journal of the ACM (JACM) 40 (4), 873-890, 1993
7291993
Renaming in an asynchronous environment
H Attiya, A Bar-Noy, D Dolev, D Peleg, R Reischuk
Journal of the ACM (JACM) 37 (3), 524-548, 1990
481*1990
Sequential consistency versus linearizability
H Attiya, JL Welch
ACM Transactions on Computer Systems (TOCS) 12 (2), 91-122, 1994
3961994
Computing on an anonymous ring
H Attiya, M Snir, MK Warmuth
Journal of the ACM (JACM) 35 (4), 845-875, 1988
3181988
Atomic snapshots in O (n log n) operations
H Attiya, O Rachman
SIAM Journal on Computing 27 (2), 319-340, 1998
208*1998
Laws of order: expensive synchronization in concurrent algorithms cannot be eliminated
H Attiya, R Guerraoui, D Hendler, P Kuznetsov, MM Michael, M Vechev
ACM SIGPLAN Notices 46 (1), 487-498, 2011
1712011
Are wait-free algorithms fast?
H Attiya, N Lynch, N Shavit
Journal of the ACM (JACM) 41 (4), 725-763, 1994
1681994
Bounds on the time to reach agreement in the presence of timing uncertainty
H Attiya, C Dwork, N Lynch, L Stockmeyer
Journal of the ACM (JACM) 41 (1), 122-152, 1994
1611994
A correctness condition for high-performance multiprocessors
H Attiya, R Friedman
SIAM Journal on Computing 27 (6), 1637-1670, 1998
145*1998
Adaptive and efficient algorithms for lattice agreement and renaming
H Attiya, A Fouren
SIAM Journal on Computing 31 (2), 642-664, 2001
132*2001
Atomic snapshots using lattice agreement
H Attiya, M Herlihy, O Rachman
Distributed Computing 8, 121-132, 1995
132*1995
Using mappings to prove timing properties
N Lynch, H Attiya
Proceedings of the ninth annual ACM symposium on Principles of distributed …, 1990
1311990
Reliable communication over unreliable channels
Y Afek, H Attiya, A Fekete, M Fischer, N Lynch, Y Mansour, DW Wang, ...
Journal of the ACM (JACM) 41 (6), 1267-1297, 1994
1231994
The combinatorial structure of wait-free solvable tasks
H Attiya, S Rajsbaum
SIAM Journal on Computing 31 (4), 1286-1313, 2002
119*2002
The complexity of obstruction-free implementations
H Attiya, R Guerraoui, D Hendler, P Kuznetsov
Journal of the ACM (JACM) 56 (4), 1-33, 2009
115*2009
Long-lived renaming made adaptive
Y Afek, H Attiya, A Fouren, G Stupp, D Touitou
Proceedings of the eighteenth annual ACM symposium on Principles of …, 1999
1111999
Limitations of highly-available eventually-consistent data stores
H Attiya, F Ellen, A Morrison
IEEE transactions on parallel and distributed systems 28 (1), 141-155, 2017
1082017
Concurrent updates with rcu: Search tree as an example
M Arbel, H Attiya
Proceedings of the 2014 ACM symposium on Principles of distributed computing …, 2014
1082014
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20