Affine Nested Loop Programs and their Binary Parameterized Dataflow Graph Counterparts
E. Deprettere, Todor P. Stefanov, Shuvra S. Bhattacharyya, Mainak Sen · 2006
Parameterized static affine nested loop programs can be automatically converted to input-output equivalent Kahn Process Network specifications. These networks turn out to be close relatives of parameterized cyclo-static dataflow graphs. Token production and consumption can be cyclic with a finite number of cycles or finite non-cyclic. Moreover the token production and consumption sequences are binary.