ACL2 Meets the GPU: Formalizing a CUDA-based Parallelizable All-Pairs Shortest Path Algorithm in ACL2
David S. HardinSamuel S. HardinPublished in: ACL2 (2013)
Keyphrases
- shortest path algorithm
- natural language learning
- shortest path
- parallel implementation
- gpu accelerated
- parallel computing
- gpu implementation
- graphics processors
- graphics hardware
- real time
- minimum cost flow
- pairwise
- real world
- parallel computation
- parallel processing
- general purpose
- optimal solution
- image sequences
- artificial intelligence
- compute unified device architecture