E-LIB Suche - Ergebnisse für: Herlihy, Maurice P.

1

Visualizing transactional memory:

, In: Proceedings of the 21st international conference on Parallel architectures and compilation techniques,

Gottschlich, Justin E. ; Herlihy, Maurice P. ; Pokam, Gilles A.. - p. 159-170 , 2012

Link: https://dl.acm.org/doi/1..

2

Transforming worst-case optimal solutions for simultaneous ..:

, In: Proceedings of the 30th annual ACM SIGACT-SIGOPS symposium on Principles of distributed computing,

Herlihy, Maurice P. ; Moses, Yoram ; Tuttle, Mark R. - p. 231-238 , 2011

Link: https://dl.acm.org/doi/1..

3

Lock-free garbage collection for multiprocessors:

, In: Proceedings of the third annual ACM symposium on Parallel algorithms and architectures,

Herlihy, Maurice P. ; Moss, J. E. B. - p. 229-236 , 1991

Link: https://dl.acm.org/doi/1..

4

Hybrid concurrency control for abstract data types:

Herlihy, Maurice P. ; Weihl, William E.
Journal of Computer and System Sciences. 43 (1991) 1 - p. 25-61 , 1991

Link: https://doi.org/10.1016/..

5

Linearizability: a correctness condition for concurrent obj..:

Herlihy, Maurice P. ; Wing, Jeannette M.
ACM Transactions on Programming Languages and Systems (TOPLAS). 12 (1990) 3 - p. 463-492 , 1990

Link: https://dl.acm.org/doi/1..

6

Linearizability: a correctness condition for concurrent obj..:

Herlihy, Maurice P. ; Wing, Jeannette M.
ACM Transactions on Programming Languages and Systems. 12 (1990) 3 - p. 463-492 , 1990

Link: https://doi.org/10.1145/..

7

Impossibility and universality results for wait-free synchr..:

, In: Proceedings of the seventh annual ACM Symposium on Principles of distributed computing,

Herlihy, Maurice P. - p. 276-290 , 1988

Link: https://dl.acm.org/doi/1..

8

Hybrid concurrency control for abstract data types:

, In: Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems,

Herlihy, Maurice P. ; Weihl, William E. - p. 201-210 , 1988

Link: https://dl.acm.org/doi/1..

9

Specifying graceful degradation in distributed systems:

, In: Proceedings of the sixth annual ACM Symposium on Principles of distributed computing,

Herlihy, Maurice P. ; Wing, Jeanette M. - p. 167-177 , 1987

Link: https://dl.acm.org/doi/1..

10

A Value Transmission Method for Abstract Data Types:

Herlihy, Maurice P. ; Liskov, Barbara
ACM Transactions on Programming Languages and Systems. 4 (1982) 4 - p. 527-551 , 1982

Link: https://doi.org/10.1145/..

11

A Value Transmission Method for Abstract Data Types:

Herlihy, Maurice P. ; Liskov, Barbara
ACM Transactions on Programming Languages and Systems (TOPLAS). 4 (1982) 4 - p. 527-551 , 1982

Link: https://dl.acm.org/doi/1..

12

Threshold protocols in survivor set systems:

Junqueira, Flavio P. ; Marzullo, Keith ; Herlihy, Maurice.
Distributed Computing. 23 (2010) 2 - p. 135-149 , 2010

Link: https://doi.org/10.1007/..

13

A tale of two directories : implementing distributed sha..:

, In: Proceedings of the ACM 1999 conference on Java Grande,

Herlihy, Maurice ; Warres, Michael P. - p. 99-108 , 1999

Link: https://dl.acm.org/doi/1..

14

Distributed computing through combinatorial topology:

Herlihy, Maurice , 2014

Link: http://www.sciencedirect..

Exemplar: Zentrale:E02 a mat 556/493

15

Distributed computing through combinatorial topology:

Herlihy, Maurice , 2014

Exemplar: Zentrale:E02 a mat 556/493