Loading...
Please wait, while we are loading the content...
Similar Documents
Proceedings of the 11th International Workshop on Automated Verification of Critical Systems
| Content Provider | Semantic Scholar |
|---|---|
| Author | Bendisposto, Jens Jones, C. Birk Leuschel, Michael Romanovsky, Alexander |
| Copyright Year | 2011 |
| Abstract | I present a tutorial overview demonstrating the key technique used by GPUVerify, a static verification tool for graphics processing unit (GPU) kernels. The technique is a method for translating a massively parallel GPU kernel into a sequential program such that correctness of the sequential program implies data race-freedom of the parallel kernel. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://fmt.cs.utwente.nl/conferences/avocs2014/AVoCS2014Proceedings.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Proceeding |