Warps and Atomics: Beyond Barrier Synchronization in the Verification of GPU Kernels

First Author: Bardsley E
Attributed to:  Scalable Automatic Verification of GPU Kernels funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-3-319-06200-6_18

Publication URI: http://dx.doi.org/10.1007/978-3-319-06200-6_18

Type: Book Chapter

Book Title: NASA Formal Methods (2014)

Page Reference: 230-245

ISBN: 978-3-319-06199-3