Algorithm Model

Model driven from SynDEx

Data-flow graph: nodes are instructions and edges are data-dependencies

The graph is executed repeatedly: each execution is called an iteration