{"id":"https://openalex.org/W2798366120","doi":"https://doi.org/10.23919/date.2018.8342034","title":"Port call path sensitive conflict analysis for instance-aware parallel SystemC simulation","display_name":"Port call path sensitive conflict analysis for instance-aware parallel SystemC simulation","publication_year":2018,"publication_date":"2018-03-01","ids":{"openalex":"https://openalex.org/W2798366120","doi":"https://doi.org/10.23919/date.2018.8342034","mag":"2798366120"},"language":"en","primary_location":{"id":"doi:10.23919/date.2018.8342034","is_oa":false,"landing_page_url":"https://doi.org/10.23919/date.2018.8342034","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 Design, Automation & Test in Europe Conference & Exhibition (DATE)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5000501317","display_name":"Tim Schmidt","orcid":"https://orcid.org/0009-0001-1383-2899"},"institutions":[{"id":"https://openalex.org/I204250578","display_name":"University of California, Irvine","ror":"https://ror.org/04gyf1771","country_code":"US","type":"education","lineage":["https://openalex.org/I204250578"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Tim Schmidt","raw_affiliation_strings":["Center for Embedded Computer Systems, University of California, Irvine, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Center for Embedded Computer Systems, University of California, Irvine, USA","institution_ids":["https://openalex.org/I204250578"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033230848","display_name":"Zhongqi Cheng","orcid":"https://orcid.org/0000-0001-9382-0232"},"institutions":[{"id":"https://openalex.org/I204250578","display_name":"University of California, Irvine","ror":"https://ror.org/04gyf1771","country_code":"US","type":"education","lineage":["https://openalex.org/I204250578"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Zhongqi Cheng","raw_affiliation_strings":["Center for Embedded Computer Systems, University of California, Irvine, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Center for Embedded Computer Systems, University of California, Irvine, USA","institution_ids":["https://openalex.org/I204250578"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5111950361","display_name":"Rainer D\u00f6mer","orcid":null},"institutions":[{"id":"https://openalex.org/I204250578","display_name":"University of California, Irvine","ror":"https://ror.org/04gyf1771","country_code":"US","type":"education","lineage":["https://openalex.org/I204250578"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Rainer Domer","raw_affiliation_strings":["Center for Embedded Computer Systems, University of California, Irvine, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Center for Embedded Computer Systems, University of California, Irvine, USA","institution_ids":["https://openalex.org/I204250578"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I204250578"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"349","last_page":"354"},"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.9998000264167786,"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.9998000264167786,"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/T10715","display_name":"Distributed and Parallel Computing Systems","score":0.9997000098228455,"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"}},{"id":"https://openalex.org/T11195","display_name":"Simulation Techniques and Applications","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/systemc","display_name":"SystemC","score":0.9355610609054565},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8712456822395325},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.7686409950256348},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.5525811910629272},{"id":"https://openalex.org/keywords/thread","display_name":"Thread (computing)","score":0.5018789768218994},{"id":"https://openalex.org/keywords/false-positive-paradox","display_name":"False positive paradox","score":0.4817752540111542},{"id":"https://openalex.org/keywords/multi-core-processor","display_name":"Multi-core processor","score":0.47221046686172485},{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.42441874742507935},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.2686310410499573},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.23418575525283813}],"concepts":[{"id":"https://openalex.org/C2776928060","wikidata":"https://www.wikidata.org/wiki/Q1753563","display_name":"SystemC","level":2,"score":0.9355610609054565},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8712456822395325},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.7686409950256348},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.5525811910629272},{"id":"https://openalex.org/C138101251","wikidata":"https://www.wikidata.org/wiki/Q213092","display_name":"Thread (computing)","level":2,"score":0.5018789768218994},{"id":"https://openalex.org/C64869954","wikidata":"https://www.wikidata.org/wiki/Q1859747","display_name":"False positive paradox","level":2,"score":0.4817752540111542},{"id":"https://openalex.org/C78766204","wikidata":"https://www.wikidata.org/wiki/Q555032","display_name":"Multi-core processor","level":2,"score":0.47221046686172485},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.42441874742507935},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.2686310410499573},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.23418575525283813},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.23919/date.2018.8342034","is_oa":false,"landing_page_url":"https://doi.org/10.23919/date.2018.8342034","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 Design, Automation & Test in Europe Conference & Exhibition (DATE)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.41999998688697815,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W1963988232","https://openalex.org/W1996076165","https://openalex.org/W1997895124","https://openalex.org/W2000791263","https://openalex.org/W2048031428","https://openalex.org/W2123990187","https://openalex.org/W2156685634","https://openalex.org/W2346256938","https://openalex.org/W2346345466","https://openalex.org/W2588594063","https://openalex.org/W2626674670","https://openalex.org/W3144740260","https://openalex.org/W4238745443","https://openalex.org/W4252483809","https://openalex.org/W6683039737"],"related_works":["https://openalex.org/W2301151507","https://openalex.org/W2170936907","https://openalex.org/W2380800843","https://openalex.org/W2140328095","https://openalex.org/W77471018","https://openalex.org/W3150987667","https://openalex.org/W1852321729","https://openalex.org/W2802530065","https://openalex.org/W1527923678","https://openalex.org/W4256575154"],"abstract_inverted_index":{"Many":[0],"parallel":[1,24],"SystemC":[2,130],"approaches":[3],"expect":[4],"a":[5,66,109,120,127],"thread":[6],"safe":[7],"and":[8,21,124],"conflict":[9,29,57],"free":[10],"model":[11],"from":[12],"the":[13,45,78,94,98,114],"designer.":[14],"Alternatively,":[15],"an":[16],"advanced":[17],"compiler":[18,68],"can":[19,31],"identify":[20],"avoid":[22],"possible":[23],"access":[25],"conflicts.":[26],"While":[27],"manual":[28],"resolution":[30],"theoretically":[32],"be":[33],"more":[34],"precise,":[35],"it":[36],"is":[37,52],"impractical":[38],"for":[39,119,126],"real":[40],"world":[41],"applications":[42],"because":[43],"of":[44,80,100],"inherent":[46],"complexities.":[47],"Here":[48],"automatic":[49],"compiler-based":[50],"analysis":[51,74,96],"preferred":[53],"which":[54],"provides":[55],"conservative":[56],"avoidance":[58],"with":[59],"minimal":[60],"false":[61,81,101],"positives.":[62],"This":[63],"paper":[64],"introduces":[65],"novel":[67],"technique":[69],"called":[70],"Port":[71],"Call":[72],"Path":[73],"that":[75,93],"greatly":[76],"reduces":[77,97],"amount":[79,99],"positive":[82],"conflicts":[83,102],"resulting":[84],"in":[85],"significantly":[86],"increased":[87],"simulation":[88,115],"speed.":[89],"Experimental":[90],"results":[91],"show":[92],"new":[95],"by":[103],"up":[104,113,116],"to":[105,117],"98%":[106],"and,":[107],"on":[108],"4-core":[110],"processor,":[111],"speeds":[112],"3\u00d7":[118],"NoC":[121],"particle":[122],"simulator":[123],"3.5\u00d7":[125],"bitcoin":[128],"miner":[129],"model.":[131]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":2}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}