GRace
From MaRDI portal
Software:40559
No author found.
Related Items (3)
Formal verification of parallel prefix sum and stream compaction algorithms in CUDA ⋮ Checking data-race freedom of GPU kernels, compositionally ⋮ GPUs and chaos: a new true random number generator
This page was built for software: GRace
