GRace
From MaRDI portal
Cited in
(17)- Improved Scaling for Fast Mode of Ozaki Scheme II
- Checking data-race freedom of GPU kernels, compositionally
- Formal verification of parallel prefix sum and stream compaction algorithms in CUDA
- CMQV+
- GPUVerify
- GASPRNG
- PRAND
- CUDPP
- GKLEE
- KLEE-FP
- Gunrock
- BARRACUDA
- CURD
- GMRace
- Simulee
- GPUs and chaos: a new true random number generator
- Oclgrind
This page was built for software: GRace
