Transforming to time and space
Using Data Dependencies, find T
- T is bijection and monotonic
- Since T is a bijection, the volume of the iteration space remains constant
- Since T is monotonic, it respects data dependencies.
T defines a mapping of the iteration space into a time component, ?, and a space component, S.