{"id":"https://openalex.org/W1972643309","doi":"https://doi.org/10.1145/1840845.1840863","title":"Temperature- and energy-constrained scheduling in multitasking systems","display_name":"Temperature- and energy-constrained scheduling in multitasking systems","publication_year":2010,"publication_date":"2010-08-18","ids":{"openalex":"https://openalex.org/W1972643309","doi":"https://doi.org/10.1145/1840845.1840863","mag":"1972643309"},"language":"en","primary_location":{"id":"doi:10.1145/1840845.1840863","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1840845.1840863","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 16th ACM/IEEE international symposium on Low power electronics and design","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/A5082417441","display_name":"Weixun Wang","orcid":"https://orcid.org/0000-0002-2727-8948"},"institutions":[{"id":"https://openalex.org/I33213144","display_name":"University of Florida","ror":"https://ror.org/02y3ad647","country_code":"US","type":"education","lineage":["https://openalex.org/I33213144"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Weixun Wang","raw_affiliation_strings":["University of Florida, Gainesville, FL, USA","Department of Computer and Information Science and Engineering, University of Florida Gainesville FL USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Florida, Gainesville, FL, USA","institution_ids":["https://openalex.org/I33213144"]},{"raw_affiliation_string":"Department of Computer and Information Science and Engineering, University of Florida Gainesville FL USA","institution_ids":["https://openalex.org/I33213144"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048617761","display_name":"Xiaoke Qin","orcid":null},"institutions":[{"id":"https://openalex.org/I33213144","display_name":"University of Florida","ror":"https://ror.org/02y3ad647","country_code":"US","type":"education","lineage":["https://openalex.org/I33213144"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Xiaoke Qin","raw_affiliation_strings":["University of Florida, Gainesville, FL, USA","Department of Computer and Information Science and Engineering, University of Florida Gainesville FL USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Florida, Gainesville, FL, USA","institution_ids":["https://openalex.org/I33213144"]},{"raw_affiliation_string":"Department of Computer and Information Science and Engineering, University of Florida Gainesville FL USA","institution_ids":["https://openalex.org/I33213144"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5006818844","display_name":"Prabhat Mishra","orcid":"https://orcid.org/0000-0003-3653-6221"},"institutions":[{"id":"https://openalex.org/I33213144","display_name":"University of Florida","ror":"https://ror.org/02y3ad647","country_code":"US","type":"education","lineage":["https://openalex.org/I33213144"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Prabhat Mishra","raw_affiliation_strings":["University of Florida, Gainesville, FL, USA","Department of Computer and Information Science and Engineering, University of Florida Gainesville FL USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Florida, Gainesville, FL, USA","institution_ids":["https://openalex.org/I33213144"]},{"raw_affiliation_string":"Department of Computer and Information Science and Engineering, University of Florida Gainesville FL USA","institution_ids":["https://openalex.org/I33213144"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I33213144"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":13,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10829","display_name":"Interconnection Networks and Systems","score":0.9991000294685364,"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"}},"topics":[{"id":"https://openalex.org/T10829","display_name":"Interconnection Networks and Systems","score":0.9991000294685364,"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/T10933","display_name":"Real-Time Systems Scheduling","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"}},{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.998199999332428,"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/human-multitasking","display_name":"Human multitasking","score":0.8523194193840027},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6928080320358276},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.5820626020431519},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4283592700958252},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.1243942379951477}],"concepts":[{"id":"https://openalex.org/C107418235","wikidata":"https://www.wikidata.org/wiki/Q1520565","display_name":"Human multitasking","level":2,"score":0.8523194193840027},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6928080320358276},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.5820626020431519},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4283592700958252},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.1243942379951477},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C180747234","wikidata":"https://www.wikidata.org/wiki/Q23373","display_name":"Cognitive psychology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1840845.1840863","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1840845.1840863","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 16th ACM/IEEE international symposium on Low power electronics and design","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.9100000262260437,"id":"https://metadata.un.org/sdg/7","display_name":"Affordable and clean energy"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":40,"referenced_works":["https://openalex.org/W65564217","https://openalex.org/W162527601","https://openalex.org/W634823175","https://openalex.org/W1482831602","https://openalex.org/W1490304119","https://openalex.org/W1518236483","https://openalex.org/W1547863587","https://openalex.org/W1825357451","https://openalex.org/W1870945681","https://openalex.org/W1972372570","https://openalex.org/W1994167326","https://openalex.org/W2002377960","https://openalex.org/W2003841907","https://openalex.org/W2008970505","https://openalex.org/W2062554267","https://openalex.org/W2069700210","https://openalex.org/W2074078071","https://openalex.org/W2101508170","https://openalex.org/W2101960402","https://openalex.org/W2105524902","https://openalex.org/W2107216395","https://openalex.org/W2112062933","https://openalex.org/W2114846699","https://openalex.org/W2116009028","https://openalex.org/W2117648153","https://openalex.org/W2122586531","https://openalex.org/W2123049857","https://openalex.org/W2125381034","https://openalex.org/W2126356851","https://openalex.org/W2137676590","https://openalex.org/W2141649130","https://openalex.org/W2143906469","https://openalex.org/W2152165066","https://openalex.org/W2153269726","https://openalex.org/W2155161598","https://openalex.org/W2160883697","https://openalex.org/W2164675842","https://openalex.org/W2340735175","https://openalex.org/W2913459036","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W4388263628","https://openalex.org/W4242930893","https://openalex.org/W3140336604","https://openalex.org/W2488058330","https://openalex.org/W1988895983","https://openalex.org/W4237084280","https://openalex.org/W2886487614","https://openalex.org/W2552746780","https://openalex.org/W2810211470"],"abstract_inverted_index":{"The":[0,66],"ongoing":[1],"scaling":[2],"of":[3,10,32,85,104,115],"semiconductor":[4],"technology":[5],"is":[6,71,83,102],"causing":[7],"severe":[8],"increase":[9],"on-chip":[11],"power":[12,25],"density":[13],"and":[14,26,61,75,92,107],"temperature":[15],"in":[16,58],"microprocessors.":[17],"This":[18],"has":[19],"raised":[20],"urgent":[21],"requirement":[22],"for":[23],"both":[24],"thermal":[27],"management":[28],"during":[29],"each":[30],"level":[31],"system":[33,106],"design.":[34],"In":[35],"this":[36],"paper,":[37],"we":[38],"propose":[39],"a":[40,59,77],"formal":[41],"technique":[42],"based":[43],"on":[44],"model":[45],"checking":[46],"using":[47],"extended":[48],"timed":[49],"automata":[50],"to":[51,94],"solve":[52],"the":[53,113],"processor":[54],"frequency":[55],"assignment":[56],"problem":[57,70,96],"temperature-":[60],"energy-":[62],"constrained":[63],"multitasking":[64],"system.":[65],"state":[67],"space":[68],"explosion":[69],"alleviated":[72],"by":[73],"transforming":[74],"solving":[76],"Pseudo-Boolean":[78],"satisfiability":[79],"problem.":[80],"Our":[81,100],"approach":[82],"capable":[84],"finding":[86],"efficient":[87],"solutions":[88],"under":[89],"various":[90],"constraints":[91],"applicable":[93],"other":[95],"variants":[97],"as":[98],"well.":[99],"method":[101],"independent":[103],"any":[105],"task":[108],"characteristics.":[109],"Experimental":[110],"results":[111],"demonstrate":[112],"usefulness":[114],"our":[116],"approach.":[117]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2014,"cited_by_count":4},{"year":2012,"cited_by_count":5}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}