Author:
Bardsley Ethel,Donaldson Alastair F.
Publisher
Springer International Publishing
Reference19 articles.
1. AMD, Inc.: AMD graphics cores next (GCN) architecture, white paper (2012)
2. Lecture Notes in Computer Science;M. Barnett,2006
3. Betts, A., Chong, N., Donaldson, A.F., Qadeer, S., Thomson, P.: GPUVerify: a verifier for GPU kernels. In: OOPSLA (2012)
4. Lecture Notes in Computer Science;W.-F. Chiang,2013
5. Lecture Notes in Computer Science;P. Collingbourne,2012
Cited by
23 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Memory access protocols: certified data-race freedom for GPU kernels;Formal Methods in System Design;2023-05-26
2. iGUARD;Proceedings of the ACM SIGOPS 28th Symposium on Operating Systems Principles CD-ROM;2021-10-26
3. Deterministic Atomic Buffering;2020 53rd Annual IEEE/ACM International Symposium on Microarchitecture (MICRO);2020-10
4. ScoRD: A Scoped Race Detector for GPUs;2020 ACM/IEEE 47th Annual International Symposium on Computer Architecture (ISCA);2020-05
5. Reproducibility of Deep CNN for Biomedical Image Processing Across Frameworks and Architectures;2019 27th European Signal Processing Conference (EUSIPCO);2019-09