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

Mohsen Safari Marieke Huisman

Published in: Theor. Comput. Sci. (2022)

Keyphrases

formal verification
data structure
parallel implementation
times faster
learning algorithm
model checking
parallel computing
depth first search
data streams
orders of magnitude
parallel architectures
parallel implementations