Dynamic - Constraint Systems
Compilation and execution of constraint systems will be the
subject of a later lecture. But we will show an example.
Static: (and Communication limited) - Cellular Automata
Assume a thread per cell. (Fixed number of threads.)
Each cell communicates only with its nearest neighbors on each cycle.
Languages Based on Fully Implicit MOPCs