| 2002 | ||
|---|---|---|
| j1 | Daniel J. Sorin, Manoj Plakal, Anne Condon, Mark D. Hill, Milo M. K. Martin, David A. Wood: Specifying and Verifying a Broadcast and a Multicast Snooping Cache Coherence Protocol. IEEE Trans. Parallel Distrib. Syst. 13(6): 556-578 (2002) | |
| 2000 | ||
| c6 | Milo M. K. Martin, Daniel J. Sorin, Anastassia Ailamaki, Alaa R. Alameldeen, Ross M. Dickson, Carl J. Mauer, Kevin E. Moore, Manoj Plakal, Mark D. Hill, David A. Wood: Timestamp snooping: an approach for extending SMPs. ASPLOS 2000: 25-36 | |
| c5 | Manoj Plakal, Charles N. Fischer: Concurrent Garbage Collection Using Program Slices on Multithreaded Processors. ISMM 2000: 94-100 | |
| 1999 | ||
| c4 | Anne Condon, Mark D. Hill, Manoj Plakal, Daniel J. Sorin: Using Lamport Clocks to Reason about Relaxed Memory Models. HPCA 1999: 270-278 | |
| c3 | E. Ender Bilir, Ross M. Dickson, Ying Hu, Manoj Plakal, Daniel J. Sorin, Mark D. Hill, David A. Wood: Multicast Snooping: A New Coherence Method Using a Multicast Address Network. ISCA 1999: 294-304 | |
| c2 | Mark D. Hill, Anne Condon, Manoj Plakal, Daniel J. Sorin: A System-Level Specification Framework for I/O Architectures. SPAA 1999: 138-147 | |
| 1998 | ||
| c1 | Manoj Plakal, Daniel J. Sorin, Anne Condon, Mark D. Hill: Lamport Clocks: Verifying a Directory Cache-Coherence Protocol. SPAA 1998: 67-76 | |
| 1 | Anastasia Ailamaki (Anastassia Ailamaki, Ailamaki Natassa) | |
| 2 | Alaa R. Alameldeen | |
| 3 | E. Ender Bilir | |
| 4 | Anne Condon | |
| 5 | Ross M. Dickson | |
| 6 | Charles N. Fischer | |
| 7 | Mark D. Hill | |
| 8 | Ying Hu | |
| 9 | Milo M. K. Martin | |
| 10 | Carl J. Mauer | |
| 11 | Kevin E. Moore | |
| 12 | Daniel J. Sorin | |
| 13 | David A. Wood |
Data released under the ODC-BY 1.0 license — See also our legal information page