Streaming nested data parallelism on multicores.
Frederik M. MadsenAndrzej FilinskiPublished in: FHPC@ICFP (2016)
Keyphrases
- data parallelism
- combinatorial search
- parallel processing
- distributed computing
- distributed memory
- data streams
- parallel programming
- streaming data
- shared memory
- stream processing
- search space
- heuristic search
- efficient implementation
- theorem proving
- real time
- search strategy
- software engineering
- evolutionary algorithm
- search algorithm