Pranav Tendulkar, Peter Poplavko, Ioannis Galanommatis, Oded Maler. Many-Core Scheduling of Data Parallel Applications Using SMT Solvers. In 17th Euromicro Conference on Digital System Design, DSD 2014, Verona, Italy, August 27-29, 2014. pages 615-622, IEEE, 2014. [doi]
Abstract is missing.