An approach to multicore parallelism using functional programming: A case study based on Presburger Arithmetic
Propose the use of Directed Acyclic Graph (DAG) model for multicore parallelism. Obtain good speedups for Cooper's algorithm and the Omega Test. The parallelization process is generic enough to apply to other tree algorithms. Similar results for parallelization of FourierMotzkin elimination would suffice.
multicore parallelism functional programming presburger arithmetic decision procedure