Login / Signup
Samuel S. Hardin
Publication Activity (10 Years)
Years Active: 2013-2013
Publications (10 Years): 0
Top Topics
Natural Language Learning
Graphics Processors
Gpu Implementation
Compute Unified Device Architecture
Top Venues
ACL2
</>
Publications
</>
David S. Hardin
,
Samuel S. Hardin
ACL2 Meets the GPU: Formalizing a CUDA-based Parallelizable All-Pairs Shortest Path Algorithm in ACL2
ACL2
(2013)