Many-Core Scheduling of Data Parallel Applications Using SMT Solvers

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]

Authors

Pranav Tendulkar

This author has not been identified. Look up 'Pranav Tendulkar' in Google

Peter Poplavko

This author has not been identified. Look up 'Peter Poplavko' in Google

Ioannis Galanommatis

This author has not been identified. Look up 'Ioannis Galanommatis' in Google

Oded Maler

This author has not been identified. Look up 'Oded Maler' in Google