Showing 1 - 3 results of 3 for search 'David S. Hardin', query time: 0.02s Refine Results
  1. 1
    Reasoning About LLVM Code Using Codewalker

    Reasoning About LLVM Code Using Codewalker by David S. Hardin

    Published 2015-09-01
    Get full text
    Article
  2. 2
    ACL2 Meets the GPU: Formalizing a CUDA-based Parallelizable All-Pairs Shortest Path Algorithm in ACL2

    ACL2 Meets the GPU: Formalizing a CUDA-based Parallelizable All-Pairs Shortest Path Algorithm in ACL2 by David S. Hardin, Samuel S. Hardin

    Published 2013-04-01
    Get full text
    Article
  3. 3
    Development of a Translator from LLVM to ACL2

    Development of a Translator from LLVM to ACL2 by David S. Hardin, Jennifer A. Davis, David A. Greve, Jedidiah R. McClurg

    Published 2014-06-01
    Get full text
    Article

Search Tools: