Parameterized Verification of GPU Kernel Programs.
Guodong LiGanesh GopalakrishnanPublished in: IPDPS Workshops (2012)
Keyphrases
- symbolic execution
- hardware designs
- real time
- model checking
- parallel implementation
- kernel methods
- kernel function
- feature space
- parallel processing
- support vector
- component analysis
- kernel learning
- gaussian processes
- computer programs
- formal methods
- reproducing kernel hilbert space
- kernel regression
- automatic programming
- verification method
- machine learning
- data sets