Wed Jul 2 21:58:43 CEST 2008

tile problem

Suppose it is possible to obtain a data-flow graph which maps inputs
to outputs. Use this to:

   * create a core loop for infinite data

   * optimize core loop to introduce software pipelining and eliminate
     multiple reads.

   * solve boundary conditions

Maybe it's time to start reading Muchnick ACDI, and combine it with
information from Pierce TAPL and the vague idea of Algebra of
Programs + how to use it to perform loop fusion for DSP stream and
image processing.