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
Citace podle Chicago (17th ed.)Safari, Mohsen, a Marieke Huisman. "Formal Verification of Parallel Prefix Sum and Stream Compaction Algorithms in CUDA." Theoretical Computer Science 912 (2022): 81-98. https://doi.org/10.1016/j.tcs.2022.02.027.
Citace podle MLA (9th ed.)Safari, Mohsen, a Marieke Huisman. "Formal Verification of Parallel Prefix Sum and Stream Compaction Algorithms in CUDA." Theoretical Computer Science, vol. 912, 2022, pp. 81-98, https://doi.org/10.1016/j.tcs.2022.02.027.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..