Pages that link to "Item:Q5326291"
From MaRDI portal
The following pages link to Interleaving and Lock-Step Semantics for Analysis and Verification of GPU Kernels (Q5326291):
Displaying 8 items.
- GPUVerify (Q23206) (← links)
- Checking data-race freedom of GPU kernels, compositionally (Q832190) (← links)
- Automated verification of functional correctness of race-free GPU programs (Q1703009) (← links)
- An optimal \(k\)-exclusion real-time locking protocol motivated by multi-GPU systems (Q2251367) (← links)
- A Hoare Logic for SIMT Programs (Q2937782) (← links)
- Hardware Support for Concurrent Detection of Multiple Concurrency Bugs on Fused CPU-GPU Architectures (Q2985258) (← links)
- A Hoare Logic for GPU Kernels (Q5278201) (← links)
- Memory access protocols: certified data-race freedom for GPU kernels (Q6632202) (← links)