{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,2,1]],"date-time":"2024-02-01T03:27:38Z","timestamp":1706758058226},"reference-count":36,"publisher":"Springer Science and Business Media LLC","issue":"12","license":[{"start":{"date-parts":[[2015,11,11]],"date-time":"2015-11-11T00:00:00Z","timestamp":1447200000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Supercomput"],"published-print":{"date-parts":[[2015,12]]},"DOI":"10.1007\/s11227-015-1562-1","type":"journal-article","created":{"date-parts":[[2015,11,11]],"date-time":"2015-11-11T08:36:48Z","timestamp":1447231008000},"page":"4594-4622","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Thermal analysis of stochastic DVFS-enabled multicore real-time systems"],"prefix":"10.1007","volume":"71","author":[{"given":"Morteza","family":"Mohaqeqi","sequence":"first","affiliation":[]},{"given":"Mehdi","family":"Kargahi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,11,11]]},"reference":[{"key":"1562_CR1","doi-asserted-by":"crossref","unstructured":"Mesa-Martinez FJ, Ardestani EK, Renau J (2010) Characterizing processor thermal behavior, pp 193\u2013204. doi: 10.1145\/1736020.1736043","DOI":"10.1145\/1736020.1736043"},{"key":"1562_CR2","doi-asserted-by":"crossref","unstructured":"Ukhov I, Bao M, Eles P, Peng Z (2012) Steady-state dynamic temperature analysis and reliability optimization for embedded multiprocessor systems, In: Proceedings of the 49th annual design automation conference, ser. DAC \u201912. ACM, New York, NY, USA, pp 197\u2013204. doi: 10.1145\/2228360.2228399","DOI":"10.1145\/2228360.2228399"},{"key":"1562_CR3","doi-asserted-by":"crossref","unstructured":"Wang S, Munawar W, Liu J, Chen J-J, Liu X (2012) Power-saving design for server farms with response time percentile guarantees. In: Proceedings of the 18th Real Time and Embedded Technology and Applications Symposium, ser. RTAS \u201912. Washington, DC, USA: IEEE Computer Society, 2012, pp 273\u2013284. [Online]. doi: 10.1109\/RTAS.2012.35","DOI":"10.1109\/RTAS.2012.35"},{"key":"1562_CR4","doi-asserted-by":"crossref","unstructured":"Lehoczky JP (1996) Real-time queueing theory. In: IEEE real-time systems symposium, pp 186\u2013195","DOI":"10.1109\/REAL.1996.563715"},{"key":"1562_CR5","doi-asserted-by":"crossref","unstructured":"Tanasa B, Bordoloi U, Eles P, Peng Z (2015) Probabilistic response time and joint analysis of periodic tasks. In: 27th euromicro conference on real-time systems (ECRTS), July 2015, pp 235\u2013246","DOI":"10.1109\/ECRTS.2015.28"},{"key":"1562_CR6","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1080\/15326340500481804","volume":"22","author":"A Movaghar","year":"2006","unstructured":"Movaghar A (2006) On queuing with customer impatience until the end of service. J Stoch Models 22:149\u2013173","journal-title":"J Stoch Models"},{"issue":"2","key":"1562_CR7","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1007\/s11227-006-5944-2","volume":"37","author":"M Kargahi","year":"2006","unstructured":"Kargahi M, Movaghar A (2006) A method for performance analysis of earliest-deadline-first scheduling policy. J Supercomput 37(2):197\u2013222","journal-title":"J Supercomput"},{"key":"1562_CR8","doi-asserted-by":"crossref","unstructured":"Kargahi M, Movaghar A (2005) Non-preemptive earliest-deadline-first scheduling policy: a performance study. In: 13th IEEE international symposium on modeling, analysis, and simulation of computer and telecommunication systems. IEEE, pp 201\u2013208","DOI":"10.1109\/MASCOTS.2005.44"},{"issue":"1","key":"1562_CR9","doi-asserted-by":"crossref","first-page":"94","DOI":"10.1145\/980152.980157","volume":"1","author":"K Skadron","year":"2004","unstructured":"Skadron K, Stan MR, Sankaranarayanan K, Huang W, Velusamy S, Tarjan D (2004) Temperature-aware microarchitecture: modeling and implementation. ACM Trans Archit Code Optim 1(1):94\u2013125. doi: 10.1145\/980152.980157","journal-title":"ACM Trans Archit Code Optim"},{"key":"1562_CR10","doi-asserted-by":"crossref","unstructured":"Rao R, Vrudhula S (2009) Fast and accurate prediction of the steady-state throughput of multicore processors under thermal constraints. Trans Comput Aided Des Integ Circuits Syst 28(10):1559\u20131572. doi: 10.1109\/TCAD.2009.2026361","DOI":"10.1109\/TCAD.2009.2026361"},{"key":"1562_CR11","doi-asserted-by":"crossref","unstructured":"Jung H, Pedram M (2006) Stochastic dynamic thermal management: a Markovian decision-based approach. In: International conference on computer design, ICCD, Oct 2006, pp 452\u2013457","DOI":"10.1109\/ICCD.2006.4380855"},{"key":"1562_CR12","doi-asserted-by":"crossref","unstructured":"Jung H, Rong P, Pedram M (2008) Stochastic modeling of a thermally-managed multi-core system. In: Proceedings of the 45th annual design automation conference, ser. DAC \u201908. ACM, New York, NY, USA, pp 728\u2013733. doi: 10.1145\/1391469.1391657","DOI":"10.1145\/1391469.1391657"},{"key":"1562_CR13","unstructured":"Zhang S, Chatha KS (2008) System-level thermal aware design of applications with uncertain execution time. In: Proceedings of the 2008 IEEE\/ACM international conference on computer-aided design, ser. ICCAD \u201908. IEEE Press, Piscataway, NJ, USA, pp 242\u2013249. http:\/\/dl.acm.org\/citation.cfm?id=1509456.1509518"},{"issue":"3","key":"1562_CR14","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1109\/TII.2010.2052057","volume":"6","author":"G Quan","year":"2010","unstructured":"Quan G, Chaturvedi V (2010) Feasibility analysis for temperature-constraint hard real-time periodic tasks. IEEE Trans Ind Inform 6(3):329\u2013339","journal-title":"IEEE Trans Ind Inform"},{"key":"1562_CR15","doi-asserted-by":"crossref","unstructured":"Schor L, Bacivarov I, Yang H, Thiele L (2012) Worst-case temperature guarantees for real-time applications on multi-core systems. In: IEEE real-time and embedded technology and applications symposium, pp 87\u201396","DOI":"10.1109\/RTAS.2012.14"},{"issue":"6","key":"1562_CR16","doi-asserted-by":"crossref","first-page":"730","DOI":"10.1007\/s11241-013-9188-y","volume":"49","author":"H Yang","year":"2013","unstructured":"Yang H, Bacivarov I, Rai D, Chen J-J, Thiele L (2013) Real-time worst-case temperature analysis with temperature-dependent parameters. Real-Time Syst 49(6):730\u2013762","journal-title":"Real-Time Syst"},{"key":"1562_CR17","doi-asserted-by":"crossref","unstructured":"Mohaqeqi M, Kargahi M (2013) Thermal analysis of periodic real-time systems with stochastic properties: an analytical approach. In: Proceedings of the 21st international conference on real-time networks and systems, ser. RTNS \u201913. ACM, New York, NY, USA, pp 119\u2013127. doi: 10.1145\/2516821.2516846","DOI":"10.1145\/2516821.2516846"},{"issue":"6","key":"1562_CR18","doi-asserted-by":"crossref","first-page":"1378","DOI":"10.1109\/TC.2012.237","volume":"63","author":"M Mohaqeqi","year":"2014","unstructured":"Mohaqeqi M, Kargahi M, Movaghar A (2014) Analytical leakage-aware thermal modeling of a real-time system. IEEE Trans Comput 63(6):1378\u20131392","journal-title":"IEEE Trans Comput"},{"key":"1562_CR19","doi-asserted-by":"crossref","unstructured":"Mohaqeqi M, Kargahi M, Movaghar A (2012) Analytical leakage\/temperature-aware power modeling and optimization for a variable speed real-time system. In: Proceedings of the 20th international conference on real-time and network systems, ser. RTNS \u201912. ACM, pp 81\u201389. doi: 10.1145\/2392987.2392997","DOI":"10.1145\/2392987.2392997"},{"key":"1562_CR20","unstructured":"Kumar P, Yang H, Bacivarov I, Thiele L (2014) Coolip: simple yet effective job allocation for distributed thermally-throttled processors. In: Design, automation and test in europe conference and exhibition (DATE), March 2014, pp 1\u20134"},{"key":"1562_CR21","first-page":"815230","volume":"501","author":"S Dai","year":"2015","unstructured":"Dai S, Hong M, Guo B, He Y, Zhang Q, Sun L, Du Y (2015) A formal approach for rt-dvs algorithms evaluation based on statistical model checking. Math Probl Eng 501:815230","journal-title":"Math Probl Eng"},{"key":"1562_CR22","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-387-71713-5","volume-title":"Low power design essentials","author":"JM Rabaey","year":"2009","unstructured":"Rabaey JM (2009) Low power design essentials. Springer, Berlin"},{"key":"1562_CR23","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4419-8237-7","volume-title":"Real-time systems: design principles for distributed embedded applications","author":"H Kopetz","year":"2011","unstructured":"Kopetz H (2011) Real-time systems: design principles for distributed embedded applications, vol 25. Springer, Berlin"},{"issue":"7","key":"1562_CR24","doi-asserted-by":"crossref","first-page":"1042","DOI":"10.1109\/TCAD.2005.850860","volume":"24","author":"W Liao","year":"2005","unstructured":"Liao W, He L, Lepak K (2005) Temperature and supply voltage aware performance and power modeling at microarchitecture level. IEEE Trans Comput Aided Des Integr Circuits Syst 24(7):1042\u20131053","journal-title":"IEEE Trans Comput Aided Des Integr Circuits Syst"},{"key":"1562_CR25","doi-asserted-by":"crossref","unstructured":"Liu Y, Dick R, Shang L, Yang H (2007) Accurate temperature-dependent integrated circuit leakage power estimation is easy. In: Design, automation and test in Europe, pp 1526\u20131531","DOI":"10.1109\/DATE.2007.364517"},{"key":"1562_CR26","doi-asserted-by":"crossref","unstructured":"Fu Y, Kottenstette N, Lu C, Koutsoukos XD (2012) Feedback thermal control of real-time systems on multicore processors. In: Proceedings of the 10th ACM international conference on embedded software, ser. EMSOFT \u201912. ACM, New York, NY, USA, pp 113\u2013122. doi: 10.1145\/2380356.2380379","DOI":"10.1145\/2380356.2380379"},{"key":"1562_CR27","doi-asserted-by":"crossref","unstructured":"Fisher N, Chen J-J, Wang S, Thiele L (2009) Thermal-aware global real-time scheduling on multicore systems. In: Proceedings of the 15th IEEE symposium on real-time and embedded technology and applications, ser. RTAS \u201909. IEEE Computer Society, Washington, DC, USA, pp 131\u2013140. doi: 10.1109\/RTAS.2009.34","DOI":"10.1109\/RTAS.2009.34"},{"key":"1562_CR28","doi-asserted-by":"crossref","unstructured":"Rao R, Vrudhula S, Chakrabarti C (2007) Throughput of multi-core processors under thermal constraints. In: Proceedings of the international symposium on low power electronics and design, ser. ISLPED \u201907. ACM, New York, NY, USA, pp 201\u2013206. doi: 10.1145\/1283780.1283824","DOI":"10.1145\/1283780.1283824"},{"key":"1562_CR29","doi-asserted-by":"crossref","unstructured":"Skadron K, Stan MR, Huang W, Velusamy S, Sankaranarayanan K, Tarjan D (2003) Temperature-aware microarchitecture: extended discussion and results, Apr. 2003","DOI":"10.1145\/859618.859620"},{"key":"1562_CR30","volume-title":"Introduction to computer system performance evaluation","author":"K Kant","year":"1992","unstructured":"Kant K (1992) Introduction to computer system performance evaluation. McGraw-Hill, New York"},{"key":"1562_CR31","unstructured":"Gieseke B, Allmon R, Bailey D, Benschneider B, Britton S, Clouser J, Fair I, R H, Farrell J, Gowan M, Houghton C, Keller J, Lee T, Leibholz D, Lowell S, Matson M, Matthew R, Peng V, Quinn M, Priore D, Smith M, Wilcox K (1997) A 600 MHz superscalar riscmicroprocessor with out-of-order execution. In: IEEE international solid-state circuits conference, digest of technical papers, pp 176\u2013177"},{"key":"1562_CR32","doi-asserted-by":"crossref","unstructured":"Li S, Ahn JH, Strong RD, Brockman JB, Tullsen DM, Jouppi NP (2013) The mcpat framework for multicore and manycore architectures: simultaneously modeling power, area, and timing. ACM Trans Archit Code Optim 10(1):5:1\u20135:29. doi: 10.1145\/2445572.2445577","DOI":"10.1145\/2445572.2445577"},{"key":"1562_CR33","doi-asserted-by":"crossref","unstructured":"Guthaus MR, Ringenberg JS, Ernst D, Austin TM, Mudge T, Brown RB (2001) Mibench: a free, commercially representative embedded benchmark suite. In: 2001 IEEE international workshop on workload characterization, 2001. WWC-4. IEEE, pp 3\u201314","DOI":"10.1109\/WWC.2001.990739"},{"issue":"4598","key":"1562_CR34","doi-asserted-by":"crossref","first-page":"671","DOI":"10.1126\/science.220.4598.671","volume":"220","author":"S Kirkpatrick","year":"1983","unstructured":"Kirkpatrick S, Vecchi M (1983) Optimization by simmulated annealing. Science 220(4598):671\u2013680","journal-title":"Science"},{"key":"1562_CR35","doi-asserted-by":"crossref","DOI":"10.1137\/1.9781611970920","volume-title":"Iterative methods for optimization","author":"CT Kelley","year":"1999","unstructured":"Kelley CT (1999) Iterative methods for optimization, vol 18. SIAM, Philadelphia"},{"issue":"5","key":"1562_CR36","doi-asserted-by":"crossref","first-page":"650","DOI":"10.1287\/opre.5.5.650","volume":"5","author":"D Barrer","year":"1957","unstructured":"Barrer D (1957) Queuing with impatient customers and ordered service. Oper Res 5(5):650\u2013656","journal-title":"Oper Res"}],"container-title":["The Journal of Supercomputing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-015-1562-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11227-015-1562-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-015-1562-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,1]],"date-time":"2019-09-01T08:38:42Z","timestamp":1567327122000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11227-015-1562-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,11,11]]},"references-count":36,"journal-issue":{"issue":"12","published-print":{"date-parts":[[2015,12]]}},"alternative-id":["1562"],"URL":"https:\/\/doi.org\/10.1007\/s11227-015-1562-1","relation":{},"ISSN":["0920-8542","1573-0484"],"issn-type":[{"value":"0920-8542","type":"print"},{"value":"1573-0484","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,11,11]]}}}