Mapping DAGs on Heterogeneous Platforms Using Logic-Based Benders Decompostion

Efficient mapping of DAGs on heterogeneous multicore platforms is a key component for modern embedded applications. An approach based on the Benders decomposition principle that uses a heuristic pre-solver and Integer Linear and Constraint Programming methods to find proven-optimal solutions is introduced. We present multiple cuts generation schemes, that improve the performance of the solution process, and extensive experimental results, that show significant speedups compared to the pure ILP-based method.