Skip to content

Automatic Parallelization of Recursive Functions Using Quantifier Elimination.

Akimasa Morihata, Kiminori Matsuzaki

Year2010
ProceedingsFLOPS

Browse the full FLOPS paper archive.