Adding Threads to Standard ML (1990)

Cached

Download Links

by Eric C. Cooper , J. Gregory Morrisett
Citations:62 - 4 self

Active Bibliography

550 Cilk: An Efficient Multithreaded Runtime System – Robert D. Blumofe , Christopher F. Joerg, Bradley C. Kuszmaul, Charles E. Leiserson, Keith H. Randall, Yuli Zhou - 1995
938 Linearizability: a correctness condition for concurrent objects – Maurice P. Herlihy, Jeannette M. Wing - 1990
437 Scheduler Activations: Effective Kernel Support for the User-Level Management of Parallelism – Thomas E. Anderson, Brian N. Bershad, Edward D. Lazowska, Henry M. Levy - 1992
689 Efficient Software-Based Fault Isolation – Robert Wahbe, Steven Lucco, Thomas E. Anderson, Susan L. Graham - 1993
615 Exokernel: An Operating System Architecture for Application-Level Resource Management – Dawson R. Engler, M. Frans Kaashoek, James O’toole - 1995
964 Active Messages: a Mechanism for Integrated Communication and Computation – T von Eicken, D E Culler, S C Goldstein, K E Schauser - 1992
568 Eraser: a dynamic data race detector for multithreaded programs – Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, Thomas Anderson - 1997
893 Memory Coherence in Shared Virtual Memory Systems – Kai Li, Paul Hudak - 1989
702 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993