1 - 25 of 5
| Title | Date | Type | Setname | ||
|---|---|---|---|---|---|
| 1 |
 | Deriving efficient cache coherence protocols through refinement | 1997 | Text | ir_uspace |
| 2 |
 | Message passing support in the Avalanche widget | 1996 | Text | ir_uspace |
| 3 |
 | MP-LOCKs: Replacing hardware synchronization primitives with message passing | 2011-05 | Text | ir_uspace |
| 4 |
 | Multicore system design with XUM: the extensible Utah multicore project | 2010 | Text | ir_etd |
| 5 |
 | Places: parallelism for racket | 2013-08 | Text | ir_etd |
1 - 25 of 5