The following pages link to David Hardin (Q202496):
Displaying 3 items.
- Efficient simulation of formal processor models (Q5943268) (← links)
- ACL2 meets the GPU: formalizing a CUDA-based parallelizable all-pairs shortest path algorithm in ACL2 (Q6587259) (← links)
- Using ACL2 in the design of efficient, verifiable data structures for high-assurance systems (Q6591114) (← links)