{"id":"https://openalex.org/W2085914595","doi":"https://doi.org/10.1145/1698759.1698765","title":"Thermal analysis of multiprocessor SoC applications by simulation and verification","display_name":"Thermal analysis of multiprocessor SoC applications by simulation and verification","publication_year":2010,"publication_date":"2010-02-01","ids":{"openalex":"https://openalex.org/W2085914595","doi":"https://doi.org/10.1145/1698759.1698765","mag":"2085914595"},"language":"en","primary_location":{"id":"doi:10.1145/1698759.1698765","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1698759.1698765","pdf_url":null,"source":{"id":"https://openalex.org/S105046310","display_name":"ACM Transactions on Design Automation of Electronic Systems","issn_l":"1084-4309","issn":["1084-4309","1557-7309"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Design Automation of Electronic Systems","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/A5052810907","display_name":"Dipankar Das","orcid":"https://orcid.org/0000-0002-8110-9344"},"institutions":[{"id":"https://openalex.org/I145894827","display_name":"Indian Institute of Technology Kharagpur","ror":"https://ror.org/03w5sq511","country_code":"IN","type":"education","lineage":["https://openalex.org/I145894827"]}],"countries":["IN"],"is_corresponding":true,"raw_author_name":"Dipankar Das","raw_affiliation_strings":["Indian Institute of Technology Kharagpur, India"],"affiliations":[{"raw_affiliation_string":"Indian Institute of Technology Kharagpur, India","institution_ids":["https://openalex.org/I145894827"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013205698","display_name":"P. P. Chakrabarti","orcid":"https://orcid.org/0000-0002-3553-8834"},"institutions":[{"id":"https://openalex.org/I145894827","display_name":"Indian Institute of Technology Kharagpur","ror":"https://ror.org/03w5sq511","country_code":"IN","type":"education","lineage":["https://openalex.org/I145894827"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"P. P. Chakrabarti","raw_affiliation_strings":["Indian Institute of Technology Kharagpur, India"],"affiliations":[{"raw_affiliation_string":"Indian Institute of Technology Kharagpur, India","institution_ids":["https://openalex.org/I145894827"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100649767","display_name":"Rajeev Kumar","orcid":"https://orcid.org/0000-0003-0233-6563"},"institutions":[{"id":"https://openalex.org/I145894827","display_name":"Indian Institute of Technology Kharagpur","ror":"https://ror.org/03w5sq511","country_code":"IN","type":"education","lineage":["https://openalex.org/I145894827"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Rajeev Kumar","raw_affiliation_strings":["Indian Institute of Technology Kharagpur, India"],"affiliations":[{"raw_affiliation_string":"Indian Institute of Technology Kharagpur, India","institution_ids":["https://openalex.org/I145894827"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5052810907"],"corresponding_institution_ids":["https://openalex.org/I145894827"],"apc_list":null,"apc_paid":null,"fwci":0.4994,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.67100318,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"15","issue":"2","first_page":"1","last_page":"52"},"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/T10904","display_name":"Embedded Systems Design 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/T11005","display_name":"Radiation Effects in Electronics","score":0.9994999766349792,"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/computer-science","display_name":"Computer science","score":0.8790880441665649},{"id":"https://openalex.org/keywords/mpsoc","display_name":"MPSoC","score":0.8700416088104248},{"id":"https://openalex.org/keywords/multiprocessing","display_name":"Multiprocessing","score":0.660307765007019},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5142518877983093},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.4961179196834564},{"id":"https://openalex.org/keywords/emulation","display_name":"Emulation","score":0.4669331908226013},{"id":"https://openalex.org/keywords/schedule","display_name":"Schedule","score":0.45638659596443176},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.44285038113594055},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.42746394872665405},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.36670583486557007},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.363777756690979},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.1779959499835968},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.12187424302101135}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8790880441665649},{"id":"https://openalex.org/C2777187653","wikidata":"https://www.wikidata.org/wiki/Q975106","display_name":"MPSoC","level":3,"score":0.8700416088104248},{"id":"https://openalex.org/C4822641","wikidata":"https://www.wikidata.org/wiki/Q846651","display_name":"Multiprocessing","level":2,"score":0.660307765007019},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5142518877983093},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.4961179196834564},{"id":"https://openalex.org/C149810388","wikidata":"https://www.wikidata.org/wiki/Q5374873","display_name":"Emulation","level":2,"score":0.4669331908226013},{"id":"https://openalex.org/C68387754","wikidata":"https://www.wikidata.org/wiki/Q7271585","display_name":"Schedule","level":2,"score":0.45638659596443176},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.44285038113594055},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.42746394872665405},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.36670583486557007},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.363777756690979},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.1779959499835968},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.12187424302101135},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","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/C50522688","wikidata":"https://www.wikidata.org/wiki/Q189833","display_name":"Economic growth","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1698759.1698765","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1698759.1698765","pdf_url":null,"source":{"id":"https://openalex.org/S105046310","display_name":"ACM Transactions on Design Automation of Electronic Systems","issn_l":"1084-4309","issn":["1084-4309","1557-7309"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Design Automation of Electronic Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/7","display_name":"Affordable and clean energy","score":0.4099999964237213}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":64,"referenced_works":["https://openalex.org/W1255213109","https://openalex.org/W1496267491","https://openalex.org/W1499853177","https://openalex.org/W1511752958","https://openalex.org/W1522694098","https://openalex.org/W1568633334","https://openalex.org/W1569692898","https://openalex.org/W1573344143","https://openalex.org/W1686420892","https://openalex.org/W1819209966","https://openalex.org/W1967091946","https://openalex.org/W1981408476","https://openalex.org/W1984778404","https://openalex.org/W1991364847","https://openalex.org/W1994920552","https://openalex.org/W1995273792","https://openalex.org/W2000338814","https://openalex.org/W2005625314","https://openalex.org/W2028417466","https://openalex.org/W2031130394","https://openalex.org/W2032681711","https://openalex.org/W2057146499","https://openalex.org/W2060095702","https://openalex.org/W2063749661","https://openalex.org/W2069700210","https://openalex.org/W2071982890","https://openalex.org/W2072589363","https://openalex.org/W2076285066","https://openalex.org/W2094731495","https://openalex.org/W2096554329","https://openalex.org/W2099314087","https://openalex.org/W2099728705","https://openalex.org/W2100830825","https://openalex.org/W2102727118","https://openalex.org/W2104225326","https://openalex.org/W2108573899","https://openalex.org/W2114172921","https://openalex.org/W2114606347","https://openalex.org/W2115892354","https://openalex.org/W2116009028","https://openalex.org/W2117299787","https://openalex.org/W2118955652","https://openalex.org/W2119158249","https://openalex.org/W2123853086","https://openalex.org/W2124343693","https://openalex.org/W2127574686","https://openalex.org/W2129557394","https://openalex.org/W2129960401","https://openalex.org/W2137780708","https://openalex.org/W2142917139","https://openalex.org/W2146159705","https://openalex.org/W2152165066","https://openalex.org/W2168138998","https://openalex.org/W2309619976","https://openalex.org/W2396883824","https://openalex.org/W2502452588","https://openalex.org/W2544965182","https://openalex.org/W2981264952","https://openalex.org/W3007996584","https://openalex.org/W4229487452","https://openalex.org/W4239429564","https://openalex.org/W4254156796","https://openalex.org/W6738852829","https://openalex.org/W7046264230"],"related_works":["https://openalex.org/W2127267268","https://openalex.org/W2156446763","https://openalex.org/W2136512912","https://openalex.org/W2067910792","https://openalex.org/W2150194458","https://openalex.org/W2884574904","https://openalex.org/W4281711577","https://openalex.org/W2178653557","https://openalex.org/W2106200299","https://openalex.org/W2994908368"],"abstract_inverted_index":{"Overheating":[0],"of":[1,7,18,31,77,87,96,152,197,200,208,227,250,263,267,274,284,309,312,315],"computer":[2],"chips":[3,13],"leads":[4],"to":[5,45,115,277],"degradation":[6],"performance":[8,20],"and":[9,39,75,108,121,136,172,202,307],"reliability.":[10],"Therefore,":[11],"preventing":[12],"from":[14,218,224,230],"overheating":[15],"in":[16,64,103,117,290,296],"spite":[17],"increased":[19],"requirements":[21],"has":[22,33,52],"emerged":[23,53],"as":[24,54,175],"a":[25,78,88,106,162,176,195,256,264,297,313,320],"major":[26],"challenge.":[27],"Since":[28],"the":[29,73,82,93,97,101,131,168,192,203,209,268,275,279,285],"cost":[30],"cooling":[32],"been":[34,294],"rising":[35],"steadily,":[36],"various":[37],"architecture":[38],"application":[40,57],"design":[41,58],"techniques":[42],"are":[43,222],"used":[44],"prevent":[46],"chip":[47],"overheating.":[48],"Temperature-aware":[49],"task":[50,90,118,154,193,213,316],"scheduling":[51],"an":[55,141,184],"important":[56],"methodology":[59,259],"for":[60,80,111,149,166,186,247],"addressing":[61],"this":[62,69,158,188,251,291],"problem":[63,171],"multiprocessor":[65,124],"SoC":[66],"systems.":[67],"In":[68],"work":[70,292],"we":[71,160],"present":[72,183,304],"formulation":[74],"implementation":[76],"method":[79],"analyzing":[81],"thermal":[83,134,150,169,272,310],"(chip":[84],"heating)":[85],"behavior":[86,273,311],"MPSoC":[89,153,321],"schedule,":[91,194],"during":[92],"early":[94],"stages":[95],"design.":[98],"We":[99,182,254,303],"highlight":[100],"challenges":[102],"developing":[104],"such":[105],"framework":[107],"propose":[109,161,255],"solutions":[110],"tackling":[112],"them.":[113],"Due":[114],"nondeterminism":[116],"execution":[119,145,282],"times":[120],"decision":[122],"branches,":[123],"applications":[125],"cannot":[126],"be":[127],"evaluated":[128],"accurately":[129],"by":[130],"current":[132],"state-of-the-art":[133],"simulation":[135,231,258],"steady-state":[137],"analysis":[138,142,151,170,249,266,308],"methods.":[139],"Hence":[140],"covering":[143],"nondeterministic":[144],"behaviors":[146],"is":[147,216,245],"required":[148],"schedules.":[155],"To":[156],"address":[157],"issue":[159],"model":[163],"checking-based":[164],"approach":[165],"solving":[167],"formulate":[173],"it":[174],"hybrid":[177,189,252,269],"automata":[178,190,270],"reachability":[179,248],"verification":[180],"problem.":[181],"algorithm":[185,238],"constructing":[187],"given":[191],"set":[196,314],"power":[198,214,225],"profiles":[199,226],"tasks,":[201,228],"Compact":[204],"Thermal":[205],"Model":[206],"(CTM)":[207],"chip.":[210],"Information":[211],"about":[212],"consumption":[215],"inferred":[217],"Markov":[219],"chains":[220],"which":[221,239,260],"learned":[223],"obtained":[229],"or":[232],"emulation":[233],"runs.":[234],"A":[235],"numerical":[236],"analysis-based":[237],"uses":[240,261],"CounterExample-Guided":[241],"Abstraction":[242],"Refinement":[243],"(CEGAR)":[244],"developed":[246],"automata.":[253],"directed":[257],"results":[262,306],"time-bounded":[265],"modeling":[271],"application,":[276],"simulate":[278],"expected":[280],"worst-case":[281],"runs":[283],"same.":[286],"The":[287],"algorithms":[288],"presented":[289],"have":[293],"implemented":[295],"prototype":[298],"tool":[299],"called":[300],"HeatCheck":[301],".":[302],"experimental":[305],"schedules":[317],"executing":[318],"on":[319],"system.":[322]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2013,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}