Accelerating Nested Data Parallelism: Preserving Regularity.

Lars B. van den Haak Trevor L. McDonell Gabriele K. Keller Ivo Gabe de Wolff

Published in: Euro-Par (2020)

Keyphrases

data parallelism
combinatorial search
parallel processing
parallel programming
distributed computing
distributed memory
shared memory
search space
database
search algorithm
software engineering
logic programs
theorem proving
combinatorial problems