| 2008 |
|---|
| 11 | EE | John Kim,
William J. Dally,
Steve Scott,
Dennis Abts:
Technology-Driven, Highly-Scalable Dragonfly Topology.
ISCA 2008: 77-88 |
| 2007 |
|---|
| 10 | EE | John Kim,
William J. Dally,
Dennis Abts:
Flattened butterfly: a cost-efficient topology for high-radix networks.
ISCA 2007: 126-137 |
| 9 | EE | Dennis Abts,
Abdulla Bataineh,
Steve Scott,
Greg Faanes,
Jim Schwarzmeier,
Eric Lundberg,
Tim Johnson,
Mike Bye,
Gerald Schwoerer:
The Cray BlackWidow: a highly scalable vector multiprocessor.
SC 2007: 17 |
| 8 | EE | Dennis Abts,
Deborah K. Weisser:
Age-based packet arbitration in large-radix k-ary n-cubes.
SC 2007: 5 |
| 2006 |
|---|
| 7 | EE | Steve Scott,
Dennis Abts,
John Kim,
William J. Dally:
The BlackWidow High-Radix Clos Network.
ISCA 2006: 16-28 |
| 6 | EE | John Kim,
William J. Dally,
Dennis Abts:
Interconnect routing and scheduling - Adaptive routing in high-radix clos network.
SC 2006: 92 |
| 2005 |
|---|
| 5 | EE | Ying Chen,
Dennis Abts,
David J. Lilja:
Efficiently generating test vectors with state pruning.
ASP-DAC 2005: 1196-1199 |
| 2004 |
|---|
| 4 | EE | Ying Chen,
Dennis Abts,
David J. Lilja:
State Pruning for Test Vector Generation for a Multiprocessor Cache Coherence Protocol.
IEEE International Workshop on Rapid System Prototyping 2004: 74-77 |
| 2003 |
|---|
| 3 | EE | Dennis Abts,
Steve Scott,
David J. Lilja:
So Many States, So Little Time: Verifying Memory Coherence in the Cray X1.
IPDPS 2003: 11 |
| 2000 |
|---|
| 2 | EE | Dennis Abts,
Mike Roberts,
David J. Lilja:
A Balanced Approach to High-Level Verification: Performance Trade-Offs in Verifying Large-Scale Multiprocessors.
ICPP 2000: 505- |
| 1999 |
|---|
| 1 | EE | Dennis Abts,
Mike Roberts:
Verifying Large-Scale Multiprocessors Using an Abstract Verification Environment.
DAC 1999: 163-168 |
