Johan Ersfolk, Ghislain Roquier, Fareed Jokhio, Johan Lilius, Marco Mattavelli. Scheduling of dynamic dataflow programs with model checking. In Proceedings of the IEEE Workshop on Signal Processing Systems, SiPS 2011, October 4-7, 2011, Beirut, Lebanon. pages 37-42, IEEE, 2011. [doi]
@inproceedings{ErsfolkRJLM11,
title = {Scheduling of dynamic dataflow programs with model checking},
author = {Johan Ersfolk and Ghislain Roquier and Fareed Jokhio and Johan Lilius and Marco Mattavelli},
year = {2011},
doi = {10.1109/SiPS.2011.6088946},
url = {http://dx.doi.org/10.1109/SiPS.2011.6088946},
researchr = {https://researchr.org/publication/ErsfolkRJLM11},
cites = {0},
citedby = {0},
pages = {37-42},
booktitle = {Proceedings of the IEEE Workshop on Signal Processing Systems, SiPS 2011, October 4-7, 2011, Beirut, Lebanon},
publisher = {IEEE},
isbn = {978-1-4577-1920-2},
}