Login / Signup
Converting data-parallelism to task-parallelism by rewrites: purely functional programs across multiple GPUs.
Bo Joel Svensson
Michael Vollmer
Eric Holk
Trevor L. McDonell
Ryan R. Newton
Published in:
FHPC@ICFP (2015)
Keyphrases
</>
data parallelism
parallel processing
parallel programming
functional programs
combinatorial search
distributed memory
shared memory
parallel computing
parallel algorithm
distributed computing
parallel computation
general purpose
database
theorem proving
programming environment