Pages that link to "Item:Q832190"
From MaRDI portal
The following pages link to Checking data-race freedom of GPU kernels, compositionally (Q832190):
Displaying 6 items.
- Automated verification of functional correctness of race-free GPU programs (Q1703009) (← links)
- Formal verification of parallel prefix sum and stream compaction algorithms in CUDA (Q2120963) (← links)
- Interleaving and Lock-Step Semantics for Analysis and Verification of GPU Kernels (Q5326291) (← links)
- Static detection of uncoalesced accesses in GPU programs (Q6108441) (← links)
- Preface of the special issue on the conference on computer-aided verification 2020 and 2021 (Q6632193) (← links)
- Memory access protocols: certified data-race freedom for GPU kernels (Q6632202) (← links)