Oclgrind

swMATH41696MaRDI QIDQ1353390FDOQ1353390

Author name not available (Why is that?)

Source code repository: https://github.com/jrprice/Oclgrind

Cited In (1)

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

This page was built for software: Oclgrind