| 2002 |
|---|
| 5 | EE | David Hardin,
Mike Frerking,
Philip Wiley,
Gregory Bollella:
Getting Down and Dirty: Device-Level Programming Using the Real-Time Specification for Java.
Symposium on Object-Oriented Real-Time Distributed Computing 2002: 457-464 |
| 2001 |
|---|
| 4 | EE | David Hardin:
Real-Time Objects on the Bare Metal: An Efficient Hardware Realization of the JavaTM Virtual Machine.
ISORC 2001: 53-59 |
| 3 | | Matthew Wilding,
David A. Greve,
David Hardin:
Efficient Simulation of Formal Processor Models.
Formal Methods in System Design 18(3): 233-248 (2001) |
| 1998 |
|---|
| 2 | | David Hardin,
Matthew Wilding,
David A. Greve:
Transforming the Theorem Prover into a Digital Design Tool: From Concept Car to Off-Road Vehicle.
CAV 1998: 39-44 |
| 1994 |
|---|
| 1 | EE | Mark Christon,
David Hardin,
John Compton,
Mary Zosel:
Meshes: the next generation.
SC 1994: 275-276 |
