Herlihy Maurice: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

51

Distributed Computing Through Combinatorial Topology || Wait-Free Computability for General Tasks

Herlihy, Maurice

Year:

2014

Language:

english

File:

PDF, 1.12 MB

english, 2014

52

[ACM Press the 2014 ACM symposium - Paris, France (2014.07.15-2014.07.18)] Proceedings of the 2014 ACM symposium on Principles of distributed computing - PODC '14 - The future(s) of shared data structures

Kogan, Alex, Herlihy, Maurice

Year:

2014

Language:

english

File:

PDF, 615 KB

english, 2014

53

The Future of Synchronization on Multicores

Herlihy, Maurice

Journal:

Year:

2014

Language:

english

File:

PDF, 553 KB

english, 2014

54

Distributed Computing Through Combinatorial Topology || Solvability of Colorless Tasks in Different Models

Herlihy, Maurice

Year:

2014

Language:

english

File:

PDF, 1.18 MB

english, 2014

55

Distributed Computing Through Combinatorial Topology || Byzantine-Resilient Colorless Computation

Herlihy, Maurice

Year:

2014

Language:

english

File:

PDF, 500 KB

english, 2014

56

Distributed Computing Through Combinatorial Topology || Colorless Wait-Free Computation

Herlihy, Maurice

Year:

2014

Language:

english

File:

PDF, 786 KB

english, 2014

57

Distributed Computing Through Combinatorial Topology || Introduction

Herlihy, Maurice

Year:

2014

Language:

english

File:

PDF, 892 KB

english, 2014

58

Distributed Computing Through Combinatorial Topology || Read-Write Protocols for General Tasks

Herlihy, Maurice

Year:

2014

Language:

english

File:

PDF, 779 KB

english, 2014

59

Distributed Computing Through Combinatorial Topology || Simulations and Reductions

Herlihy, Maurice

Year:

2014

Language:

english

File:

PDF, 506 KB

english, 2014

60

Distributed Computing Through Combinatorial Topology || Two-Process Systems

Herlihy, Maurice

Year:

2014

Language:

english

File:

PDF, 836 KB

english, 2014

61

Distributed Computing Through Combinatorial Topology || Simulations and Reductions for Colored Tasks

Herlihy, Maurice

Year:

2014

Language:

english

File:

PDF, 492 KB

english, 2014

62

Distributed Computing Through Combinatorial Topology || Renaming and Oriented Manifolds

Herlihy, Maurice

Year:

2014

Language:

english

File:

PDF, 522 KB

english, 2014

63

Distributed Computing Through Combinatorial Topology || Manifold Protocols

Herlihy, Maurice

Year:

2014

Language:

english

File:

PDF, 1.24 MB

english, 2014

64

Distributed Computing Through Combinatorial Topology || Task Solvability in Different Models

Herlihy, Maurice

Year:

2014

Language:

english

File:

PDF, 1.05 MB

english, 2014

65

Distributed Computing Through Combinatorial Topology || Elements of Combinatorial Topology

Herlihy, Maurice

Year:

2014

Language:

english

File:

PDF, 1.03 MB

english, 2014

66

Distributed Computing Through Combinatorial Topology || Immediate Snapshot Subdivisions

Herlihy, Maurice

Year:

2014

Language:

english

File:

PDF, 135 KB

english, 2014

67

Distributed Computing Through Combinatorial Topology || Classifying Loop Agreement Tasks

Herlihy, Maurice

Year:

2014

Language:

english

File:

PDF, 123 KB

english, 2014

68

Energy-Efficient and High-Performance Lock Speculation Hardware for Embedded Multicore Systems

Papagiannopoulou, Dimitra, Capodanno, Giuseppe, Moreshet, Tali, Herlihy, Maurice, Bahar, R. Iris

Journal:

ACM Transactions on Embedded Computing Systems

Year:

2015

Language:

english

File:

PDF, 2.12 MB

english, 2015

69

A Lazy Concurrent List-Based Set Algorithm

HELLER, STEVE, HERLIHY, MAURICE, LUCHANGCO, VICTOR, MOIR, MARK, SCHERER, WILLIAM N., SHAVIT, NIR

Journal:

Parallel Processing Letters

Year:

2007

Language:

english

File:

PDF, 794 KB

english, 2007

70

Composable memory transactions

Harris, Tim, Marlow, Simon, Jones, Simon Peyton, Herlihy, Maurice

Journal:

Communications of the ACM

Year:

2008

Language:

english

File:

PDF, 213 KB

english, 2008

71

[ACM Press the twenty-third annual ACM symposium - New Orleans, Louisiana, United States (1991.05.05-1991.05.08)] Proceedings of the twenty-third annual ACM symposium on Theory of computing - STOC '91 - Counting networks and multi-processor coordination

Aspnes, James, Herlihy, Maurice, Shavit, Nir

Year:

1991

Language:

english

File:

PDF, 834 KB

english, 1991

72

[ACM Press the twenty-sixth annual ACM symposium - Portland, Oregon, USA (2007.08.12-2007.08.15)] Proceedings of the twenty-sixth annual ACM symposium on Principles of distributed computing - PODC '07 - On the weakest failure detector ever

Guerraoui, Rachid, Herlihy, Maurice, Kouznetsov, Petr, Lynch, Nancy, Newport, Calvin

Year:

2007

Language:

english

File:

PDF, 230 KB

english, 2007

73

[ACM Press the twenty-fourth annual ACM SIGACT-SIGOPS symposium - Las Vegas, NV, USA (2005.07.17-2005.07.20)] Proceedings of the twenty-fourth annual ACM SIGACT-SIGOPS symposium on Principles of distributed computing - PODC '05 - Toward a theory of transactional contention managers

Guerraoui, Rachid, Herlihy, Maurice, Pochon, Bastian

Year:

2005

Language:

english

File:

PDF, 160 KB

english, 2005

74

[ACM Press the ACM 1999 conference - San Francisco, California, United States (1999.06.12-1999.06.14)] Proceedings of the ACM 1999 conference on Java Grande - JAVA '99 - A tale of two directories

Herlihy, Maurice, Warres, Michael P.

Year:

1999

Language:

english

File:

PDF, 935 KB

english, 1999

75

A methodology for implementing highly concurrent data objects

Herlihy, Maurice

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1993

Language:

english

File:

PDF, 1.53 MB

english, 1993

76

A flexible framework for implementing software transactional memory

Herlihy, Maurice, Luchangco, Victor, Moir, Mark

Journal:

ACM SIGPLAN Notices

Year:

2006

Language:

english

File:

PDF, 164 KB

english, 2006

77

[ACM Press the twenty-third annual ACM symposium - St. John's, Newfoundland, Canada (2004.07.25-2004.07.28)] Proceedings of the twenty-third annual ACM symposium on Principles of distributed computing - PODC '04 - Bringing practical lock-free synchronization to 64-bit applications

Doherty, Simon, Herlihy, Maurice, Luchangco, Victor, Moir, Mark

Year:

2004

Language:

english

File:

PDF, 199 KB

english, 2004

78

[ACM Press the twenty-fifth annual ACM symposium - Denver, Colorado, USA (2006.07.23-2006.07.26)] Proceedings of the twenty-fifth annual ACM symposium on Principles of distributed computing - PODC '06 - The art of multiprocessor programming

Herlihy, Maurice

Year:

2006

Language:

english

File:

PDF, 27 KB

english, 2006

79

[ACM Press the 13th ACM SIGPLAN Symposium - Salt Lake City, UT, USA (2008.02.20-2008.02.23)] Proceedings of the 13th ACM SIGPLAN Symposium on Principles and practice of parallel programming - PPoPP '08 - Transactional boosting

Herlihy, Maurice, Koskinen, Eric

Year:

2008

Language:

english

File:

PDF, 235 KB

english, 2008

80

[ACM Press the twenty-fifth annual ACM symposium - San Diego, California, United States (1993.05.16-1993.05.18)] Proceedings of the twenty-fifth annual ACM symposium on Theory of computing - STOC '93 - The asynchronous computability theorem for t -resilient tasks

Herlihy, Maurice, Shavit, Nir

Year:

1993

Language:

english

File:

PDF, 893 KB

english, 1993

81

[ACM Press the seventh annual ACM Symposium - Toronto, Ontario, Canada (1988.08.15-1988.08.17)] Proceedings of the seventh annual ACM Symposium on Principles of distributed computing - PODC '88 - Impossibility and universality results for wait-free synchronization

Herlihy, Maurice P.

Year:

1988

Language:

english

File:

PDF, 1.44 MB

english, 1988

82

[ACM Press the 2005 ACM SIGPLAN conference - Chicago, IL, USA (2005.06.12-2005.06.15)] Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation - PLDI '05 - The transactional manifesto

Herlihy, Maurice

Year:

2005

Language:

english

File:

PDF, 102 KB

english, 2005

83

[ACM Press the tenth ACM SIGPLAN symposium - Chicago, IL, USA (2005.06.15-2005.06.17)] Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming - PPoPP '05 - Composable memory transactions

Harris, Tim, Marlow, Simon, Peyton-Jones, Simon, Herlihy, Maurice

Year:

2005

Language:

english

File:

PDF, 234 KB

english, 2005

84

[ACM Press the eleventh ACM SIGPLAN symposium - New York, New York, USA (2006.03.29-2006.03.31)] Proceedings of the eleventh ACM SIGPLAN symposium on Principles and practice of parallel programming - PPoPP '06 - Proving correctness of highly-concurrent linearisable objects

Vafeiadis, Viktor, Herlihy, Maurice, Hoare, Tony, Shapiro, Marc

Year:

2006

Language:

english

File:

PDF, 132 KB

english, 2006

85

[ACM Press the third annual ACM symposium - Hilton Head, South Carolina, United States (1991.07.21-1991.07.24)] Proceedings of the third annual ACM symposium on Parallel algorithms and architectures - SPAA '91 - Lock-free garbage collection for multiprocessors

Herlihy, Maurice P., Moss, J. E. B.

Year:

1991

Language:

english

File:

PDF, 783 KB

english, 1991

86

[ACM Press the eighteenth annual ACM symposium - Cambridge, Massachusetts, USA (2006.07.30-2006.08.02)] Proceedings of the eighteenth annual ACM symposium on Parallelism in algorithms and architectures - SPAA '06 - Energy implications of multiprocessor synchronization

Moreshet, Tali, Bahar, R. Iris, Herlihy, Maurice

Year:

2006

Language:

english

File:

PDF, 48 KB

english, 2006

87

[ACM Press the 21st annual ACM SIGPLAN conference - Portland, Oregon, USA (2006.10.22-2006.10.26)] Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications - OOPSLA '06 - A flexible framework for implementing software transactional memory

Herlihy, Maurice, Luchangco, Victor, Moir, Mark

Year:

2006

Language:

english

File:

PDF, 164 KB

english, 2006

88

[ACM Press the 12th ACM SIGPLAN symposium - San Jose, California, USA (2007.03.14-2007.03.17)] Proceedings of the 12th ACM SIGPLAN symposium on Principles and practice of parallel programming - PPoPP '07 - Potential show-stoppers for transactional synchronization

Adl-Tabatabai, Ali-Reza, Dice, David, Herlihy, Maurice, Shavit, Nir, Kozyrakis, Christos, von Praun, Christoph, Scott, Michael

Year:

2007

File:

PDF, 79 KB

2007

89

[ACM Press the 28th ACM symposium - Calgary, AB, Canada (2009.08.10-2009.08.12)] Proceedings of the 28th ACM symposium on Principles of distributed computing - PODC '09 - Brief announcement

Koskinen, Eric, Herlihy, Maurice

Year:

2009

Language:

english

File:

PDF, 323 KB

english, 2009

90

[ACM Press the twelfth annual ACM symposium - Ithaca, New York, United States (1993.08.15-1993.08.18)] Proceedings of the twelfth annual ACM symposium on Principles of distributed computing - PODC '93 - Bounded round number

Dwork, Cynthia, Herlihy, Maurice

Year:

1993

Language:

english

File:

PDF, 1.25 MB

english, 1993

91

[ACM Press the twenty-fifth annual ACM symposium - San Diego, California, United States (1993.05.16-1993.05.18)] Proceedings of the twenty-fifth annual ACM symposium on Theory of computing - STOC '93 - Contention in shared memory algorithms

Dwork, Cynthia, Herlihy, Maurice, Waarts, Orli

Year:

1993

Language:

english

File:

PDF, 1.01 MB

english, 1993

92

[ACM Press the 20th annual international symposium - San Diego, California, United States (1993.05.16-1993.05.19)] Proceedings of the 20th annual international symposium on Computer architecture - ISCA '93 - Transactional memory

Herlihy, Maurice, Moss, J. Eliot B.

Year:

1993

Language:

english

File:

PDF, 1.05 MB

english, 1993

93

[ACM Press Proceeding of the 29th ACM SIGACT-SIGOPS symposium - Zurich, Switzerland (2010.07.25-2010.07.28)] Proceeding of the 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing - PODC '10 - The topology of shared-memory adversaries

Herlihy, Maurice, Rajsbaum, Sergio

Year:

2010

Language:

english

File:

PDF, 441 KB

english, 2010

94

[ACM Press the twenty-sixth annual ACM symposium - Montreal, Quebec, Canada (1994.05.23-1994.05.25)] Proceedings of the twenty-sixth annual ACM symposium on Theory of computing - STOC '94 - A simple constructive computability theorem for wait-free computation

Herlihy, Maurice, Shavit, Nir

Year:

1994

Language:

english

File:

PDF, 829 KB

english, 1994

95

[ACM Press the thirteenth annual ACM symposium - Los Angeles, California, United States (1994.08.14-1994.08.17)] Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing - PODC '94 - Set consensus using arbitrary objects (preliminary version)

Herlihy, Maurice, Rajsbaum, Sergio

Year:

1994

Language:

english

File:

PDF, 933 KB

english, 1994

96

[ACM Press the 2013 ACM symposium - Montréal, Québec, Canada (2013.07.22-2013.07.24)] Proceedings of the 2013 ACM symposium on Principles of distributed computing - PODC '13 - Upper bound on the complexity of solving hard renaming

Attiya, Hagit, Castañeda, Armando, Herlihy, Maurice, Paz, Ami

Year:

2013

Language:

english

File:

PDF, 668 KB

english, 2013

97

[ACM Press the 19th ACM SIGPLAN symposium - Orlando, Florida, USA (2014.02.15-2014.02.19)] Proceedings of the 19th ACM SIGPLAN symposium on Principles and practice of parallel programming - PPoPP '14 - Well-structured futures and cache locality

Herlihy, Maurice, Liu, Zhiyu

Year:

2014

Language:

english

File:

PDF, 577 KB

english, 2014

98

[ACM Press the 2014 ACM SIGMOD international conference - Snowbird, Utah, USA (2014.06.22-2014.06.27)] Proceedings of the 2014 ACM SIGMOD international conference on Management of data - SIGMOD '14 - Fun with hardware transactional memory

Herlihy, Maurice

Year:

2014

Language:

english

File:

PDF, 381 KB

english, 2014

99

[ACM Press the Ninth European Conference - Amsterdam, The Netherlands (2014.04.14-2014.04.16)] Proceedings of the Ninth European Conference on Computer Systems - EuroSys '14 - StackTrack

Alistarh, Dan, Eugster, Patrick, Herlihy, Maurice, Matveev, Alexander, Shavit, Nir

Year:

2014

Language:

english

File:

PDF, 429 KB

english, 2014

100

[ACM Press the 23rd international conference - Edmonton, AB, Canada (2014.08.24-2014.08.27)] Proceedings of the 23rd international conference on Parallel architectures and compilation - PACT '14 - Invyswell

Calciu, Irina, Gottschlich, Justin, Shpeisman, Tatiana, Pokam, Gilles, Herlihy, Maurice

Year:

2014

Language:

english

File:

PDF, 1.65 MB

english, 2014