{"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","doi":"https://doi.org/10.1145/1958746.1958816","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1958746.1958816","pdf_url":null,"source":{"id":"https://openalex.org/S7407088134","display_name":"ACM/SPEC International Conference on Performance Engineering (ICPE)","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":"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"},"volume":null,"type":"conference-paper","is_traditional":true,"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,"observed_orcids":[]},"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":"Robert H. Bell","raw_affiliation_strings":["IBM, Austin, TX, USA"],"raw_orcid":null,"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","observed_orcids":["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"],"raw_orcid":null,"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,"observed_orcids":[]},"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"],"raw_orcid":null,"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,"observed_orcids":[]},"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"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IBM, Austin, TX, USA","institution_ids":["https://openalex.org/I4210156936"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"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.07828248,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.7997999787330627,"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.7997999787330627,"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/T11522","display_name":"VLSI and FPGA Design Techniques","score":0.07530000060796738,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10363","display_name":"Low-power high-performance VLSI design","score":0.02539999969303608,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/automatic-model-generation","display_name":"automatic model generation","score":0.597000002861023},{"id":"https://openalex.org/keywords/design-sensitivity-analysis","display_name":"design sensitivity analysis","score":0.5389999747276306}],"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","doi":"https://doi.org/10.1145/1958746.1958816","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1958746.1958816","pdf_url":null,"source":{"id":"https://openalex.org/S7407088134","display_name":"ACM/SPEC International Conference on Performance Engineering (ICPE)","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":"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":[],"study_designs":[],"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/W2098279124","https://openalex.org/W2095275942","https://openalex.org/W119569823","https://openalex.org/W2147492549","https://openalex.org/W1960843492","https://openalex.org/W6950452058","https://openalex.org/W2293735149","https://openalex.org/W1866402902","https://openalex.org/W2533488875","https://openalex.org/W2073969215"],"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":"2026-10-05T09:50:58.205359","created_date":"2016-06-24T00:00:00"}