 | 2009 |
|---|
| 7 |       | David Hopkins,
C.-H. Luke Ong:
Homer: A Higher-Order Observational Equivalence Model checkER.
CAV 2009: 654-660 |
| 2008 |
|---|
| 6 | | Hans Eberle,
Pedro Javier García,
Jose Flich,
José Duato,
Robert Drost,
Nils Gura,
David Hopkins,
Wladek Olesinski:
High-radix crossbar switches enabled by proximity communication.
SC 2008: 32 |
| 2007 |
|---|
| 5 | | Alex Chow,
William S. Coates,
David Hopkins:
A Configurable Asynchronous Pseudorandom Bit Sequence Generator.
ASYNC 2007: 143-152 |
| 2006 |
|---|
| 4 | | Jo C. Ebergen,
Alex Chow,
Bill Coates,
Justin Schauer,
David Hopkins:
An Asynchronous High-Throughput Control Circuit For Proximity Communication.
ASYNC 2006: 23-33 |
| 2004 |
|---|
| 3 | | Jo C. Ebergen,
Daniel Finchelstein,
Russell Kao,
Jon K. Lexau,
David Hopkins:
A Fast and Energy-Efficient Stack.
ASYNC 2004: 7-16 |
| 2000 |
|---|
| 2 |  | David Hopkins:
Web Documentation Project at the University of Delaware.
SIGUCCS 2000: 102-105 |
| 1994 |
|---|
| 1 | | Russell R. Barton,
Lee Schruben,
James C. Ford,
David Hopkins,
David Goldsman,
Kevin J. Healy:
USMED: broadening the impact of simulation analysis methodology (panel).
Winter Simulation Conference 1994: 1382-1386 |
