{"id":"https://openalex.org/W2784191141","doi":"https://doi.org/10.1093/jigpal/jzx048","title":"An evolutionary scheduling approach for trading-off accuracy vs. verifiable energy in multicore processors","display_name":"An evolutionary scheduling approach for trading-off accuracy vs. verifiable energy in multicore processors","publication_year":2017,"publication_date":"2017-09-05","ids":{"openalex":"https://openalex.org/W2784191141","doi":"https://doi.org/10.1093/jigpal/jzx048","mag":"2784191141"},"language":"en","primary_location":{"id":"doi:10.1093/jigpal/jzx048","is_oa":false,"landing_page_url":"https://doi.org/10.1093/jigpal/jzx048","pdf_url":null,"source":{"id":"https://openalex.org/S2734381524","display_name":"Logic Journal of IGPL","issn_l":"1367-0751","issn":["1367-0751","1368-9894"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logic Journal of the IGPL","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/A5068998348","display_name":"Umer Liqat","orcid":"https://orcid.org/0000-0001-9104-8410"},"institutions":[{"id":"https://openalex.org/I88060688","display_name":"Universidad Polit\u00e9cnica de Madrid","ror":"https://ror.org/03n6nwv02","country_code":"ES","type":"education","lineage":["https://openalex.org/I88060688"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"U Liqat","raw_affiliation_strings":["IMDEA Software Institute and Universidad Polit\u00e9cnica de Madrid (UPM), Spain"],"affiliations":[{"raw_affiliation_string":"IMDEA Software Institute and Universidad Polit\u00e9cnica de Madrid (UPM), Spain","institution_ids":["https://openalex.org/I88060688"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064526398","display_name":"Zorana Bankovi\u0107","orcid":null},"institutions":[{"id":"https://openalex.org/I4210162154","display_name":"IMDEA Software","ror":"https://ror.org/04xvfkh51","country_code":"ES","type":"facility","lineage":["https://openalex.org/I105140100","https://openalex.org/I4210162154"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"Z Bankovi\u0107","raw_affiliation_strings":["IMDEA Software Institute, Madrid, Spain"],"affiliations":[{"raw_affiliation_string":"IMDEA Software Institute, Madrid, Spain","institution_ids":["https://openalex.org/I4210162154"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030520172","display_name":"Pedro L\u00f3pez-Garc\u00eda","orcid":"https://orcid.org/0000-0002-1092-2071"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"P Lopez-Garcia","raw_affiliation_strings":["Spanish Council for Scientific Research (CSIC) and IMDEA Software Institute, Madrid, Spain"],"affiliations":[{"raw_affiliation_string":"Spanish Council for Scientific Research (CSIC) and IMDEA Software Institute, Madrid, Spain","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5073531919","display_name":"Manuel V. Hermenegildo","orcid":"https://orcid.org/0000-0002-7583-323X"},"institutions":[{"id":"https://openalex.org/I88060688","display_name":"Universidad Polit\u00e9cnica de Madrid","ror":"https://ror.org/03n6nwv02","country_code":"ES","type":"education","lineage":["https://openalex.org/I88060688"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"M V Hermenegildo","raw_affiliation_strings":["IMDEA Software Institute and Universidad Polit\u00e9cnica de Madrid (UPM), Spain"],"affiliations":[{"raw_affiliation_string":"IMDEA Software Institute and Universidad Polit\u00e9cnica de Madrid (UPM), Spain","institution_ids":["https://openalex.org/I88060688"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5030520172","https://openalex.org/A5064526398","https://openalex.org/A5068998348","https://openalex.org/A5073531919"],"corresponding_institution_ids":["https://openalex.org/I4210162154","https://openalex.org/I88060688"],"apc_list":{"value":4151,"currency":"USD","value_usd":4151},"apc_paid":null,"fwci":0.237,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.60963423,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"25","issue":"6","first_page":"1006","last_page":"1019"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10848","display_name":"Advanced Multi-Objective Optimization Algorithms","score":0.9969000220298767,"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"}},"topics":[{"id":"https://openalex.org/T10848","display_name":"Advanced Multi-Objective Optimization Algorithms","score":0.9969000220298767,"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"}},{"id":"https://openalex.org/T11975","display_name":"Evolutionary Algorithms and Applications","score":0.9944999814033508,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9921000003814697,"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.8075950741767883},{"id":"https://openalex.org/keywords/multi-core-processor","display_name":"Multi-core processor","score":0.6642342805862427},{"id":"https://openalex.org/keywords/energy-consumption","display_name":"Energy consumption","score":0.6068072319030762},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.5566020011901855},{"id":"https://openalex.org/keywords/energy","display_name":"Energy (signal processing)","score":0.44754424691200256},{"id":"https://openalex.org/keywords/energy-minimization","display_name":"Energy minimization","score":0.44377416372299194},{"id":"https://openalex.org/keywords/evolutionary-algorithm","display_name":"Evolutionary algorithm","score":0.4405936002731323},{"id":"https://openalex.org/keywords/schedule","display_name":"Schedule","score":0.42928123474121094},{"id":"https://openalex.org/keywords/efficient-energy-use","display_name":"Efficient energy use","score":0.4262586236000061},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.38223379850387573},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.3727821111679077},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3571292757987976},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.08055928349494934}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8075950741767883},{"id":"https://openalex.org/C78766204","wikidata":"https://www.wikidata.org/wiki/Q555032","display_name":"Multi-core processor","level":2,"score":0.6642342805862427},{"id":"https://openalex.org/C2780165032","wikidata":"https://www.wikidata.org/wiki/Q16869822","display_name":"Energy consumption","level":2,"score":0.6068072319030762},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.5566020011901855},{"id":"https://openalex.org/C186370098","wikidata":"https://www.wikidata.org/wiki/Q442787","display_name":"Energy (signal processing)","level":2,"score":0.44754424691200256},{"id":"https://openalex.org/C14961307","wikidata":"https://www.wikidata.org/wiki/Q5377176","display_name":"Energy minimization","level":2,"score":0.44377416372299194},{"id":"https://openalex.org/C159149176","wikidata":"https://www.wikidata.org/wiki/Q14489129","display_name":"Evolutionary algorithm","level":2,"score":0.4405936002731323},{"id":"https://openalex.org/C68387754","wikidata":"https://www.wikidata.org/wiki/Q7271585","display_name":"Schedule","level":2,"score":0.42928123474121094},{"id":"https://openalex.org/C2742236","wikidata":"https://www.wikidata.org/wiki/Q924713","display_name":"Efficient energy use","level":2,"score":0.4262586236000061},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.38223379850387573},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.3727821111679077},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3571292757987976},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.08055928349494934},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C147597530","wikidata":"https://www.wikidata.org/wiki/Q369472","display_name":"Computational chemistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1093/jigpal/jzx048","is_oa":false,"landing_page_url":"https://doi.org/10.1093/jigpal/jzx048","pdf_url":null,"source":{"id":"https://openalex.org/S2734381524","display_name":"Logic Journal of IGPL","issn_l":"1367-0751","issn":["1367-0751","1368-9894"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logic Journal of the IGPL","raw_type":"journal-article"},{"id":"pmh:oai:dnet:archivodigit::255dda65675766d3d85da6233e7618df","is_oa":false,"landing_page_url":"http://oa.upm.es/48671/","pdf_url":null,"source":{"id":"https://openalex.org/S4306402641","display_name":"LA Referencia (Red Federada de Repositorios Institucionales de Publicaciones Cient\u00edficas)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4383465926","host_organization_name":"LA Referencia","host_organization_lineage":["https://openalex.org/I4383465926"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"Logic Journal of the IGPL, ISSN 1367-0751, 2017-12, Vol. 25, No. 6","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.9100000262260437,"display_name":"Affordable and clean energy","id":"https://metadata.un.org/sdg/7"}],"awards":[{"id":"https://openalex.org/G7371578683","display_name":null,"funder_award_id":"TIN2012-39391","funder_id":"https://openalex.org/F4320321837","funder_display_name":"Ministerio de Econom\u00eda y Competitividad"}],"funders":[{"id":"https://openalex.org/F4320321837","display_name":"Ministerio de Econom\u00eda y Competitividad","ror":"https://ror.org/034900433"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W1982876188","https://openalex.org/W2004264692","https://openalex.org/W2022485595","https://openalex.org/W2038420231","https://openalex.org/W2053700189","https://openalex.org/W2058142975","https://openalex.org/W2067026144","https://openalex.org/W2069438677","https://openalex.org/W2108968575","https://openalex.org/W2126105956","https://openalex.org/W2142044962","https://openalex.org/W2142883190","https://openalex.org/W2293675333","https://openalex.org/W2399169339","https://openalex.org/W2964084624","https://openalex.org/W6645404879","https://openalex.org/W6651408416","https://openalex.org/W6653765493","https://openalex.org/W6661373664","https://openalex.org/W6680915147","https://openalex.org/W6681213329","https://openalex.org/W6681761885","https://openalex.org/W6683785947","https://openalex.org/W6685610675","https://openalex.org/W6689739497","https://openalex.org/W6763950780"],"related_works":["https://openalex.org/W1532018724","https://openalex.org/W2611544307","https://openalex.org/W2067699632","https://openalex.org/W2585682136","https://openalex.org/W3145555534","https://openalex.org/W2071028990","https://openalex.org/W2300268035","https://openalex.org/W2786038483","https://openalex.org/W2769413692","https://openalex.org/W2963533488","https://openalex.org/W2775102974","https://openalex.org/W2080663940","https://openalex.org/W2788206233","https://openalex.org/W2955818431","https://openalex.org/W3129217572","https://openalex.org/W2158206910","https://openalex.org/W2040962129","https://openalex.org/W1865546974","https://openalex.org/W2003271783","https://openalex.org/W3186585144"],"abstract_inverted_index":{"Abstract":[0],"This":[1,39,147],"work":[2,53],"addresses":[3],"the":[4,17,27,52,69,114,118,159,174,179,204,210,255,266],"problem":[5],"of":[6,11,71,82,117,213,272],"energy-efficient":[7,96],"scheduling":[8,197],"and":[9,34,55,86,110,172],"allocation":[10],"tasks":[12,18,119],"in":[13,24,26,60,150],"multicore":[14,225,236],"environments,":[15],"where":[16],"can":[19,57,231],"allow":[20],"a":[21,80,101,128,152],"certain":[22],"loss":[23,43],"accuracy":[25,42,273],"output,":[28],"while":[29],"still":[30],"providing":[31],"proper":[32],"functionality":[33],"meeting":[35],"an":[36,104,169],"energy":[37,62,105,115,136,142,163,189,205,211,260],"budget.":[38],"margin":[40],"for":[41,95,141,165,208,265,269],"is":[44],"exploited":[45],"by":[46,183],"using":[47,168,184],"computing":[48],"techniques":[49],"that":[50,74,100,138,245],"reduce":[51],"load,":[54],"thus":[56],"also":[58],"result":[59],"significant":[61,259],"savings.":[63],"To":[64,98],"this":[65,88,124],"end,":[66],"we":[67,126],"use":[68,127],"technique":[70,89],"loop":[72,251],"perforation,":[73],"transforms":[75],"loops":[76],"to":[77,131,178,187,234],"execute":[78],"only":[79],"subset":[81],"their":[83],"original":[84],"iterations,":[85],"integrate":[87],"into":[90,154],"our":[91,219,229,246],"existing":[92],"optimization":[93,145],"tool":[94,198],"scheduling.":[97],"verify":[99],"schedule":[102],"meets":[103],"budget,":[106],"both":[107],"safe":[108,133],"upper":[109],"lower":[111],"bounds":[112,137],"on":[113,192,224,254,263],"consumption":[116,164,212],"involved":[120],"are":[121,139],"needed.":[122],"For":[123],"reason,":[125],"parametric":[129],"approach":[130,148,230],"estimate":[132],"(and":[134,144],"tight)":[135],"practical":[140],"verification":[143],"applications).":[146],"consists":[149],"dividing":[151],"program":[153,180],"basic":[155],"(\u2018branchless\u2019)":[156],"blocks,":[157],"establishing":[158],"maximal":[160],"(resp.":[161],"minimal)":[162],"each":[166],"block":[167],"evolutionary":[170,200],"algorithm,":[171],"combining":[173],"obtained":[175],"values":[176],"according":[177],"control":[181],"flow,":[182],"static":[185],"analysis":[186],"produce":[188],"bound":[190,206],"functions":[191,207],"input":[193],"data":[194],"sizes.":[195],"The":[196,216,241],"uses":[199],"algorithms":[201],"coupled":[202],"with":[203,218,238,250],"estimating":[209],"different":[214],"schedules.":[215],"experiments":[217],"prototype":[220],"implementation":[221],"were":[222],"performed":[223],"XMOS":[226],"chips,":[227],"but":[228],"be":[232],"adapted":[233],"any":[235],"environment":[237],"minor":[239],"changes.":[240],"experimental":[242],"results":[243],"show":[244],"new":[247],"scheduler":[248],"enhanced":[249],"perforation":[252],"improves":[253],"previous":[256],"one,":[257],"achieving":[258],"savings":[261],"(31%":[262],"average":[264],"test":[267],"programs)":[268],"acceptable":[270],"levels":[271],"loss.":[274]},"counts_by_year":[{"year":2022,"cited_by_count":2},{"year":2018,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}