Approaching Symbolic Parallelization by Synthesis of Recurrence Decompositions.

Grigory Fedyukovich Rastislav Bodík

Published in: SYNT@CAV (2016)

Keyphrases

texture synthesis
parallel processing
program synthesis
database
shared memory
real time
databases
real world
machine learning
search engine
computer vision
expert systems
relational databases
statistical analysis
symbolic reasoning