Seghir R, Loechner V. Memory optimization by counting points in integer transformations of parametric polytopes. Proceedings of the 2006 international conference on Compilers, architecture and synthesis for embedded systems. 2006 :74-82.