Gadi Taubenfeld
Gadi Taubenfeld
IDC, Israel
Adresse e-mail validée de idc.ac.il - Page d'accueil
Titre
Citée par
Citée par
Année
Synchronization algorithms and concurrent programming
G Taubenfeld
Pearson Education, 2006
2192006
Script: a communication abstraction mechanism and its verification
N Francez, B Hailpern, G Taubenfeld
Science of Computer Programming 6, 35-88, 1986
1081986
Computing with infinitely many processes
M Merritt, G Taubenfeld
International Symposium on Distributed Computing, 164-178, 2000
972000
Disentangling multi-object operations
Y Afek, M Merritt, G Taubenfeld, D Touitou
Proceedings of the sixteenth annual ACM symposium on Principles of …, 1997
931997
The concurrency hierarchy, and algorithms for unbounded concurrency
E Gafni, M Merritt, G Taubenfeld
Proceedings of the twentieth annual ACM symposium on Principles of …, 2001
632001
Results about fast mutual exclusion
R Alur, G Taubenfeld
Proceedings Real-Time Systems Symposium, 12, 13, 14, 15, 16, 17, 18, 19, 20 …, 1992
631992
The black-white bakery algorithm and related bounded-space, adaptive, local-spinning and FIFO algorithms
G Taubenfeld
International Symposium on Distributed Computing, 56-70, 2004
542004
Computing with faulty shared memory
Y Afek, DS Greenberg, M Merritt, G Taubenfeld
Proceedings of the eleventh annual ACM symposium on Principles of …, 1992
491992
Computing with faulty shared objects
Y Afek, DS Greenberg, M Merritt, G Taubenfeld
Journal of the ACM (JACM) 42 (6), 1231-1274, 1995
481995
Time-adaptive algorithms for synchronization
R Alur, H Attiya, G Taubenfeld
SIAM Journal on Computing 26 (2), 539-556, 1997
441997
Contention-sensitive data structures and algorithms
G Taubenfeld
International Symposium on Distributed Computing, 157-171, 2009
432009
Speeding Lamport's fast mutual exclusion algorithm
M Merritt, G Taubenfeld
Information Processing Letters 45 (3), 137-142, 1993
421993
Automatic discovery of mutual exclusion algorithms
Y Bar-David, G Taubenfeld
International Symposium on Distributed Computing, 136-150, 2003
412003
Possibility and impossibility results in a shared memory environment
G Taubenfeld, S Moran
Acta Informatica 33 (1), 1-20, 1996
291996
On asymmetric progress conditions
D Imbs, M Raynal, G Taubenfeld
Proceedings of the 29th ACM SIGACT-SIGOPS symposium on Principles of …, 2010
272010
The computational structure of progress conditions
G Taubenfeld
International Symposium on Distributed Computing, 221-235, 2010
262010
The wakeup problem
MJ Fischer, S Moran, S Rudich, G Taubenfeld
SIAM Journal on Computing 25 (6), 1332-1357, 1996
251996
Concurrent counting
S Moran, G Taubenfeld, I Yadin
Journal of Computer and System Sciences 53 (1), 61-78, 1996
251996
What processes know: Definitions and proof methods
S Katz, G Taubenfeld
Proceedings of the fifth annual ACM symposium on Principles of distributed …, 1986
241986
Objects shared by Byzantine processes
D Malkhi, M Merritt, MK Reiter, G Taubenfeld
Distributed Computing 16 (1), 37-48, 2003
232003
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20