GPUVerify: a verifier for GPU kernels.
Adam BettsNathan ChongAlastair F. DonaldsonShaz QadeerPaul ThomsonPublished in: OOPSLA (2012)
Keyphrases
- real time
- graphics hardware
- multiple kernel learning
- support vector
- gpu implementation
- kernel function
- kernel methods
- data mining
- gpu accelerated
- gaussian kernels
- parallel implementation
- parallel computing
- parallel computation
- kernel learning
- feature space
- parallel processing
- general purpose
- image processing
- dot product
- computer vision
- image pyramids