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]
@inproceedings{TendulkarPGM14,
title = {Many-Core Scheduling of Data Parallel Applications Using SMT Solvers},
author = {Pranav Tendulkar and Peter Poplavko and Ioannis Galanommatis and Oded Maler},
year = {2014},
doi = {10.1109/DSD.2014.10},
url = {http://dx.doi.org/10.1109/DSD.2014.10},
researchr = {https://researchr.org/publication/TendulkarPGM14},
cites = {0},
citedby = {0},
pages = {615-622},
booktitle = {17th Euromicro Conference on Digital System Design, DSD 2014, Verona, Italy, August 27-29, 2014},
publisher = {IEEE},
}