Modular static scheduling of synchronous data-flow networks
Marc Pouzet, Pascal Raymond · 2009
This paper addresses the question of producing modular sequential imperative code from synchronous data-flow networks. Precisely, given a system with several input and output flows, how to decompose it into a minimal number of sub-systems executed atomically and statically scheduled without restricting possible feedback loops between input and output?