Liveness evaluation of a cyclo-static DataFlow graph
Mohamed Benazouz, Alix Munier-Kordon, Thomas Hujsa, Bruno Bodin · 2013
Cyclo-Static DataFlow Graphs (CSDFG in short) is a formalism commonly used to model parallel applications composed by actors communicating through buffers. The liveness of a CSDFG ensures that all actors can be executed infinitely often. This property is clearly fundamental for the design of embedded applications.