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 |