David Hardin

Publication Activity (10 Years)

Years Active: 1994-2022
Publications (10 Years): 1

Top Topics

High Level Programming Language

General Purpose

Hardware And Software

Top Venues

Publications

David Hardin
Hardware/Software Co-Assurance using the Rust Programming Language and ACL2. ACL2 (2022)
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)
David Hardin
Real-Time Objects on the Bare Metal: An Efficient Hardware Realization of the JavaTM Virtual Machine. ISORC (2001)
Mark Christon, David Hardin, John Compton, Mary Zosel
Meshes: the next generation. SC (1994)