Title: Symbolic polynomial maximization over convex sets and its application to memory requirement estimation
Authors: Clauss, Philippe ×
Fernandez, Federico Javier
Garbervetsky, Diego
Verdoolaege, Sven #
Issue Date: Aug-2009
Publisher: Institute of Electrical and Electronics Engineers
Series Title: IEEE Transactions on Very Large Scale Integration (VLSI) Systems vol:17 issue:8 pages:983-996
Article number: TVLSI-00677-2007.R2
Abstract: Memory requirement estimation is an important issue in the development
of embedded systems, since memory directly influences performance, cost
and power consumption. It is therefore crucial to have tools that
automatically compute accurate estimates of the memory
requirements of programs to better control the development process and avoid some
catastrophic execution exceptions.
Many important
memory issues can be expressed as the problem of maximizing a parametric polynomial
defined over a parametric convex domain.
Bernstein expansion is a technique that has been used
to compute upper bounds on polynomials defined over intervals
and parametric ``boxes''.
In this paper, we propose an extension of this theory
to more general parametric convex domains and illustrate
its applicability to the resolution of memory issues with
several application examples.
Description: See
for a related presentation.
ISSN: 1063-8210
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:
File Description Status SizeFormat
text.pdfMain article Published 282KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science