Cite
Formal verification of parallel prefix sum and stream compaction algorithms in CUDA.
MLA
Safari, Mohsen, and Marieke Huisman. “Formal Verification of Parallel Prefix Sum and Stream Compaction Algorithms in CUDA.” Theoretical Computer Science, vol. 912, Apr. 2022, pp. 81–98. EBSCOhost, https://doi.org/10.1016/j.tcs.2022.02.027.
APA
Safari, M., & Huisman, M. (2022). Formal verification of parallel prefix sum and stream compaction algorithms in CUDA. Theoretical Computer Science, 912, 81–98. https://doi.org/10.1016/j.tcs.2022.02.027
Chicago
Safari, Mohsen, and Marieke Huisman. 2022. “Formal Verification of Parallel Prefix Sum and Stream Compaction Algorithms in CUDA.” Theoretical Computer Science 912 (April): 81–98. doi:10.1016/j.tcs.2022.02.027.