ACL2 meets the GPU: formalizing a CUDA-based parallelizable all-pairs shortest path algorithm in ACL2 (Q6587259)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: ACL2 meets the GPU: formalizing a CUDA-based parallelizable all-pairs shortest path algorithm in ACL2 |
scientific article; zbMATH DE number 7896677
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | ACL2 meets the GPU: formalizing a CUDA-based parallelizable all-pairs shortest path algorithm in ACL2 |
scientific article; zbMATH DE number 7896677 |
Statements
ACL2 meets the GPU: formalizing a CUDA-based parallelizable all-pairs shortest path algorithm in ACL2 (English)
0 references
13 August 2024
0 references
0.7651771903038025
0 references
0.7064045071601868
0 references
0.703629195690155
0 references
0.6990004777908325
0 references
0.6917450428009033
0 references
