@inproceedings{TPM5,
title = {Pipelined Scheduling of Acyclic SDF Graphs using SMT Solvers },
author = {Tendulkar, Pranav and Poplavko, Peter and Maler, Oded},
year = {2015},
booktitle = {Investigating Dataflow in Embedded computing Architectures IDEA},
team = {TEMPO, Other},
}