@inproceedings{TPG+4,
title = { Many-Core Scheduling of Data Parallel Applications Using {SMT} Solvers },
author = {Tendulkar, Pranav and Poplavko, Peter and Galanommatis, Ioannis and Maler, Oded},
year = {2014},
booktitle = {17th Euromicro Conference on Digital System Design, {DSD} 2014, Verona, Italy, August 27-29, 2014},
crossref = {DBLP:conf/dsd/2014},
pages = {615--622},
team = {TEMPO, Other},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/dsd/TendulkarPGM14},
bibsource = {dblp computer science bibliography, http://dblp.org},
}
