@article{clauss:inria-00504617, TITLE = {{Symbolic polynomial maximization over convex sets and its application to memory requirement estimation}}, AUTHOR = {Clauss, Philippe and Fern{\'a}ndez, Federico Javier and Garbervetsky, Diego and Verdoolaege, Sven}, URL = {https://inria.hal.science/inria-00504617}, JOURNAL = {{IEEE Transactions on Very Large Scale Integration (VLSI) Systems}}, PUBLISHER = {{IEEE}}, VOLUME = {17}, NUMBER = {8}, PAGES = {983-996}, YEAR = {2009}, MONTH = Aug, DOI = {10.1109/TVLSI.2008.2002049}, HAL_ID = {inria-00504617}, HAL_VERSION = {v1}, }