{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T12:10:55Z","timestamp":1730203855010,"version":"3.28.0"},"reference-count":30,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,8]]},"DOI":"10.1109\/ccta.2018.8511572","type":"proceedings-article","created":{"date-parts":[[2018,11,16]],"date-time":"2018-11-16T04:05:14Z","timestamp":1542341114000},"page":"1494-1501","source":"Crossref","is-referenced-by-count":0,"title":["Formalin: Architectural Support for Power & Performance Aware GPU"],"prefix":"10.1109","author":[{"given":"Muhammad Husni","family":"Santriaji","sequence":"first","affiliation":[]},{"given":"Henry","family":"Hoffmann","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref30","article-title":"CASH: supporting iaas customers with a sub-core configurable architecture","author":"zhou","year":"2016","journal-title":"ISCA"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2815400.2815403"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2007.1003"},{"key":"ref12","article-title":"Designing controllable computer systems","author":"karamanolis","year":"2005","journal-title":"HOTOS"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1109\/CPSNA.2015.23","article-title":"Racing and pacing to idle: Theoretical and empirical analysis of energy optimization heuristics","author":"kim","year":"2015","journal-title":"Proceedings of the 2015 IEEE 3rd International Conference on Cyber-Physical Systems Networks and Applications"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/2362336.2362340"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568227"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/2508148.2485964"},{"journal-title":"The Control Handbook","year":"1996","author":"levine","key":"ref17"},{"key":"ref18","first-page":"1014","article-title":"Feedback control architecture and design methodology for service delay guarantees in web servers","volume":"17","author":"lu","year":"2006","journal-title":"IEEE TPDS"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2011.2177499"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/1736020.1736044"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568272"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1504\/IJES.2009.027939"},{"key":"ref3","article-title":"Dark silicon and the end of multicore scaling","author":"esmaeilzadeh","year":"2011","journal-title":"ISCA"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2007.30"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945460"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786833"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2014.32"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1002\/047166880X"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/IISWC.2009.5306797"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2525526.2525854"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ISPASS.2009.4919648"},{"key":"ref20","article-title":"Au-tomated control of multiple software goals using multiple actuators","author":"maggio","year":"2017","journal-title":"FSE"},{"key":"ref22","article-title":"Using multiple input, multiple output formal control to maximize resource efficiency in architectures","author":"pothukuchi","year":"2016","journal-title":"ISCA"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/3173162.3173184"},{"key":"ref24","first-page":"1","article-title":"Control-theoretical software adaptation: A systematic literature review","volume":"pp","author":"shevtsov","year":"2017","journal-title":"IEEE Transactions on Software Engineering"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2016.7783719"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/CSSE.2008.1219"},{"key":"ref25","article-title":"Parboil: A revised benchmark suite for scientific and commercial throughput computing","volume":"127","author":"stratton","year":"2012","journal-title":"Center for Reliable and High-Performance Computing"}],"event":{"name":"2018 IEEE Conference on Control Technology and Applications (CCTA)","start":{"date-parts":[[2018,8,21]]},"location":"Copenhagen","end":{"date-parts":[[2018,8,24]]}},"container-title":["2018 IEEE Conference on Control Technology and Applications (CCTA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8490495\/8511086\/08511572.pdf?arnumber=8511572","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,24]],"date-time":"2020-08-24T00:59:49Z","timestamp":1598230789000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8511572\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,8]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/ccta.2018.8511572","relation":{},"subject":[],"published":{"date-parts":[[2018,8]]}}}