{"id":"https://openalex.org/W2139791106","doi":"https://doi.org/10.1109/fmcad.2007.27","title":"Global Optimization of Compositional Systems","display_name":"Global Optimization of Compositional Systems","publication_year":2007,"publication_date":"2007-11-11","ids":{"openalex":"https://openalex.org/W2139791106","doi":"https://doi.org/10.1109/fmcad.2007.27","mag":"2139791106"},"language":"en","primary_location":{"id":"mag:2139791106","doi":"https://doi.org/10.1109/fmcad.2007.27","is_oa":false,"landing_page_url":"http://ieeexplore.ieee.org/document/4401987/","pdf_url":null,"source":{"id":"https://openalex.org/S4306418434","display_name":"Formal Methods in Computer-Aided Design","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"Formal Methods in Computer-Aided Design","raw_type":null},"volume":null,"type":"article","indexed_in":[],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5010806171","display_name":"Fadi A. Zaraket","orcid":"https://orcid.org/0000-0001-5909-6375","observed_orcids":["https://orcid.org/0000-0001-5909-6375"]},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Fadi A. Zaraket","raw_affiliation_strings":["University of Texas at Austin#TAB#"],"raw_orcid":"https://orcid.org/0000-0001-5909-6375","affiliations":[{"raw_affiliation_string":"University of Texas at Austin#TAB#","institution_ids":["https://openalex.org/I86519309"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034065661","display_name":"John Pape","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"John Pape","raw_affiliation_strings":["University of Texas at Austin#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Texas at Austin#TAB#","institution_ids":["https://openalex.org/I86519309"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112689277","display_name":"Adnan Aziz","orcid":"https://orcid.org/0009-0003-5855-6861","observed_orcids":["https://orcid.org/0009-0003-5855-6861"]},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Adnan Aziz","raw_affiliation_strings":["University of Texas at Austin#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Texas at Austin#TAB#","institution_ids":["https://openalex.org/I86519309"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5108226903","display_name":"Magarida Jacome","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Magarida Jacome","raw_affiliation_strings":["University of Texas at Austin#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Texas at Austin#TAB#","institution_ids":["https://openalex.org/I86519309"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5102146282","display_name":"Sarfraz Khurshid D","orcid":"https://orcid.org/0009-0009-7424-7819","observed_orcids":["https://orcid.org/0009-0009-7424-7819"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Sarfraz Khurshid","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.18646689,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"93","last_page":"100"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9961000084877014,"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"}},"topics":[{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9961000084877014,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.0008999999845400453,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.0008999999845400453,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/global-optimization","display_name":"global optimization","score":0.7360000014305115},{"id":"https://openalex.org/keywords/compositional-systems","display_name":"compositional systems","score":0.777999997138977},{"id":"https://openalex.org/keywords/embedded-systems","display_name":"embedded systems","score":0.9350000023841858},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"symbolic execution","score":0.9430000185966492},{"id":"https://openalex.org/keywords/invariants","display_name":"invariants","score":0.734000027179718},{"id":"https://openalex.org/keywords/flow-analysis","display_name":"flow analysis","score":0.7279999852180481},{"id":"https://openalex.org/keywords/static-analysis","display_name":"static analysis","score":0.7319999933242798},{"id":"https://openalex.org/keywords/cose","display_name":"COSE","score":0.6990000009536743}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8522738218307495},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.7757604122161865},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.6771603226661682},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.6034672856330872},{"id":"https://openalex.org/C190902152","wikidata":"https://www.wikidata.org/wiki/Q1325106","display_name":"Optimizing compiler","level":3,"score":0.6016026735305786},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5057880878448486},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.485590398311615},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4407127797603607},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.42837095260620117},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.37656986713409424},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3437475562095642},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.3336208760738373},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:2139791106","doi":"https://doi.org/10.1109/fmcad.2007.27","is_oa":false,"landing_page_url":"http://ieeexplore.ieee.org/document/4401987/","pdf_url":null,"source":{"id":"https://openalex.org/S4306418434","display_name":"Formal Methods in Computer-Aided Design","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"Formal Methods in Computer-Aided Design","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"sustainable_development_goals_aurora":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W1511688816","https://openalex.org/W1515278398","https://openalex.org/W1529238267","https://openalex.org/W1533210035","https://openalex.org/W1549820563","https://openalex.org/W1607782211","https://openalex.org/W1720848645","https://openalex.org/W1783770095","https://openalex.org/W2003370853","https://openalex.org/W2060658093","https://openalex.org/W2095565544","https://openalex.org/W2099796862","https://openalex.org/W2101512909","https://openalex.org/W2101902520","https://openalex.org/W2108012986","https://openalex.org/W2115309705","https://openalex.org/W2120993512","https://openalex.org/W2143721527","https://openalex.org/W2146541392","https://openalex.org/W2148740615","https://openalex.org/W2150408604","https://openalex.org/W2152016786","https://openalex.org/W2152773289","https://openalex.org/W2154476363","https://openalex.org/W2166720067","https://openalex.org/W2169687938","https://openalex.org/W2171771385"],"related_works":["https://openalex.org/W2164617852","https://openalex.org/W2000059748","https://openalex.org/W2061716691","https://openalex.org/W2294053719","https://openalex.org/W2114053529","https://openalex.org/W2309086850","https://openalex.org/W1969991578","https://openalex.org/W3184391514","https://openalex.org/W2129102442","https://openalex.org/W3126382921","https://openalex.org/W1989561283","https://openalex.org/W3173462777","https://openalex.org/W3135277123","https://openalex.org/W2157099283","https://openalex.org/W2406831794","https://openalex.org/W2124205315","https://openalex.org/W2165515557","https://openalex.org/W2183919453","https://openalex.org/W2157555004","https://openalex.org/W130456984"],"abstract_inverted_index":{"Embedded":[0],"systems":[1],"typically":[2],"consist":[3],"of":[4,7,10,41,67,83,86],"a":[5,8,39],"composition":[6,85],"set":[9],"hardware":[11],"and":[12,95,134],"software":[13],"IP":[14],"modules.":[15],"Each":[16],"module":[17],"is":[18,45],"heavily":[19],"optimized":[20],"by":[21,102],"itself.":[22],"However,":[23],"when":[24],"these":[25,72,125],"modules":[26,78],"are":[27,35,96,112],"composed":[28],"together,":[29],"significant":[30,136],"additional":[31],"opportunities":[32],"for":[33],"optimizations":[34,91,122,137],"introduced":[36],"because":[37],"only":[38],"subset":[40],"the":[42,68,84,87,131],"entire":[43],"functionality":[44],"actually":[46],"used.":[47],"We":[48,57,70,114,127],"propose":[49],"COSE-a":[50],"technique":[51],"to":[52,61,76,120,124],"jointly":[53],"optimize":[54],"such":[55,106],"designs.":[56],"use":[58],"symbolic":[59],"execution":[60],"compute":[62],"invariants":[63,73],"in":[64,130],"each":[65],"component":[66],"design.":[69,88],"propagate":[71],"as":[74,107],"constraints":[75],"other":[77],"using":[79,138],"global":[80],"flow":[81],"analysis":[82,118],"This":[89],"captures":[90],"that":[92],"go":[93],"beyond,":[94],"qualitatively":[97],"different":[98],"than,":[99],"those":[100],"achievable":[101],"compiler":[103],"optimization":[104],"techniques":[105,119],"common":[108],"subexpression":[109],"elimination,":[110],"which":[111],"localized.":[113],"again":[115],"employ":[116],"static":[117],"perform":[121],"subject":[123],"constraints.":[126],"implemented":[128],"COSE":[129],"Metropolis":[132],"platform":[133],"achieved":[135],"reasonable":[139],"computational":[140],"resources.":[141]},"counts_by_year":[],"updated_date":"2026-10-14T16:39:01.820549","created_date":"2025-10-10T00:00:00"}