Dataflow Programs Analysis and Optimization Using Model Predictive Control Techniques - Two Examples of Bounded Buffer Scheduling: Deadlock Avoidance and Deadlock Recovery Strategies.
Massimo CanaleSimone Casale BrunetEndri BezatiMarco MattavelliJörn W. JanneckPublished in: J. Signal Process. Syst. (2016)