Reactive Diffracting Trees

Linearizability: a correctness condition for concurrent objects

Maurice Herlihy, Jeannette M. Wing · ACM Transactions on Programming Languages and Systems · 1990 · 3.2K citations · Full text

Data Object, Engineering, Verification +16

Wait-free synchronization

Maurice Herlihy · ACM Transactions on Programming Languages and Systems · 1991 · 1.8K citations · Full text

Data Object, Engineering, Computer Architecture +18

Scheduling multithreaded computations by work stealing

Robert D. Blumofe, Charles E. Leiserson · Journal of the ACM · 1999 · 1.3K citations

Cluster Computing, Engineering, Computer Architecture +19

Algorithms for scalable synchronization on shared-memory multiprocessors

John Mellor‐Crummey, Michael L. Scott · ACM Transactions on Computer Systems · 1991 · 1.3K citations · Full text

Hardware Security, Scalable Synchronization, Engineering +14

The NYU Ultracomputer—Designing an MIMD Shared Memory Parallel Computer

Gottlieb, Grishman, Kruskal et al. · IEEE Transactions on Computers · 1983 · 745 citations

Cluster Computing, Massively-parallel Computing, Nyu Ultracomputer—designing +15