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 |