A Hoare Logic for GPU Kernels.
Kensuke KojimaAtsushi IgarashiPublished in: ACM Trans. Comput. Log. (2017)
Keyphrases
- support vector
- kernel function
- real time
- multi valued
- logic programming
- classical logic
- asynchronous circuits
- digital circuits
- multiple kernel learning
- modal logic
- parallel processing
- kernel methods
- parallel computing
- defeasible logic
- set theory
- predicate logic
- gaussian kernels
- deontic logic
- first order logic
- gpu implementation
- graphics processors
- gpu accelerated