The SCEAS System
Navigation Menu

Search the dblp DataBase


David Hardin: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  6. Development of Security Software: A High Assurance Methodology. [Citation Graph (, )][DBLP]

Search in 0.002secs, Finished in 0.002secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002