Symbolic polynomial maximization over convex sets and its application to memory requirement estimation

Philippe Clauss 1 Federico Javier Fernández 2 Diego Garbervetsky 2 Sven Verdoolaege 3
1 CAMUS - Compilation pour les Architectures MUlti-coeurS
LSIIT - Laboratoire des Sciences de l'Image, de l'Informatique et de la Télédétection, Inria Nancy - Grand Est
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.
Type de document :
Article dans une revue
IEEE Transactions on Very Large Scale Integration (VLSI) Systems, IEEE, 2009, 17 (8), pp.983-996. 〈10.1109/TVLSI.2008.2002049〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00504617
Contributeur : Philippe Clauss <>
Soumis le : mardi 20 juillet 2010 - 17:05:16
Dernière modification le : mercredi 22 août 2018 - 15:00:01

Lien texte intégral

Identifiants

Collections

Citation

Philippe Clauss, Federico Javier Fernández, Diego Garbervetsky, Sven Verdoolaege. Symbolic polynomial maximization over convex sets and its application to memory requirement estimation. IEEE Transactions on Very Large Scale Integration (VLSI) Systems, IEEE, 2009, 17 (8), pp.983-996. 〈10.1109/TVLSI.2008.2002049〉. 〈inria-00504617〉

Partager

Métriques

Consultations de la notice

235