Takip et
Maurice Herlihy
Maurice Herlihy
An Wang Professor of Computer Science, Brown University
cs.brown.edu üzerinde doğrulanmış e-posta adresine sahip
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
Linearizability: A correctness condition for concurrent objects
MP Herlihy, JM Wing
ACM Transactions on Programming Languages and Systems (TOPLAS) 12 (3), 463-492, 1990
43041990
Transactional memory: Architectural support for lock-free data structures
M Herlihy, JEB Moss
Proceedings of the 20th annual international symposium on Computer …, 1993
34981993
The art of multiprocessor programming
M Herlihy, N Shavit, V Luchangco, M Spear
Newnes, 2020
25612020
Wait-free synchronization
M Herlihy
ACM Transactions on Programming Languages and Systems (TOPLAS) 13 (1), 124-149, 1991
25511991
Software transactional memory for dynamic-sized data structures
M Herlihy, V Luchangco, M Moir, WN Scherer III
Proceedings of the twenty-second annual symposium on Principles of …, 2003
14152003
Composable memory transactions
T Harris, S Marlow, S Peyton-Jones, M Herlihy
Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of …, 2005
11582005
A methodology for implementing highly concurrent data objects
M Herlihy
ACM Transactions on Programming Languages and Systems (TOPLAS) 15 (5), 745-770, 1993
7761993
Obstruction-free synchronization: Double-ended queues as an example
M Herlihy, V Luchangco, M Moir
23rd International Conference on Distributed Computing Systems, 2003 …, 2003
7162003
Atomic cross-chain swaps
M Herlihy
Proceedings of the 2018 ACM symposium on principles of distributed computing …, 2018
6112018
The topological structure of asynchronous computability
M Herlihy, N Shavit
Journal of the ACM (JACM) 46 (6), 858-923, 1999
6071999
Virtualizing transactional memory
R Rajwar, M Herlihy, K Lai
32nd International Symposium on Computer Architecture (ISCA'05), 494-505, 2005
5922005
Transactional memory execution utilizing virtual memory
R Rajwar, MP Herlihy
US Patent 7,685,365, 2010
4572010
Transactional boosting: a methodology for highly-concurrent transactional objects
M Herlihy, E Koskinen
Proceedings of the 13th ACM SIGPLAN Symposium on Principles and practice of …, 2008
3812008
A flexible framework for implementing software transactional memory
M Herlihy, V Luchangco, M Moir
ACM Sigplan Notices 41 (10), 253-262, 2006
3642006
A quorum-consensus replication method for abstract data types
M Herlihy
ACM Transactions on Computer Systems (TOCS) 4 (1), 32-53, 1986
3541986
Fast randomized consensus using shared memory
J Aspnes, M Herlihy
Journal of algorithms 11 (3), 441-461, 1990
3361990
A lazy concurrent list-based set algorithm
S Heller, M Herlihy, V Luchangco, M Moir, WN Scherer, N Shavit
Principles of Distributed Systems: 9th International Conference, OPODIS 2005 …, 2006
3202006
Impossibility and universality results for wait-free synchronization
MP Herlihy
Proceedings of the seventh annual ACM Symposium on Principles of distributed …, 1988
3041988
Distributed computing through combinatorial topology
M Herlihy, D Kozlov, S Rajsbaum
Newnes, 2013
3012013
Toward a theory of transactional contention managers
R Guerraoui, M Herlihy, B Pochon
Proceedings of the twenty-fourth annual ACM symposium on Principles of …, 2005
2972005
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20