{"id":"https://openalex.org/W2056338311","doi":"https://doi.org/10.1109/pact.2011.69","title":"Modeling and Performance Evaluation of TSO-Preserving Binary Optimization","display_name":"Modeling and Performance Evaluation of TSO-Preserving Binary Optimization","publication_year":2011,"publication_date":"2011-10-01","ids":{"openalex":"https://openalex.org/W2056338311","doi":"https://doi.org/10.1109/pact.2011.69","mag":"2056338311"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/pact.2011.69","pdf_url":null,"source":{"id":"https://openalex.org/S4306419751","display_name":"International Conference on Parallel Architectures and Compilation Techniques","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"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},"type":"article","type_crossref":"proceedings-article","indexed_in":["crossref"],"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/A5100417009","display_name":"Cheng Wang","orcid":"https://orcid.org/0000-0002-5881-7756"},"institutions":[{"id":"https://openalex.org/I1343180700","display_name":"Intel (United States)","ror":"https://ror.org/01ek73717","country_code":"US","type":"company","lineage":["https://openalex.org/I1343180700"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Cheng Wang","raw_affiliation_strings":["Microprocessor & Program. Res., Intel Labs., Santa Clara, CA, USA"],"affiliations":[{"raw_affiliation_string":"Microprocessor & Program. Res., Intel Labs., Santa Clara, CA, USA","institution_ids":["https://openalex.org/I1343180700"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101174906","display_name":"Youfeng Wu","orcid":null},"institutions":[{"id":"https://openalex.org/I1343180700","display_name":"Intel (United States)","ror":"https://ror.org/01ek73717","country_code":"US","type":"company","lineage":["https://openalex.org/I1343180700"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Youfeng Wu","raw_affiliation_strings":["Microprocessor & Program. Res., Intel Labs., Santa Clara, CA, USA"],"affiliations":[{"raw_affiliation_string":"Microprocessor & Program. Res., Intel Labs., Santa Clara, CA, USA","institution_ids":["https://openalex.org/I1343180700"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.87,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":5,"citation_normalized_percentile":{"value":0.344853,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":80,"max":81},"biblio":{"volume":"17","issue":null,"first_page":"383","last_page":"392"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":1.0,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":1.0,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9972,"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/T10829","display_name":"Interconnection Networks and Systems","score":0.9969,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/program-optimization","display_name":"Program optimization","score":0.55875427}],"concepts":[{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.7367921},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.69358},{"id":"https://openalex.org/C139571649","wikidata":"https://www.wikidata.org/wiki/Q1156793","display_name":"Program optimization","level":3,"score":0.55875427},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.529572},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.50958157},{"id":"https://openalex.org/C137836250","wikidata":"https://www.wikidata.org/wiki/Q984063","display_name":"Optimization problem","level":2,"score":0.4574205},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.38616514},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.16726369},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.12920207},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.08118987},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.07581556},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/pact.2011.69","pdf_url":null,"source":{"id":"https://openalex.org/S4306419751","display_name":"International Conference on Parallel Architectures and Compilation Techniques","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"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}],"best_oa_location":null,"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":37,"referenced_works":["https://openalex.org/W1525350307","https://openalex.org/W1541537810","https://openalex.org/W1543865847","https://openalex.org/W1839735699","https://openalex.org/W1967564401","https://openalex.org/W1978037372","https://openalex.org/W2054739713","https://openalex.org/W2091085450","https://openalex.org/W2096121393","https://openalex.org/W2099018580","https://openalex.org/W2099336824","https://openalex.org/W2101811680","https://openalex.org/W2104932676","https://openalex.org/W2105900173","https://openalex.org/W2105945277","https://openalex.org/W2116454140","https://openalex.org/W2127731413","https://openalex.org/W2127959721","https://openalex.org/W2130766965","https://openalex.org/W2134633067","https://openalex.org/W2137443348","https://openalex.org/W2148947321","https://openalex.org/W2149179427","https://openalex.org/W2152885346","https://openalex.org/W2153478046","https://openalex.org/W2157074753","https://openalex.org/W2157075925","https://openalex.org/W2161992906","https://openalex.org/W4213347330","https://openalex.org/W4231002400","https://openalex.org/W4239813889","https://openalex.org/W4241876197","https://openalex.org/W4250000334","https://openalex.org/W4250948891","https://openalex.org/W4251361517","https://openalex.org/W4251862023","https://openalex.org/W4251987281"],"related_works":["https://openalex.org/W4304185162","https://openalex.org/W3125207769","https://openalex.org/W3006282800","https://openalex.org/W2949684406","https://openalex.org/W2889543163","https://openalex.org/W2577825108","https://openalex.org/W2462100143","https://openalex.org/W2061685118","https://openalex.org/W1770503332","https://openalex.org/W1603736412"],"abstract_inverted_index":{"Program":[0],"optimization":[1,27,51,65,83,115],"on":[2,29],"multi-core":[3],"systems":[4],"must":[5],"preserve":[6],"the":[7,30,39,69,97,107,112,118],"program":[8],"memory":[9,33,85],"consistency.":[10],"This":[11],"paper":[12],"studies":[13],"TSO-preserving":[14,25,49,73,92,110],"binary":[15,26,50,64,82,114],"optimization.":[16,74],"We":[17,59,75],"introduce":[18],"a":[19,42,62,102],"novel":[20],"approach":[21],"to":[22,47,67,101,121],"formally":[23],"model":[24],"based":[28],"formal":[31],"TSO":[32],"model.":[34],"The":[35],"major":[36],"contribution":[37],"of":[38,72],"modeling":[40],"is":[41],"sound":[43],"and":[44],"complete":[45],"algorithm":[46],"verify":[48],"with":[52],"O(N":[53],"2":[56],")":[57],"complexity.":[58],"also":[60],"developed":[61],"dynamic":[63,81,113],"system":[66],"evaluate":[68],"performance":[70,89,98,120],"impact":[71],"show":[76],"in":[77],"our":[78],"experiments":[79],"that,":[80],"without":[84],"optimizations":[86,93],"can":[87,94,116],"improve":[88,96,117],"by":[90,99],"8.1%.":[91],"further":[95],"4.8%":[100],"total":[103],"12.9%.":[104],"Without":[105],"considering":[106],"restriction":[108],"for":[109],"optimizations,":[111],"overall":[119],"20.4%.":[122]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2056338311","counts_by_year":[{"year":2013,"cited_by_count":4},{"year":2012,"cited_by_count":1}],"updated_date":"2024-12-14T04:53:01.429101","created_date":"2016-06-24"}