Algorithm Model

Model driven from SynDEx

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