{"id":"https://openalex.org/W2612934070","doi":"https://doi.org/10.23919/date.2017.7927021","title":"MINIME-validator: Validating hardware with synthetic parallel testcases","display_name":"MINIME-validator: Validating hardware with synthetic parallel testcases","publication_year":2017,"publication_date":"2017-03-01","ids":{"openalex":"https://openalex.org/W2612934070","doi":"https://doi.org/10.23919/date.2017.7927021","mag":"2612934070"},"language":"en","primary_location":{"id":"doi:10.23919/date.2017.7927021","is_oa":false,"landing_page_url":"https://doi.org/10.23919/date.2017.7927021","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017","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/A5050136674","display_name":"Alper \u015een","orcid":"https://orcid.org/0000-0002-5508-6484"},"institutions":[{"id":"https://openalex.org/I4405392","display_name":"Bo\u011fazi\u00e7i University","ror":"https://ror.org/03z9tma90","country_code":"TR","type":"education","lineage":["https://openalex.org/I4405392"]}],"countries":["TR"],"is_corresponding":true,"raw_author_name":"Alper Sen","raw_affiliation_strings":["Department of Computer Engineering, Bogazici University, Istanbul, Turkey"],"affiliations":[{"raw_affiliation_string":"Department of Computer Engineering, Bogazici University, Istanbul, Turkey","institution_ids":["https://openalex.org/I4405392"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085626096","display_name":"Etem Deniz","orcid":"https://orcid.org/0000-0002-9534-5639"},"institutions":[{"id":"https://openalex.org/I4405392","display_name":"Bo\u011fazi\u00e7i University","ror":"https://ror.org/03z9tma90","country_code":"TR","type":"education","lineage":["https://openalex.org/I4405392"]}],"countries":["TR"],"is_corresponding":false,"raw_author_name":"Etem Deniz","raw_affiliation_strings":["Department of Computer Engineering, Bogazici University, Istanbul, Turkey"],"affiliations":[{"raw_affiliation_string":"Department of Computer Engineering, Bogazici University, Istanbul, Turkey","institution_ids":["https://openalex.org/I4405392"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5087708802","display_name":"Brian Kahne","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Brian Kahne","raw_affiliation_strings":["NXP Semiconductors, Austin, TX, USA"],"affiliations":[{"raw_affiliation_string":"NXP Semiconductors, Austin, TX, USA","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5050136674"],"corresponding_institution_ids":["https://openalex.org/I4405392"],"apc_list":null,"apc_paid":null,"fwci":0.2253,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.46636504,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"386","last_page":"391"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.9986000061035156,"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.8315165042877197},{"id":"https://openalex.org/keywords/validator","display_name":"Validator","score":0.8163636326789856},{"id":"https://openalex.org/keywords/programmer","display_name":"Programmer","score":0.7161831259727478},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3653191328048706},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3524414002895355},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.32288658618927}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8315165042877197},{"id":"https://openalex.org/C35292069","wikidata":"https://www.wikidata.org/wiki/Q1575458","display_name":"Validator","level":2,"score":0.8163636326789856},{"id":"https://openalex.org/C2778514511","wikidata":"https://www.wikidata.org/wiki/Q1374194","display_name":"Programmer","level":2,"score":0.7161831259727478},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3653191328048706},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3524414002895355},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.32288658618927},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.23919/date.2017.7927021","is_oa":false,"landing_page_url":"https://doi.org/10.23919/date.2017.7927021","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.4300000071525574}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W1578415644","https://openalex.org/W2005499723","https://openalex.org/W2033102751","https://openalex.org/W2035252178","https://openalex.org/W2093771365","https://openalex.org/W2100452237","https://openalex.org/W2131102547","https://openalex.org/W2145466930","https://openalex.org/W2152104548","https://openalex.org/W2161522487","https://openalex.org/W2190564708","https://openalex.org/W2325421623","https://openalex.org/W2437043446","https://openalex.org/W2546309369","https://openalex.org/W6718535954"],"related_works":["https://openalex.org/W4318683744","https://openalex.org/W2910132097","https://openalex.org/W4375842390","https://openalex.org/W2383224865","https://openalex.org/W3136330736","https://openalex.org/W4401490379","https://openalex.org/W1600705311","https://openalex.org/W622882839","https://openalex.org/W2185017216","https://openalex.org/W2016345697"],"abstract_inverted_index":{"Programming":[0],"of":[1,7,28,42,82,90,128],"multicore":[2],"architectures":[3],"with":[4,25],"large":[5],"number":[6],"cores":[8],"is":[9,44,132],"a":[10,26,61,70],"huge":[11],"burden":[12,20,53],"on":[13],"the":[14,23,40,52,80,88,126,133],"programmer.":[15],"Parallel":[16,73],"patterns":[17,31,43,141],"ease":[18],"this":[19,57,131],"by":[21],"presenting":[22],"developer":[24],"set":[27],"predefined":[29],"programming":[30,140],"that":[32,78,113],"implement":[33],"best":[34,127],"practices":[35],"in":[36],"parallel":[37,67,83,139],"programming.":[38],"Since":[39],"behavior":[41,89],"well-known":[45],"and":[46,98,105],"understood":[47],"they":[48],"can":[49,99,116],"also":[50],"lower":[51],"for":[54,64,119,144],"verification.":[55],"In":[56],"work,":[58],"we":[59],"present":[60],"toolset,":[62],"MINIME-Validator,":[63],"generating":[65],"synthetic":[66,114,136],"testcases":[68,86,115,137],"from":[69],"newly":[71],"defined":[72],"Pattern":[74],"Markup":[75],"Language":[76],"(PPML)":[77],"uses":[79],"concept":[81],"patterns.":[84],"Our":[85],"mimic":[87],"real":[91],"customer":[92],"applications":[93],"while":[94],"being":[95],"much":[96],"smaller":[97],"be":[100,117],"used":[101,118,143],"to":[102],"generate":[103],"traffic":[104],"validate":[106],"e.g.":[107],"inter-processor":[108],"communication":[109,123],"architectures.":[110],"Experiments":[111],"show":[112],"finding":[120],"representative":[121],"hardware":[122,145],"problems.":[124],"To":[125],"our":[129],"knowledge,":[130],"first":[134],"time":[135],"using":[138],"are":[142],"validation.":[146]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2019,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}