Many-Core Scheduling of Data Parallel Applications Using SMT Solvers.

Pranav Tendulkar, Peter Poplavko, Ioannis Galanommatis, Oded Maler

Browse the full DSD paper archive.