Computer-Aided Design for Energy Optimization 11
integer coordinates) and the more recent advance Barvinok polynomial-time
algorithm, computing the vertices of a polytope from its hyperplane represen-
tation, elimination of redundant inequalities.
The energy-aware optimization of the foreground memory organization will
be addressed in Chapter 5.
Historically, the research for the evaluation of the data storage requirements
can be classified in five categories: (1) memory size estimation methods for pro-
cedural, nonparametric, specifications—where the loop structure and sequence
of instructions induce the (fixed) execution ordering; (2) memory size estima-
tion methods for non-procedural, non-parametric, specifications—where the
execution ordering is still ...