Formal verification of parallel prefix sum and stream compaction algorithms in CUDA

From MaRDI portal
Publication:2120963