GRace

swMATH28845MaRDI QIDQ40559FDOQ40559

Author name not available (Why is that?)

Official website: https://dl.acm.org/citation.cfm?id=2038037.1941574

Cited In (16)

• 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
• GPUs and chaos: a new true random number generator
• KLEE-FP
• Gunrock
• BARRACUDA
• CURD
• GMRace
• Simulee
• Oclgrind

This page was built for software: GRace