{"id":"https://openalex.org/W2613136668","doi":"https://doi.org/10.23919/date.2017.7927191","title":"CAnDy-TM: Comparative analysis of dynamic thermal management in many-cores using model checking","display_name":"CAnDy-TM: Comparative analysis of dynamic thermal management in many-cores using model checking","publication_year":2017,"publication_date":"2017-03-01","ids":{"openalex":"https://openalex.org/W2613136668","doi":"https://doi.org/10.23919/date.2017.7927191","mag":"2613136668"},"language":"en","primary_location":{"id":"doi:10.23919/date.2017.7927191","is_oa":false,"landing_page_url":"https://doi.org/10.23919/date.2017.7927191","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/A5069114656","display_name":"Syed Ali Asadullah Bukhari","orcid":null},"institutions":[{"id":"https://openalex.org/I110357561","display_name":"University of the Sciences","ror":"https://ror.org/048gmay44","country_code":"US","type":"education","lineage":["https://openalex.org/I110357561"]},{"id":"https://openalex.org/I929597975","display_name":"National University of Sciences and Technology","ror":"https://ror.org/03w2j5y17","country_code":"PK","type":"education","lineage":["https://openalex.org/I929597975"]}],"countries":["PK","US"],"is_corresponding":true,"raw_author_name":"Syed Ali Asadullah Bukhari","raw_affiliation_strings":["National University of Sciences and Technology, Islamabad, PK"],"affiliations":[{"raw_affiliation_string":"National University of Sciences and Technology, Islamabad, PK","institution_ids":["https://openalex.org/I110357561","https://openalex.org/I929597975"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074265316","display_name":"Faiq Khalid","orcid":"https://orcid.org/0000-0001-6263-674X"},"institutions":[{"id":"https://openalex.org/I929597975","display_name":"National University of Sciences and Technology","ror":"https://ror.org/03w2j5y17","country_code":"PK","type":"education","lineage":["https://openalex.org/I929597975"]}],"countries":["PK"],"is_corresponding":false,"raw_author_name":"Faiq Khalid Lodhi","raw_affiliation_strings":["School of Electrical and Computer Science, National University of Sciences and Technology, Islamabad, Pakistan"],"affiliations":[{"raw_affiliation_string":"School of Electrical and Computer Science, National University of Sciences and Technology, Islamabad, Pakistan","institution_ids":["https://openalex.org/I929597975"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066768973","display_name":"Osman Hasan","orcid":"https://orcid.org/0000-0003-2562-2669"},"institutions":[{"id":"https://openalex.org/I929597975","display_name":"National University of Sciences and Technology","ror":"https://ror.org/03w2j5y17","country_code":"PK","type":"education","lineage":["https://openalex.org/I929597975"]}],"countries":["PK"],"is_corresponding":false,"raw_author_name":"Osman Hasan","raw_affiliation_strings":["School of Electrical and Computer Science, National University of Sciences and Technology, Islamabad, Pakistan"],"affiliations":[{"raw_affiliation_string":"School of Electrical and Computer Science, National University of Sciences and Technology, Islamabad, Pakistan","institution_ids":["https://openalex.org/I929597975"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005190949","display_name":"Muhammad Shafique","orcid":"https://orcid.org/0000-0002-2607-8135"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Muhammad Shafique","raw_affiliation_strings":["Institute of Computer Engineering, Vienna University of Technology, Vienna, Austria"],"affiliations":[{"raw_affiliation_string":"Institute of Computer Engineering, Vienna University of Technology, Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5063508488","display_name":"J\u00f6rg Henkel","orcid":"https://orcid.org/0000-0001-9602-2922"},"institutions":[{"id":"https://openalex.org/I102335020","display_name":"Karlsruhe Institute of Technology","ror":"https://ror.org/04t3en479","country_code":"DE","type":"education","lineage":["https://openalex.org/I102335020","https://openalex.org/I1305996414"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Jorg Henkel","raw_affiliation_strings":["Chair for Embedded Systems, Karlsruhe Institute of Technology, Karlsruhe, Germany"],"affiliations":[{"raw_affiliation_string":"Chair for Embedded Systems, Karlsruhe Institute of Technology, Karlsruhe, Germany","institution_ids":["https://openalex.org/I102335020"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5069114656"],"corresponding_institution_ids":["https://openalex.org/I110357561","https://openalex.org/I929597975"],"apc_list":null,"apc_paid":null,"fwci":0.1433,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.48495151,"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":"1289","last_page":"1292"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.9990000128746033,"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"}},"topics":[{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.9990000128746033,"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/T10472","display_name":"Semiconductor materials and devices","score":0.9979000091552734,"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/T10142","display_name":"Formal Methods in Verification","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/emulation","display_name":"Emulation","score":0.8420346975326538},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7735487818717957},{"id":"https://openalex.org/keywords/usability","display_name":"Usability","score":0.5562152862548828},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5341863632202148},{"id":"https://openalex.org/keywords/modularity","display_name":"Modularity (biology)","score":0.5089211463928223},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5014526844024658},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.4824810326099396},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.4725598692893982},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.43969377875328064},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.42854657769203186},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.32637226581573486},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.17003440856933594},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.13357526063919067},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.12139374017715454},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.09716299176216125},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.0928899347782135}],"concepts":[{"id":"https://openalex.org/C149810388","wikidata":"https://www.wikidata.org/wiki/Q5374873","display_name":"Emulation","level":2,"score":0.8420346975326538},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7735487818717957},{"id":"https://openalex.org/C170130773","wikidata":"https://www.wikidata.org/wiki/Q216378","display_name":"Usability","level":2,"score":0.5562152862548828},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5341863632202148},{"id":"https://openalex.org/C2779478453","wikidata":"https://www.wikidata.org/wiki/Q6889748","display_name":"Modularity (biology)","level":2,"score":0.5089211463928223},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5014526844024658},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.4824810326099396},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.4725598692893982},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.43969377875328064},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.42854657769203186},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.32637226581573486},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.17003440856933594},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.13357526063919067},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.12139374017715454},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.09716299176216125},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0928899347782135},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C50522688","wikidata":"https://www.wikidata.org/wiki/Q189833","display_name":"Economic growth","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.23919/date.2017.7927191","is_oa":false,"landing_page_url":"https://doi.org/10.23919/date.2017.7927191","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":[{"score":0.800000011920929,"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320320875","display_name":"Deutscher Akademischer Austauschdienst","ror":"https://ror.org/039djdh30"},{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W233122475","https://openalex.org/W1007327090","https://openalex.org/W1532040444","https://openalex.org/W1552259257","https://openalex.org/W1966395229","https://openalex.org/W1975489117","https://openalex.org/W1991537489","https://openalex.org/W1994908438","https://openalex.org/W2030254671","https://openalex.org/W2050038841","https://openalex.org/W2095942479","https://openalex.org/W2100321379","https://openalex.org/W2101020117","https://openalex.org/W2109195794","https://openalex.org/W2132496376","https://openalex.org/W2141649130","https://openalex.org/W2149453229","https://openalex.org/W2470348594","https://openalex.org/W2913459036","https://openalex.org/W3142607978","https://openalex.org/W3147062543","https://openalex.org/W3148862943","https://openalex.org/W4229566080","https://openalex.org/W4231753882","https://openalex.org/W6633060872","https://openalex.org/W6644327588","https://openalex.org/W6649200485","https://openalex.org/W6674905657","https://openalex.org/W6681748856"],"related_works":["https://openalex.org/W2154523322","https://openalex.org/W2083200807","https://openalex.org/W1603137082","https://openalex.org/W2364195017","https://openalex.org/W2355430452","https://openalex.org/W2049983405","https://openalex.org/W2392315374","https://openalex.org/W1951195060","https://openalex.org/W2351776620","https://openalex.org/W2352195574"],"abstract_inverted_index":{"Dynamic":[0,132],"thermal":[1,15,190],"management":[2],"(DTM)":[3],"techniques":[4,28,75],"based":[5],"on":[6,36],"task":[7,194],"migration":[8,195],"provide":[9,160],"a":[10,40,65,84,122,151,161,208],"promising":[11],"solution":[12],"to":[13,76,94,139,159],"mitigate":[14],"emergencies":[16],"and":[17,22,71,100,103,109,146,156,171,180,183,192],"thereby":[18],"ensuring":[19],"safe":[20],"operation":[21],"reliability":[23],"of":[24,39,57,107,131,153,173],"Many-Core":[25],"systems.":[26],"These":[27],"can":[29],"be":[30],"classified":[31],"as":[32],"central":[33,41,69],"or":[34,48,55],"distributed":[35,72],"the":[37,45,60,79,95,104,169,203],"basis":[38],"DTM":[42,50,74,115,206],"controller":[43],"for":[44,52,83,114,128,144,164,207],"whole":[46],"system":[47,86],"individual":[49],"controllers":[51],"each":[53],"core":[54],"set":[56,152],"cores":[58],"in":[59,201],"system,":[61],"respectively.":[62],"However,":[63],"having":[64],"trustworthy":[66],"comparison":[67],"between":[68,98],"(c-)":[70],"(d-)":[73],"find":[77],"out":[78],"most":[80,204],"suitable":[81],"one":[82],"given":[85,209],"is":[87,91,187],"quite":[88],"challenging.":[89],"This":[90],"primarily":[92],"due":[93],"systemic":[96],"difference":[97],"cDTM":[99,145,179],"dDTM":[101,147,181],"controllers,":[102],"inherent":[105],"non-exhaustiveness":[106],"simulation":[108],"emulation":[110],"methods":[111],"conventionally":[112],"used":[113],"analysis.":[116],"In":[117],"this":[118],"paper,":[119],"we":[120],"present":[121],"novel":[123],"methodology":[124,175],"called":[125],"CAnDy-TM":[126],"(stands":[127],"Comparative":[129],"Analysis":[130],"Thermal":[133],"Management)":[134],"that":[135],"employs":[136],"Model":[137],"Checking":[138],"perform":[140],"formal":[141],"comparative":[142],"analysis":[143,199],"techniques.":[148],"We":[149,167],"identify":[150],"generic":[154],"functional":[155],"performance":[157],"properties":[158],"common":[162],"ground":[163],"their":[165],"comparison.":[166],"demonstrate":[168],"usability":[170],"benefits":[172],"our":[174],"by":[176],"comparing":[177],"state-of-the-art":[178],"techniques,":[182],"illustrate":[184],"which":[185],"technique":[186],"good":[188],"w.r.t.":[189],"stability":[191],"other":[193],"parameters.":[196],"Such":[197],"an":[198],"helps":[200],"selecting":[202],"appropriate":[205],"chip.":[210]},"counts_by_year":[{"year":2019,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}