Scheduling of dynamic dataflow programs with model checking

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]

Authors

Johan Ersfolk

This author has not been identified. Look up 'Johan Ersfolk' in Google

Ghislain Roquier

This author has not been identified. Look up 'Ghislain Roquier' in Google

Fareed Jokhio

This author has not been identified. Look up 'Fareed Jokhio' in Google

Johan Lilius

This author has not been identified. Look up 'Johan Lilius' in Google

Marco Mattavelli

This author has not been identified. Look up 'Marco Mattavelli' in Google