{"id":"https://openalex.org/W2018124398","doi":"https://doi.org/10.1145/1958746.1958816","title":"Automatic performance model synthesis from hardware verification models","display_name":"Automatic performance model synthesis from hardware verification models","publication_year":2011,"publication_date":"2011-03-14","ids":{"openalex":"https://openalex.org/W2018124398","doi":"https://doi.org/10.1145/1958746.1958816","mag":"2018124398"},"language":"en","primary_location":{"id":"doi:10.1145/1958746.1958816","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1958746.1958816","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2nd ACM/SPEC International Conference on Performance engineering","raw_type":"proceedings-article"},"type":"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/A5108078280","display_name":"Robert H. Bell","orcid":null},"institutions":[{"id":"https://openalex.org/I4210156936","display_name":"IBM Research - Austin","ror":"https://ror.org/05gjbbg60","country_code":"US","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115","https://openalex.org/I4210156936"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Robert H. Bell","raw_affiliation_strings":["IBM, Austin, TX, USA"],"affiliations":[{"raw_affiliation_string":"IBM, Austin, TX, USA","institution_ids":["https://openalex.org/I4210156936"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054059150","display_name":"M\u00e1ty\u00e1s A. Sustik","orcid":"https://orcid.org/0009-0006-9140-4095"},"institutions":[{"id":"https://openalex.org/I4210156936","display_name":"IBM Research - Austin","ror":"https://ror.org/05gjbbg60","country_code":"US","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115","https://openalex.org/I4210156936"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Matyas Sustik","raw_affiliation_strings":["IBM, Austin, TX, USA"],"affiliations":[{"raw_affiliation_string":"IBM, Austin, TX, USA","institution_ids":["https://openalex.org/I4210156936"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040558128","display_name":"David W. Cummings","orcid":null},"institutions":[{"id":"https://openalex.org/I4210156936","display_name":"IBM Research - Austin","ror":"https://ror.org/05gjbbg60","country_code":"US","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115","https://openalex.org/I4210156936"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"David W. Cummings","raw_affiliation_strings":["IBM, Austin, TX, USA"],"affiliations":[{"raw_affiliation_string":"IBM, Austin, TX, USA","institution_ids":["https://openalex.org/I4210156936"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5017359237","display_name":"J. R. Jackson","orcid":null},"institutions":[{"id":"https://openalex.org/I4210156936","display_name":"IBM Research - Austin","ror":"https://ror.org/05gjbbg60","country_code":"US","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115","https://openalex.org/I4210156936"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jonathan R. Jackson","raw_affiliation_strings":["IBM, Austin, TX, USA"],"affiliations":[{"raw_affiliation_string":"IBM, Austin, TX, USA","institution_ids":["https://openalex.org/I4210156936"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5108078280"],"corresponding_institution_ids":["https://openalex.org/I4210156936"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.08399396,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"463","last_page":"468"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9998999834060669,"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":0.9998999834060669,"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.9997000098228455,"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/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9997000098228455,"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.7832767963409424},{"id":"https://openalex.org/keywords/workload","display_name":"Workload","score":0.5204334855079651},{"id":"https://openalex.org/keywords/coding","display_name":"Coding (social sciences)","score":0.49411657452583313},{"id":"https://openalex.org/keywords/trace","display_name":"TRACE (psycholinguistics)","score":0.4548618495464325},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4431266486644745},{"id":"https://openalex.org/keywords/design-language","display_name":"Design language","score":0.4272410571575165},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.19114834070205688}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7832767963409424},{"id":"https://openalex.org/C2778476105","wikidata":"https://www.wikidata.org/wiki/Q628539","display_name":"Workload","level":2,"score":0.5204334855079651},{"id":"https://openalex.org/C179518139","wikidata":"https://www.wikidata.org/wiki/Q5140297","display_name":"Coding (social sciences)","level":2,"score":0.49411657452583313},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.4548618495464325},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4431266486644745},{"id":"https://openalex.org/C49777639","wikidata":"https://www.wikidata.org/wiki/Q5264354","display_name":"Design language","level":2,"score":0.4272410571575165},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.19114834070205688},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1958746.1958816","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1958746.1958816","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2nd ACM/SPEC International Conference on Performance engineering","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W2004340162","https://openalex.org/W2041129851","https://openalex.org/W2072547867","https://openalex.org/W2076264849","https://openalex.org/W2079144805","https://openalex.org/W2098279124","https://openalex.org/W2126020875","https://openalex.org/W2131102547","https://openalex.org/W2135257040","https://openalex.org/W2137474858","https://openalex.org/W2156286566","https://openalex.org/W2163403936","https://openalex.org/W2243964973","https://openalex.org/W2278129015","https://openalex.org/W3196183927"],"related_works":["https://openalex.org/W2000785801","https://openalex.org/W986318368","https://openalex.org/W2384410913","https://openalex.org/W2352878646","https://openalex.org/W2004734601","https://openalex.org/W2130149817","https://openalex.org/W2990194547","https://openalex.org/W1480123525","https://openalex.org/W2620865396","https://openalex.org/W2414054180"],"abstract_inverted_index":{"Performance":[0],"models":[1],"are":[2],"typically":[3],"written":[4],"by":[5],"hand":[6],"for":[7,139],"a":[8,43,94,101,108,153],"new":[9,36,74,170],"model":[10,37,71,75,96],"or":[11,45,72,76,103],"assembled":[12],"piece-meal":[13],"from":[14,100],"the":[15,35,50,55,58,63,68,73,84,114,118,131,148,179,185],"prior":[16,44,102],"simulation":[17],"code":[18],"of":[19,28,52,57,66,117,182],"an":[20],"old":[21,69],"model.":[22,133],"In":[23,48],"either":[24,67],"case,":[25],"many":[26],"man-months":[27],"work":[29],"may":[30],"be":[31,97],"required":[32],"to":[33,125,128,152,188],"write":[34],"and":[38,82,88,120,142,165,168,172,176],"validate":[39],"design":[40,59,64,106,119,140,155,174,190],"details":[41],"against":[42],"current":[46,104],"design.":[47],"reality,":[49],"majority":[51],"information":[53,81],"about":[54],"performance":[56,95,132],"already":[60],"exists":[61],"in":[62,130],"structure":[65],"hardware":[70,105],"both.":[77],"To":[78],"harvest":[79],"this":[80],"eliminate":[83],"significant":[85],"duplicate":[86],"coding":[87],"validation":[89],"efforts,":[90],"we":[91],"propose":[92],"that":[93],"automatically":[98],"synthesized":[99],"using":[107],"bottom-up,":[109],"design-oriented":[110],"approach.":[111],"We":[112,134],"demarcate":[113],"performance-critical":[115],"boundaries":[116],"perform":[121],"backward-trace":[122],"cone":[123],"analysis":[124],"identify":[126],"logic":[127],"include":[129],"then":[135,159],"abstract":[136],"specific":[137],"components":[138],"changes":[141],"expend":[143],"modeling":[144],"effort":[145,158],"only":[146],"on":[147,162],"few":[149],"functions":[150],"relevant":[151],"particular":[154],"study.":[156],"Engineering":[157],"becomes":[160],"focused":[161],"workload":[163],"selection":[164],"quality,":[166],"defining":[167],"projecting":[169],"designs,":[171],"assessing":[173],"tradeoffs":[175],"sensitivities":[177],"-":[178],"small":[180],"set":[181],"tasks":[183],"with":[184],"highest":[186],"potential":[187],"improve":[189],"performance.":[191]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}