{"id":"https://openalex.org/W1971672640","doi":"https://doi.org/10.3103/s0146411612070152","title":"Automatic data race detection in SystemC models","display_name":"Automatic data race detection in SystemC models","publication_year":2012,"publication_date":"2012-12-01","ids":{"openalex":"https://openalex.org/W1971672640","doi":"https://doi.org/10.3103/s0146411612070152","mag":"1971672640"},"language":"en","primary_location":{"id":"doi:10.3103/s0146411612070152","is_oa":false,"landing_page_url":"https://doi.org/10.3103/s0146411612070152","pdf_url":null,"source":{"id":"https://openalex.org/S17203304","display_name":"Automatic Control and Computer Sciences","issn_l":"0146-4116","issn":["0146-4116","1558-108X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320267","host_organization_name":"Pleiades Publishing","host_organization_lineage":["https://openalex.org/P4310320267","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Pleiades Publishing","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Automatic Control and Computer Sciences","raw_type":"journal-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/A5073469563","display_name":"A. V. Zakharov","orcid":null},"institutions":[{"id":"https://openalex.org/I212220629","display_name":"Peter the Great St. Petersburg Polytechnic University","ror":"https://ror.org/02x91aj62","country_code":"RU","type":"education","lineage":["https://openalex.org/I212220629"]}],"countries":["RU"],"is_corresponding":true,"raw_author_name":"A. V. Zakharov","raw_affiliation_strings":["St. Petersburg State Polytechnic University, St. Petersburg, Russia","St.Petersburg State Polytechnic University"],"affiliations":[{"raw_affiliation_string":"St. Petersburg State Polytechnic University, St. Petersburg, Russia","institution_ids":["https://openalex.org/I212220629"]},{"raw_affiliation_string":"St.Petersburg State Polytechnic University","institution_ids":["https://openalex.org/I212220629"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5055609444","display_name":"M. J. Moiseev","orcid":null},"institutions":[{"id":"https://openalex.org/I212220629","display_name":"Peter the Great St. Petersburg Polytechnic University","ror":"https://ror.org/02x91aj62","country_code":"RU","type":"education","lineage":["https://openalex.org/I212220629"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"M. J. Moiseev","raw_affiliation_strings":["St. Petersburg State Polytechnic University, St. Petersburg, Russia","St.Petersburg State Polytechnic University"],"affiliations":[{"raw_affiliation_string":"St. Petersburg State Polytechnic University, St. Petersburg, Russia","institution_ids":["https://openalex.org/I212220629"]},{"raw_affiliation_string":"St.Petersburg State Polytechnic University","institution_ids":["https://openalex.org/I212220629"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5073469563"],"corresponding_institution_ids":["https://openalex.org/I212220629"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.05274499,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"46","issue":"7","first_page":"356","last_page":"363"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design 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/T10904","display_name":"Embedded Systems Design 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/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"}},{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.9993000030517578,"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/systemc","display_name":"SystemC","score":0.984315037727356},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.9120131134986877},{"id":"https://openalex.org/keywords/synchronization","display_name":"Synchronization (alternating current)","score":0.6889658570289612},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5010614395141602},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.4820083677768707},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3792789578437805},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3420238494873047},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.32897835969924927},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.0857606828212738}],"concepts":[{"id":"https://openalex.org/C2776928060","wikidata":"https://www.wikidata.org/wiki/Q1753563","display_name":"SystemC","level":2,"score":0.984315037727356},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9120131134986877},{"id":"https://openalex.org/C2778562939","wikidata":"https://www.wikidata.org/wiki/Q1298791","display_name":"Synchronization (alternating current)","level":3,"score":0.6889658570289612},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5010614395141602},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4820083677768707},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3792789578437805},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3420238494873047},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.32897835969924927},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0857606828212738},{"id":"https://openalex.org/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.3103/s0146411612070152","is_oa":false,"landing_page_url":"https://doi.org/10.3103/s0146411612070152","pdf_url":null,"source":{"id":"https://openalex.org/S17203304","display_name":"Automatic Control and Computer Sciences","issn_l":"0146-4116","issn":["0146-4116","1558-108X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320267","host_organization_name":"Pleiades Publishing","host_organization_lineage":["https://openalex.org/P4310320267","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Pleiades Publishing","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Automatic Control and Computer Sciences","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W1970363544","https://openalex.org/W1972544179","https://openalex.org/W1991424227","https://openalex.org/W1998215308","https://openalex.org/W2033894978","https://openalex.org/W2045238089","https://openalex.org/W2084515345","https://openalex.org/W2096475201","https://openalex.org/W2138446696","https://openalex.org/W2162339514","https://openalex.org/W2171573750","https://openalex.org/W2539248815","https://openalex.org/W3146857539","https://openalex.org/W3149451953","https://openalex.org/W4229635525","https://openalex.org/W4235316443","https://openalex.org/W4253669045"],"related_works":["https://openalex.org/W2301151507","https://openalex.org/W2170936907","https://openalex.org/W2380800843","https://openalex.org/W2140328095","https://openalex.org/W3150987667","https://openalex.org/W77471018","https://openalex.org/W1852321729","https://openalex.org/W2802530065","https://openalex.org/W1527923678","https://openalex.org/W2056396287"],"abstract_inverted_index":{"Systems":[0],"simulated":[1],"by":[2,81],"using":[3,87],"the":[4,41,44,67,72,77,82,88],"SystemC":[5,37,53],"language":[6],"are":[7,58],"usually":[8],"parallel":[9],"and,":[10],"therefore,":[11],"may":[12],"contain":[13],"synchronization":[14,24],"errors.":[15,25],"Data":[16],"races":[17,69],"make":[18],"up":[19],"one":[20,63],"widespread":[21],"type":[22],"of":[23,43,76,98],"In":[26],"this":[27],"paper,":[28],"an":[29],"approach":[30,78],"to":[31,64],"data":[32,68],"race":[33],"error":[34,93],"detection":[35,94],"in":[36,71],"programs":[38,54],"based":[39],"on":[40],"analysis":[42],"static":[45],"source":[46],"code":[47],"is":[48,79],"proposed.":[49],"Algorithms":[50],"for":[51,92,95],"analyzing":[52],"without":[55],"quantitative":[56],"time":[57],"developed.":[59],"These":[60],"algorithms":[61],"allow":[62],"detect":[65],"all":[66],"existing":[70],"program.":[73],"The":[74],"efficiency":[75],"proved":[80],"experimental":[83],"results":[84],"obtained":[85],"from":[86],"developed":[89],"tool":[90],"meant":[91],"a":[96],"set":[97],"test":[99],"programs.":[100]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}