{"id":"https://openalex.org/W2148883119","doi":"https://doi.org/10.1109/tvlsi.2008.2002049","title":"Symbolic Polynomial Maximization Over Convex Sets and Its Application to Memory Requirement Estimation","display_name":"Symbolic Polynomial Maximization Over Convex Sets and Its Application to Memory Requirement Estimation","publication_year":2009,"publication_date":"2009-05-04","ids":{"openalex":"https://openalex.org/W2148883119","doi":"https://doi.org/10.1109/tvlsi.2008.2002049","mag":"2148883119"},"language":"en","primary_location":{"id":"doi:10.1109/tvlsi.2008.2002049","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tvlsi.2008.2002049","pdf_url":null,"source":{"id":"https://openalex.org/S37538908","display_name":"IEEE Transactions on Very Large Scale Integration (VLSI) Systems","issn_l":"1063-8210","issn":["1063-8210","1557-9999"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Very Large Scale Integration (VLSI) Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://lirias.kuleuven.be/handle/123456789/182714","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5069005561","display_name":"Philippe Clauss","orcid":"https://orcid.org/0000-0002-5759-9195"},"institutions":[{"id":"https://openalex.org/I4210100283","display_name":"Laboratoire des Sciences de l'Ing\u00e9nieur, de l'Informatique et de l'Imagerie","ror":"https://ror.org/00k4e5n71","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I2801509770","https://openalex.org/I4210095849","https://openalex.org/I4210100283","https://openalex.org/I4210159245","https://openalex.org/I68947357"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"P. Clauss","raw_affiliation_strings":["Laboratory ICPS-LSIIT, Universit\u00e9 Louis Pasteur, Illkirch-Graffenstaden, France","Lab. ICPS-LSIIT, Univ. Louis Pasteur, Illkirch, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Laboratory ICPS-LSIIT, Universit\u00e9 Louis Pasteur, Illkirch-Graffenstaden, France","institution_ids":["https://openalex.org/I4210100283"]},{"raw_affiliation_string":"Lab. ICPS-LSIIT, Univ. Louis Pasteur, Illkirch, France","institution_ids":["https://openalex.org/I4210100283"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051617745","display_name":"F.J. Fernandez","orcid":null},"institutions":[{"id":"https://openalex.org/I24354313","display_name":"Universidad de Buenos Aires","ror":"https://ror.org/0081fs513","country_code":"AR","type":"education","lineage":["https://openalex.org/I24354313"]},{"id":"https://openalex.org/I53241121","display_name":"Fundaci\u00f3n Ciencias Exactas y Naturales","ror":"https://ror.org/05rxmkq09","country_code":"AR","type":"nonprofit","lineage":["https://openalex.org/I53241121"]}],"countries":["AR"],"is_corresponding":false,"raw_author_name":"F.J. Fernandez","raw_affiliation_strings":["Departamento de Computaci\u00f3n, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires, Buenos Aires, Argentina","Departamento de Computaci\u00f3n, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires, Buenos Aires, Argentina#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Departamento de Computaci\u00f3n, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires, Buenos Aires, Argentina","institution_ids":["https://openalex.org/I53241121","https://openalex.org/I24354313"]},{"raw_affiliation_string":"Departamento de Computaci\u00f3n, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires, Buenos Aires, Argentina#TAB#","institution_ids":["https://openalex.org/I53241121","https://openalex.org/I24354313"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047743678","display_name":"Diego Garbervetsky","orcid":"https://orcid.org/0000-0003-4180-7196"},"institutions":[{"id":"https://openalex.org/I24354313","display_name":"Universidad de Buenos Aires","ror":"https://ror.org/0081fs513","country_code":"AR","type":"education","lineage":["https://openalex.org/I24354313"]},{"id":"https://openalex.org/I53241121","display_name":"Fundaci\u00f3n Ciencias Exactas y Naturales","ror":"https://ror.org/05rxmkq09","country_code":"AR","type":"nonprofit","lineage":["https://openalex.org/I53241121"]}],"countries":["AR"],"is_corresponding":false,"raw_author_name":"D. Garbervetsky","raw_affiliation_strings":["Departamento de Computaci\u00f3n, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires, Buenos Aires, Argentina","Departamento de Computaci\u00f3n, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires, Buenos Aires, Argentina#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Departamento de Computaci\u00f3n, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires, Buenos Aires, Argentina","institution_ids":["https://openalex.org/I53241121","https://openalex.org/I24354313"]},{"raw_affiliation_string":"Departamento de Computaci\u00f3n, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires, Buenos Aires, Argentina#TAB#","institution_ids":["https://openalex.org/I53241121","https://openalex.org/I24354313"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5055650706","display_name":"Sven Verdoolaege","orcid":"https://orcid.org/0000-0003-3179-2736"},"institutions":[{"id":"https://openalex.org/I121797337","display_name":"Leiden University","ror":"https://ror.org/027bh9e22","country_code":"NL","type":"education","lineage":["https://openalex.org/I121797337"]},{"id":"https://openalex.org/I99464096","display_name":"KU Leuven","ror":"https://ror.org/05f950310","country_code":"BE","type":"education","lineage":["https://openalex.org/I99464096"]}],"countries":["BE","NL"],"is_corresponding":false,"raw_author_name":"S. Verdoolaege","raw_affiliation_strings":["Department of Computer Science, Katholieke Universiteit Leuven, Leuven, Belgium","Leiden Institute of Advanced Computer Science, Universiteit Leiden, Leiden, Netherlands","Leiden Institute of Advanced Computer Science, Universiteit Leiden, Leiden, The Netherlands and Department of Computer Science, Katholieke Universiteit Leuven, Leuven, Belgium"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Katholieke Universiteit Leuven, Leuven, Belgium","institution_ids":["https://openalex.org/I99464096"]},{"raw_affiliation_string":"Leiden Institute of Advanced Computer Science, Universiteit Leiden, Leiden, Netherlands","institution_ids":["https://openalex.org/I121797337"]},{"raw_affiliation_string":"Leiden Institute of Advanced Computer Science, Universiteit Leiden, Leiden, The Netherlands and Department of Computer Science, Katholieke Universiteit Leuven, Leuven, Belgium","institution_ids":["https://openalex.org/I121797337","https://openalex.org/I99464096"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":4.2544,"has_fulltext":false,"cited_by_count":40,"citation_normalized_percentile":{"value":0.94578198,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"17","issue":"8","first_page":"983","last_page":"996"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9966999888420105,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6412525773048401},{"id":"https://openalex.org/keywords/parametric-statistics","display_name":"Parametric statistics","score":0.6284024715423584},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.5472667813301086},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.5185006856918335},{"id":"https://openalex.org/keywords/regular-polygon","display_name":"Regular polygon","score":0.4974224865436554},{"id":"https://openalex.org/keywords/maximization","display_name":"Maximization","score":0.4603898227214813},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.363686203956604},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.23852092027664185}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6412525773048401},{"id":"https://openalex.org/C117251300","wikidata":"https://www.wikidata.org/wiki/Q1849855","display_name":"Parametric statistics","level":2,"score":0.6284024715423584},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.5472667813301086},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.5185006856918335},{"id":"https://openalex.org/C112680207","wikidata":"https://www.wikidata.org/wiki/Q714886","display_name":"Regular polygon","level":2,"score":0.4974224865436554},{"id":"https://openalex.org/C2776330181","wikidata":"https://www.wikidata.org/wiki/Q18358244","display_name":"Maximization","level":2,"score":0.4603898227214813},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.363686203956604},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.23852092027664185},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.1109/tvlsi.2008.2002049","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tvlsi.2008.2002049","pdf_url":null,"source":{"id":"https://openalex.org/S37538908","display_name":"IEEE Transactions on Very Large Scale Integration (VLSI) Systems","issn_l":"1063-8210","issn":["1063-8210","1557-9999"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Very Large Scale Integration (VLSI) Systems","raw_type":"journal-article"},{"id":"pmh:oai:lirias2repo.kuleuven.be:123456789/182714","is_oa":true,"landing_page_url":"https://lirias.kuleuven.be/handle/123456789/182714","pdf_url":null,"source":{"id":"https://openalex.org/S4306401954","display_name":"Lirias (KU Leuven)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I99464096","host_organization_name":"KU Leuven","host_organization_lineage":["https://openalex.org/I99464096"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.517.8341","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.517.8341","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"https://lirias.kuleuven.be/bitstream/123456789/219056/1/text.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.81.9475","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.81.9475","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://icps.u-strasbg.fr/upload/icps-2006-173.pdf","raw_type":"text"},{"id":"pmh:oai:HAL:inria-00504617v1","is_oa":false,"landing_page_url":"https://inria.hal.science/inria-00504617","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 2009, 17 (8), pp.983-996. ⟨10.1109/TVLSI.2008.2002049⟩","raw_type":"Journal articles"},{"id":"pmh:oai:lirias2repo.kuleuven.be:123456789/219056","is_oa":true,"landing_page_url":"https://lirias.kuleuven.be/handle/123456789/219056","pdf_url":null,"source":{"id":"https://openalex.org/S4306401954","display_name":"Lirias (KU Leuven)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I99464096","host_organization_name":"KU Leuven","host_organization_lineage":["https://openalex.org/I99464096"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Transactions on Very Large Scale Integration (VLSI) Systems, vol. 17 (8), Art.No. TVLSI-00677-2007.R2, (983-996)","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"pmh:oai:lirias2repo.kuleuven.be:123456789/182714","is_oa":true,"landing_page_url":"https://lirias.kuleuven.be/handle/123456789/182714","pdf_url":null,"source":{"id":"https://openalex.org/S4306401954","display_name":"Lirias (KU Leuven)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I99464096","host_organization_name":"KU Leuven","host_organization_lineage":["https://openalex.org/I99464096"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/7","display_name":"Affordable and clean energy","score":0.800000011920929}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":68,"referenced_works":["https://openalex.org/W2868025","https://openalex.org/W24190588","https://openalex.org/W37596728","https://openalex.org/W47386445","https://openalex.org/W74033418","https://openalex.org/W213475760","https://openalex.org/W1504751168","https://openalex.org/W1534719102","https://openalex.org/W1551207461","https://openalex.org/W1551844364","https://openalex.org/W1560642162","https://openalex.org/W1572998018","https://openalex.org/W1588092673","https://openalex.org/W1596669356","https://openalex.org/W1597196612","https://openalex.org/W1827587303","https://openalex.org/W1867910373","https://openalex.org/W1974386461","https://openalex.org/W1983134029","https://openalex.org/W1997712902","https://openalex.org/W1998916693","https://openalex.org/W2004094800","https://openalex.org/W2010600508","https://openalex.org/W2011906636","https://openalex.org/W2013981372","https://openalex.org/W2015097690","https://openalex.org/W2032391783","https://openalex.org/W2035974062","https://openalex.org/W2036719919","https://openalex.org/W2055814018","https://openalex.org/W2056280412","https://openalex.org/W2061217545","https://openalex.org/W2068055184","https://openalex.org/W2074068518","https://openalex.org/W2098065779","https://openalex.org/W2098925700","https://openalex.org/W2099611282","https://openalex.org/W2108149083","https://openalex.org/W2108593270","https://openalex.org/W2108956554","https://openalex.org/W2112059128","https://openalex.org/W2115344771","https://openalex.org/W2127163775","https://openalex.org/W2127184104","https://openalex.org/W2128549836","https://openalex.org/W2130219663","https://openalex.org/W2133936484","https://openalex.org/W2147543317","https://openalex.org/W2148883119","https://openalex.org/W2159910937","https://openalex.org/W2162082792","https://openalex.org/W2162500852","https://openalex.org/W2169987756","https://openalex.org/W2171496589","https://openalex.org/W2506054026","https://openalex.org/W2611406955","https://openalex.org/W2615583977","https://openalex.org/W3197271110","https://openalex.org/W3203568064","https://openalex.org/W4206570602","https://openalex.org/W4250983722","https://openalex.org/W4285719527","https://openalex.org/W6601930189","https://openalex.org/W6602984510","https://openalex.org/W6631678986","https://openalex.org/W6678943364","https://openalex.org/W6738229220","https://openalex.org/W7111253331"],"related_works":["https://openalex.org/W2947806671","https://openalex.org/W2390878257","https://openalex.org/W2396122647","https://openalex.org/W2144260821","https://openalex.org/W2136161268","https://openalex.org/W3165943254","https://openalex.org/W2141163797","https://openalex.org/W2037938733","https://openalex.org/W2001839669","https://openalex.org/W2379877967"],"abstract_inverted_index":{"Memory":[0],"requirement":[1],"estimation":[2],"is":[3,23,75],"an":[4,99],"important":[5,53],"issue":[6],"in":[7],"the":[8,35,43,60,115],"development":[9,44],"of":[10,34,38,62,101,117],"embedded":[11],"systems,":[12],"since":[13],"memory":[14,36,54,118],"directly":[15],"influences":[16],"performance,":[17],"cost":[18],"and":[19,46,91,110],"power":[20],"consumption.":[21],"It":[22],"therefore":[24],"crucial":[25],"to":[26,40,82,104,114],"have":[27],"tools":[28],"that":[29,78],"automatically":[30],"compute":[31,83],"accurate":[32],"estimates":[33],"requirements":[37],"programs":[39],"better":[41],"control":[42],"process":[45],"avoid":[47],"some":[48],"catastrophic":[49],"execution":[50],"exceptions.":[51],"Many":[52],"issues":[55,119],"can":[56],"be":[57],"expressed":[58],"as":[59],"problem":[61],"maximizing":[63],"a":[64,69,76],"parametric":[65,70,92,107],"polynomial":[66],"defined":[67,88],"over":[68,89],"convex":[71,108],"domain.":[72],"Bernstein":[73],"expansion":[74],"technique":[77],"has":[79],"been":[80],"used":[81],"upper":[84],"bounds":[85],"on":[86],"polynomials":[87],"intervals":[90],"ldquoboxesrdquo.":[93],"In":[94],"this":[95,102],"paper,":[96],"we":[97],"propose":[98],"extension":[100],"theory":[103],"more":[105],"general":[106],"domains":[109],"illustrate":[111],"its":[112],"applicability":[113],"resolution":[116],"with":[120],"several":[121],"application":[122],"examples.":[123]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":4},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":4}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}