CUDA au Coq: A Framework for Machine-validating GPU Assembly Programs.

Benjamin Ferrell Jun Duan Kevin W. Hamlen

Published in: DATE (2019)

Keyphrases

real time
parallel implementation
main contribution
genetic algorithm
data mining
probabilistic model
theoretical framework
information systems
case study
general purpose
efficient implementation
parallel computing