{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T04:19:05Z","timestamp":1745986745648,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":39,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642358869"},{"type":"electronic","value":"9783642358876"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-35887-6_18","type":"book-chapter","created":{"date-parts":[[2013,1,4]],"date-time":"2013-01-04T11:10:13Z","timestamp":1357297813000},"page":"334-353","source":"Crossref","is-referenced-by-count":0,"title":["Low-Cost Dynamic Voltage and Frequency Management Based upon Robust Control Techniques under Thermal Constraints"],"prefix":"10.1007","author":[{"given":"Sylvain","family":"Durand","sequence":"first","affiliation":[]},{"given":"Suzanne","family":"Lesecq","sequence":"additional","affiliation":[]},{"given":"Edith","family":"Beign\u00e9","sequence":"additional","affiliation":[]},{"given":"Christian","family":"Fabre","sequence":"additional","affiliation":[]},{"given":"Lionel","family":"Vincent","sequence":"additional","affiliation":[]},{"given":"Diego","family":"Puschini","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"18_CR1","doi-asserted-by":"crossref","unstructured":"Liu, Y., Yang, H., Dick, R.P., Wang, H., Shang, L.: Thermal vs energy optimization for dvfs-enabled processors in embedded systems. In: 8th International Symposium on Quality Electronic Design, ISQED 2007 (2007)","DOI":"10.1109\/ISQED.2007.158"},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"Hanumaiah, V., Vrudhula, S.: Temperature-aware dvfs for hard real-time applications on multi-core processors. IEEE Transactions on Computers (2011)","DOI":"10.1109\/DATE.2011.5763032"},{"key":"18_CR3","unstructured":"Durand, S.: Reduction of the Energy Consumption in Embedded Electronic Devices with Low Control Computational Cost. PhD thesis, University of Grenoble, France (2011)"},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"Zhuravlev, S., Saez, J.C., Blagodurov, S., Fedorova, A., Prieto, V.: Survey of energy-cognizant scheduling techniques. IEEE Transactions on Parallel and Distributed Systems (2012)","DOI":"10.1109\/TPDS.2012.20"},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"Tschanz, J., Kao, J., Narendra, S., Nair, R., Antoniadis, D., Chandrakasan, A., De, V.: Adaptive body bias for reducing impacts of die-to-die and within-die parameter variations on microprocessor frequency and leakage. In: 2002 IEEE International Solid-State Circuits Conference, Digest of Technical Papers, ISSCC, vol.\u00a01, pp. 422\u2013478 (2002)","DOI":"10.1109\/ISSCC.2002.993112"},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"Firouzi, F., Yazdanbakhsh, A., Dorosti, H., Fakhraie, S.M.: Dynamic soft error hardening via joint body biasing and dynamic voltage scaling. In: 2011 14th Euromicro Conference on Digital System Design, DSD, August 31-September 2, pp. 385\u2013392 (2011)","DOI":"10.1109\/DSD.2011.53"},{"issue":"99","key":"18_CR7","first-page":"1","volume":"PP","author":"N. Mehta","year":"2011","unstructured":"Mehta, N., Amrutur, B.: Dynamic supply and threshold voltage scaling for cmos digital circuits using in-situ power monitor. IEEE Transactions on Very Large Scale Integration (VLSI) Systems\u00a0PP(99), 1\u201310 (2011)","journal-title":"IEEE Transactions on Very Large Scale Integration (VLSI) Systems"},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"Horowitz, M., Indermaur, T., Gonz\u00e1lez, R.: Low-power digital design. In: IEEE Symposium on Low Power Electronics, Digest of Technical Papers, pp. 8\u201311 (October 1994)","DOI":"10.1109\/LPE.1994.573184"},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"Choudhary, P., Marculescu, D.: Hardware based frequency\/voltage control of voltage frequency island systems. In: Proceedings of the 4th International Conference on Hardware\/Software Codesign and System Synthesis, CODES+ISSS 2006, pp. 34\u201339 (October 2006)","DOI":"10.1145\/1176254.1176265"},{"issue":"1","key":"18_CR10","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1109\/TCAD.2004.839485","volume":"24","author":"K. Choi","year":"2005","unstructured":"Choi, K., Soma, R., Pedram, M.: Fine-grained dynamic voltage and frequency scaling for precise energy and performance tradeoff based on the ratio of off-chip access to on-chip computation times. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems\u00a024(1), 18\u201328 (2005)","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"Sabry, M., Coskun, A., Atienza, D., Simunic Rosing, T., Brunschwiler, T.: Energy-efficient multi-objective thermal control for liquid-cooled 3D stacked architectures. IEEE Transactions on Computer Aided Design (2011)","DOI":"10.1109\/TCAD.2011.2164540"},{"issue":"10","key":"18_CR12","doi-asserted-by":"publisher","first-page":"1681","DOI":"10.1109\/TPDS.2011.39","volume":"29","author":"X. Wang","year":"2011","unstructured":"Wang, X., Ma, K., Wang, Y.: Adaptive power control with online model estimation for chip multiprocessors. IEEE Trans. on Parallel and Distributed Systems\u00a029(10), 1681\u20131696 (2011)","journal-title":"IEEE Trans. on Parallel and Distributed Systems"},{"key":"18_CR13","doi-asserted-by":"publisher","first-page":"1642","DOI":"10.1109\/JSSC.2005.852041","volume":"40","author":"P. Chen","year":"2005","unstructured":"Chen, P., Chen, C.-C., Tsai, C.-C., Lu, W.-F.: A time-to-digital-converter-based cmos smart temperature sensor. IEEE Journal of Solid-State Circuits\u00a040, 1642\u20131648 (2005)","journal-title":"IEEE Journal of Solid-State Circuits"},{"key":"18_CR14","unstructured":"Aoki, H., Ikeda, M., Asada, K.: On-chip voltage noise monitor for measuring voltage bounce in power supply lines using a digital tester. In: International Conference on Microelectronic Test Structures, ICMTS (2000)"},{"key":"18_CR15","doi-asserted-by":"crossref","unstructured":"Datta, B., Burleson, W.: Low-power and robust on-chip thermal sensing using differential ring oscillators. In: 50th Midwest Symposium on Circuits and Systems, MWSCAS (2007)","DOI":"10.1109\/MWSCAS.2007.4488534"},{"key":"18_CR16","doi-asserted-by":"crossref","unstructured":"Quenot, G., Paris, N., Zavidovique, B.: A temperature and voltage measurement cell for vlsi circuits. In: Euro ASIC 1991 (1991)","DOI":"10.1109\/EUASIC.1991.212842"},{"key":"18_CR17","unstructured":"Vincent, L., Beigne, E., Alacoque, L., Lesecq, S., Bour, C., Maurine, P.: A fully integrated 32 nm multiprobe for dynamic pvt measurements within complex digital soc. In: VARI 2011, Grenoble, France (2011)"},{"key":"18_CR18","doi-asserted-by":"crossref","unstructured":"Vincent, L., Maurine, P., Lesecq, S., Beign\u00e9, E.: Embedding statistical tests for on-chip dynamic voltage and temperature monitoring. In: 49th ACM\/EDAC\/IEEE Design Automation Conference, DAC (2012)","DOI":"10.1145\/2228360.2228539"},{"issue":"4","key":"18_CR19","doi-asserted-by":"publisher","first-page":"498","DOI":"10.1109\/5.371964","volume":"83","author":"A.P. Chandrakasan","year":"1995","unstructured":"Chandrakasan, A.P., Brodersen, R.W.: Minimizing power consumption in digital CMOS circuits. Proceedings of the IEEE\u00a083(4), 498\u2013523 (1995)","journal-title":"Proceedings of the IEEE"},{"key":"18_CR20","doi-asserted-by":"crossref","unstructured":"Varma, A., Ganesh, B., Sen, M., Choudhury, S.R., Srinivasan, L., Bruce, J.: A control-theoretic approach to dynamic voltage scheduling. In: Proceedings of the International Conference on Compilers, Architecture and Synthesis for Embedded Systems (2003)","DOI":"10.1145\/951710.951744"},{"key":"18_CR21","doi-asserted-by":"crossref","unstructured":"Ishihara, T., Yasuura, H.: Voltage scheduling problem for dynamically variable voltage processors. In: Proceedings of the International Sympsonium on Low Power Electronics and Design (1998)","DOI":"10.1145\/280756.280894"},{"key":"18_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"556","DOI":"10.1007\/978-3-540-74442-9_54","volume-title":"Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation","author":"S. Miermont","year":"2007","unstructured":"Miermont, S., Vivet, P., Renaudin, M.: A Power Supply Selector for Energy- and Area-Efficient Local Dynamic Voltage Scaling. In: Az\u00e9mard, N., Svensson, L. (eds.) PATMOS 2007. LNCS, vol.\u00a04644, pp. 556\u2013565. Springer, Heidelberg (2007)"},{"key":"18_CR23","doi-asserted-by":"crossref","unstructured":"Durand, S., Marchand, N.: Fully discrete control scheme of the energy-performance tradeoff in embedded electronic devices. In: Proceedings of the 18th World Congress of IFAC (2011)","DOI":"10.3182\/20110828-6-IT-1002.01961"},{"key":"18_CR24","series-title":"LNCIS","volume-title":"Stabilization of Nonlinear Systems Using Receding-Horizon Control Schemes: A Parametrized Approach for Fast Systems","author":"M. Alamir","year":"2006","unstructured":"Alamir, M.: Stabilization of Nonlinear Systems Using Receding-Horizon Control Schemes: A Parametrized Approach for Fast Systems. LNCIS, vol.\u00a0339. Springer, Heidelberg (2006)"},{"key":"18_CR25","doi-asserted-by":"crossref","unstructured":"Kuzmicz, W., Piwowarska, E., Pfitzner, A., Kasprowicz, D.: Static power consumption in nano-cmos circuits: Physics and modelling. In: Proceeding of the 14th International Conference on Mixed Design of Integrated Circuits and Systems (2007)","DOI":"10.1109\/MIXDES.2007.4286142"},{"key":"18_CR26","unstructured":"Yang, C.-Y., Chen, J.-J., Lothar, T., Kuo, T.-W.: Energy-efficient real-time task scheduling with temperature-dependent leakage. In: Conference & Exhibition on Design, Automation and Test in Europe (2010)"},{"key":"18_CR27","doi-asserted-by":"crossref","unstructured":"Yuan, L., Leventhal, S., Qu, G.: Temperature-aware leakage minimization technique for real-time systems. In: IEEE\/ACM International Conference on Computer-Aided Design (2006)","DOI":"10.1109\/ICCAD.2006.320117"},{"key":"18_CR28","doi-asserted-by":"crossref","unstructured":"Chaturvedi, V., Huang, H., Quan, G.: Leakage aware scheduling on maximum temperature minimization for periodic hard real-time systems. In: 10th IEEE International Conference on Computer and Information Technology (2010)","DOI":"10.1109\/CIT.2010.312"},{"key":"18_CR29","unstructured":"Huang, H., Quan, G.: Leakage aware energy minimization for real-time systems under the maximum temperature constraint. In: Conference & Exhibition on Design, Automation and Test in Europe (2011)"},{"key":"18_CR30","doi-asserted-by":"crossref","unstructured":"Chaturvedi, V., Quan, G.: Leakage conscious DVS scheduling for peak temperature minimization. In: 16th Asia and South Pacific Design Automation Conference (2011)","DOI":"10.1109\/ASPDAC.2011.5722173"},{"key":"18_CR31","doi-asserted-by":"crossref","unstructured":"Huang, H., Quan, G., Fan, J., Qiu, M.: Throughput maximizaion for periodic real-time systems under the maximal temperature constraint. In: 48th ACM\/EDAC\/IEEE Design Automation Conference (2011)","DOI":"10.1145\/2024724.2024811"},{"key":"18_CR32","doi-asserted-by":"crossref","unstructured":"Quan, G., Zhang, Y.: Leakage aware feasibility analisys for temperature-constrained hard real-time periodic tasks. In: 21st Euromicro Conference on Real-Time Systems (2009)","DOI":"10.1109\/ECRTS.2009.28"},{"key":"18_CR33","unstructured":"Zhang, S., Chatha, K.S.: Approximation algorithm for the temperature-aware scheduling problem. In: IEEE\/ACM International Conference on Computer-Aided Design (2007)"},{"key":"18_CR34","doi-asserted-by":"crossref","unstructured":"Erickson, R.W., Maksimovi\u0107, D.: Fundamentals of Power Electronics, 2nd edn. Springer Science (2001)","DOI":"10.1007\/b100747"},{"key":"18_CR35","doi-asserted-by":"crossref","unstructured":"Sridhar, A., Vincenzi, A., Ruggiero, M., Brunschwiler, T., Atienza, D.: 3D-ICE: Fast compact transient thermal modeling for 3D-ICs with inter-tier liquid cooling. In: International Conference on Computer-Aided Design (2010)","DOI":"10.1109\/ICCAD.2010.5653749"},{"key":"18_CR36","doi-asserted-by":"crossref","unstructured":"Sridhar, A., Vincenzi, A., Ruggiero, M., Brunschwiler, T., Atienza, D.: Compact transient thermal model for 3D ICs with liquid cooling via enhanced heat transfer cavity geometries. In: 16th International Workshop on Thermal Investigations of ICs and Systems (2010)","DOI":"10.1109\/ICCAD.2010.5653749"},{"key":"18_CR37","doi-asserted-by":"crossref","unstructured":"Beigne, E., Vivet, P.: An innovative local adaptive voltage scaling architecture for on-chip variability compensation. In: IEEE Int. Conf. New Circuits and Systems, NEWCAS, pp. 510\u2013513 (June 2011)","DOI":"10.1109\/NEWCAS.2011.5981331"},{"issue":"3","key":"18_CR38","doi-asserted-by":"publisher","first-page":"328","DOI":"10.1166\/jolpe.2011.1141","volume":"7","author":"C. Albea","year":"2011","unstructured":"Albea, C., Puschini, D., Vivet, P., Miro Panades, I., Beign\u00e9, E., Lesecq, S.: Architecture and robust control of a digital frequency-locked loop for fine-grain dynamic voltage and frequency scaling in globally asynchronous locally synchronous structures. J. Low Power Electronics\u00a07(3), 328\u2013340 (2011)","journal-title":"J. Low Power Electronics"},{"key":"18_CR39","unstructured":"STMicroelectronics and CEA. Platform 2012 \u2013 A Manycore Programmable Accelerator for Ultra-Efficient Embedded Computing in Nanometer Technology (November 2010) (Whitepaper)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Components and Objects"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35887-6_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T16:00:32Z","timestamp":1745942432000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35887-6_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642358869","9783642358876"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35887-6_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}