Warps and Atomics: Beyond Barrier Synchronization in the Verification of GPU Kernels.
Ethel BardsleyAlastair F. DonaldsonPublished in: NASA Formal Methods (2014)
Keyphrases
- model checking
- real time
- kernel methods
- graphics hardware
- kernel function
- formal verification
- gpu implementation
- linear combination
- general purpose
- parallel computing
- functional verification
- music score
- multiple kernel
- concurrent systems
- asynchronous circuits
- heterogeneous computing
- face verification
- cryptographic protocols
- kernel learning
- graphics processing units
- multiple kernel learning
- parallel implementation
- feature space
- support vector
- neural network