Polyhedral Techniques for Parametric Memory Requirement Estimation
Philippe Clauss, Diego Garbervetsky, Vincent Loechner, Sven Verdoolaege · 2011
Contents 4.1 Estimating Memory Requirements of a Loop Nest . . . . . . . . . . . . . . . . . .118 4.2 The Polyhedral Model of Loop Nests . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .119