![](/img/cover-not-exists.png)
[ACM Press the Twenty-Fourth International Conference - Providence, RI, USA (2019.04.13-2019.04.17)] Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS '19 - A Formal Analysis of the NVIDIA PTX Memory Consistency Model
Lustig, Daniel, Sahasrabuddhe, Sameer, Giroux, OlivierYear:
2019
DOI:
10.1145/3297858.3304043
File:
PDF, 1.37 MB
2019