Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[1]
Hilfe
Suche: Author="Herlihy, Maurice"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
An equivariance theorem with applications to renaming
Armando CastaƱeda
,
Maurice Herlihy
,
Sergio Rajsbaum
Algorithmica
70
(2), 2014, pp. 171-194
Sporadic solutions to zero-one exclusion tasks
Eli Gafni
,
Maurice Herlihy
Lecture Notes in Computer Science
8572
, 2014, pp. 1-10
Power and limits of distributed computing shared memory models
Maurice Herlihy
,
Sergio Rajsbaum
,
Michel Raynal
Theoretical Computer Science
509
, 2013, pp. 3-24
Multidimensional approximate agreement in Byzantine asynchronous systems
Hammurabi Mendes
,
Maurice Herlihy
Proceedings of the 45th ACM Symposium on Theory of Computing, STOC'2013 (Palo Alto, California, USA, June 1-4, 2013)
, 2013, pp. 391-400
Embedded-TM: Energy and complexity-effective hardware transactional memory for embedded multicore systems
Cesare Ferri
,
Samantha Wood
,
Tali Moreshet
,
R. Iris Bahar
,
Maurice Herlihy
Journal Parallel Distributed Computing
70
(10), 2010, pp. 1042-1052
A topological treatment of early-deciding set-agreement
Rachid Guerraoui
,
Maurice Herlihy
,
Bastian Pochon
Theoretical Computer Science
410
(6-7), 2009, pp. 570-580
Checkpoints and continuations instead of nested transactions
Eric Koskinen
,
Maurice Herlihy
Proceedings of the 20th Annual Symposium on Parallelism in Algorithms and Architectures, SPAA'2008 (Munich, Germany, June 14-16, 2008)
, 2008, pp. 160-168
DREADLOCKS: Efficient deadlock detection
Eric Koskinen
,
Maurice Herlihy
Proceedings of the 20th Annual Symposium on Parallelism in Algorithms and Architectures, SPAA'2008 (Munich, Germany, June 14-16, 2008)
, 2008, pp. 297-303
A lazy concurrent list-based set algorithm
Steve Heller
,
Maurice Herlihy
,
Victor Luchangco
,
Mark Moir
,
William N. Scherer III
,
Nir Shavit
Parallel Processing Letters
17
(4), 2007, pp. 411-424
The multicore revolution - The challenges for theory
Maurice Herlihy
Lecture Notes in Computer Science
4855
, 2007, pp. 1-8
Virtual Leashing: Creating a computational foundation for software protection
Ori Dvir
,
Maurice Herlihy
,
Nir N. Shavit
Journal Parallel Distributed Computing
66
(9), 2006, pp. 1233-1240
Dynamic analysis of the arrow distributed protocol
Maurice Herlihy
,
Fabian Kuhn
,
Srikanta Tirthapura
,
Roger Wattenhofer
Theory of Computing Systems
39
(6), 2006, pp. 875-901
Randomized smoothing networks
Maurice Herlihy
,
Srikanta Tirthapura
Journal Parallel Distributed Computing
66
(5), 2006, pp. 626-632
Brief announcement: Energy implications of multiprocessor synchronization
Tali Moreshet
,
R. Iris Bahar
,
Maurice Herlihy
Proceedings of the 18th Annual ACM Symposium on Parallelism in Algorithms and Architectures, SPAA'2006 (Cambridge, Massachusetts, USA, July 30 - August 2, 2006)
, 2006, pp. 329-329
A classification of wait-free loop agreement tasks
Maurice Herlihy
,
Sergio Rajsbaum
Theoretical Computer Science
291
(1), 2003, pp. 55-77
Threshold counters with increments and decrements
Costas Busch
,
Neophytos Demetriou
,
Maurice Herlihy
,
Marios Mavronicolas
Theoretical Computer Science
270
(1-2), 2002, pp. 811-826
Routing without flow control
Costas Busch
,
Maurice Herlihy
,
Roger Wattenhofer
Proceedings of the 13th Annual ACM Symposium on Parallel Algorithms and Architectures, SPAA'2001 (Crete Island, Greece, July 3-6, 2001)
, 2001, pp. 11-20
A combinatorial characterization of properties preserved by antitokens
Costas Busch
,
Neophytos Demetriou
,
Maurice Herlihy
,
Marios Mavronicolas
Lecture Notes in Computer Science
1900
, 2000, pp. 575-582
Hard-potato routing
Costas Busch
,
Maurice Herlihy
,
Roger Wattenhofer
Proceedings of the 32nd Annual ACM Symposium on Theory of Computing, STOC'2000 (Portland, Oregon, May 21-23, 2000)
, 2000, pp. 278-285
Tight bounds for
k
-set agreement
Soma Chaudhuri
,
Maurice Herlihy
,
Nancy A. Lynch
,
Mark R. Tuttle
Journal of the ACM
47
(5), 2000, pp. 912-943
Supporting increment and decrement operations in balancing networks
William Aiello
,
Costas Busch
,
Maurice Herlihy
,
Marios Mavronicolas
,
Nir Shavit
,
Dan Touitou
Lecture Notes in Computer Science
1563
, 1999, pp. 393-403
Sorting and counting networks of small depth and arbitrary width
Costas Busch
,
Maurice Herlihy
Proceedings of the 11th Annual ACM Symposium on Parallel Algorithms and Architectures, SPAA'99 (Saint-Malo, France, June 27-30,1999)
, 1999, pp. 64-73
Wait-free implementations in message-passing systems
Soma Chaudhuri
,
Maurice Herlihy
,
Mark R. Tuttle
Theoretical Computer Science
220
(1), 1999, pp. 211-245
Time-lapse snapshots
Cynthia Dwork
,
Maurice Herlihy
,
Serge Plotkin
,
Orli Waarts
SIAM Journal on Computing
28
(5), 1999, pp. 1848-1874
New perspectives in distributed computing
Maurice Herlihy
,
Sergio Rajsbaum
Lecture Notes in Computer Science
1672
, 1999, pp. 170-186
Seiten 1
2
>