activity
20112022
most citedHardware/Software Co-Assurance using the Rust Programming Language and ACL2

5 citations · 16 across the 6 of their papers we have counts for

collaborators
Showing 2013 · cs.LOShow all

1 paper · 2 filters

cs.LO2013

ACL2 Meets the GPU: Formalizing a CUDA-based Parallelizable All-Pairs Shortest Path Algorithm in ACL2

David S. Hardin, Samuel S. Hardin

As Graphics Processing Units (GPUs) have gained in capability and GPU development environments have matured, developers are increasingly turning to the GPU to off-load the main hos…