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]
Abstract is missing.