Maurice Herlihy
Maurice Herlihy
Professor of Computer Science, Brown University
在 cs.brown.edu 的電子郵件地址已通過驗證
標題引用次數年份
Linearizability: A correctness condition for concurrent objects
MP Herlihy, JM Wing
ACM Transactions on Programming Languages and Systems (TOPLAS) 12 (3), 463-492, 1990
30381990
Transactional memory: Architectural support for lock-free data structures
M Herlihy, JEB Moss
ACM SIGARCH computer architecture news 21 (2), 289-300, 1993
28571993
Wait-free synchronization
M Herlihy
ACM Transactions on Programming Languages and Systems (TOPLAS) 13 (1), 124-149, 1991
19901991
The art of multiprocessor programming
M Herlihy, N Shavit
Morgan Kaufmann, 2011
15362011
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
12382003
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
10052005
Principles of concurrent and distributed programming
M Ben-Ari, M Ben-Arî
Pearson Education, 2006
7322006
A methodology for implementing highly concurrent data objects
M Herlihy
ACM Transactions on Programming Languages and Systems (TOPLAS) 15 (5), 745-770, 1993
6411993
Obstruction-free synchronization: Double-ended queues as an example
M Herlihy, V Luchangco, M Moir
23rd International Conference on Distributed Computing Systems, 2003 …, 2003
5812003
Virtualizing transactional memory
R Rajwar, M Herlihy, K Lai
32nd International Symposium on Computer Architecture (ISCA'05), 494-505, 2005
5262005
The topological structure of asynchronous computability
M Herlihy, N Shavit
Journal of the ACM 46 (6), 858-923, 1999
4501999
A flexible framework for implementing software transactional memory
M Herlihy, V Luchangco, M Moir
ACM Sigplan Notices 41 (10), 253-262, 2006
3272006
A quorum-consensus replication method for abstract data types
M Herlihy
ACM Transactions on Computer Systems (TOCS) 4 (1), 32-53, 1986
3251986
Transactional boosting: a methodology for highly-concurrent transactional objects.
M Herlihy, E Koskinen
PPoPP, 207-216, 2008
3002008
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
2762005
System for achieving atomic non-sequential multi-word operations in shared memory
M Herlihy, JEB Moss
US Patent 5,428,761, 1995
2751995
Impossibility and universality results for wait-free synchronization
M Herlihy
figshare, 2010
2592010
Fast randomized consensus using shared memory
J Aspnes, M Herlihy
Journal of algorithms 11 (3), 441-461, 1990
2561990
A methodology for implementing highly concurrent data structures
M Herlihy
ACM SIGPLAN Notices 25 (3), 197-206, 1990
2481990
Transactional memory execution utilizing virtual memory
R Rajwar, MP Herlihy
US Patent 7,685,365, 2010
2432010
系統目前無法執行作業,請稍後再試。
文章 1–20