{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:31:27Z","timestamp":1725514287202},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642307812"},{"type":"electronic","value":"9783642307829"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-30782-9_14","type":"book-chapter","created":{"date-parts":[[2012,5,31]],"date-time":"2012-05-31T04:45:29Z","timestamp":1338439529000},"page":"193-211","source":"Crossref","is-referenced-by-count":5,"title":["Mean-Field Analysis of Markov Models with Reward Feedback"],"prefix":"10.1007","author":[{"given":"Anton","family":"Stefanek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard A.","family":"Hayden","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark","family":"Mac Gonagle","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeremy T.","family":"Bradley","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","unstructured":"Billingsley, P.: Convergence of Probability Measures. John Wiley & Sons (1968)"},{"key":"14_CR2","first-page":"3","volume-title":"QEST 2011","author":"L. Bortolussi","year":"2011","unstructured":"Bortolussi, L.: Hybrid Limits of Continuous Time Markov Chains. In: QEST 2011, pp. 3\u201312. IEEE, Aachen (2011)"},{"key":"14_CR3","doi-asserted-by":"publisher","first-page":"120","DOI":"10.4204\/EPTCS.57.9","volume":"57","author":"L. Bortolussi","year":"2011","unstructured":"Bortolussi, L., Galpin, V., Hillston, J.: HYPE with stochastic events. EPTCS\u00a057, 120\u2013133 (2011)","journal-title":"EPTCS"},{"issue":"2","key":"14_CR4","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1080\/00031305.1994.10476039","volume":"48","author":"M. Cain","year":"1994","unstructured":"Cain, M.: The moment-generating function of the minimum of bivariate normal random variables. The American Statistician\u00a048(2), 124\u2013125 (1994)","journal-title":"The American Statistician"},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"Davis, M.H.A.: Markov models and optimization. Chapman & Hall\/CRC (1993)","DOI":"10.1007\/978-1-4899-4483-2"},{"key":"14_CR6","unstructured":"Ethier, S.N., Kurtz, T.G.: Markov Processes: Characterization and Convergence. Wiley (2005)"},{"key":"14_CR7","first-page":"13","volume-title":"SIGMETRICS","author":"N. Gast","year":"2010","unstructured":"Gast, N., Bruno, G.: A mean field model of work stealing in large-scale systems. In: SIGMETRICS, p. 13. ACM, New York (2010)"},{"issue":"2","key":"14_CR8","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1145\/1870178.1870189","volume":"38","author":"N. Gast","year":"2010","unstructured":"Gast, N., Gaujal, B.: Mean field limit of non-smooth systems and differential inclusions. SIGMETRICS Performance Evaluation Review\u00a038(2), 30\u201332 (2010)","journal-title":"SIGMETRICS Performance Evaluation Review"},{"issue":"1","key":"14_CR9","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1049\/iet-syb:20070031","volume":"3","author":"C.S. Gillespie","year":"2009","unstructured":"Gillespie, C.S.: Moment-closure approximations for mass-action models. IET Systems Biology\u00a03(1), 52\u201358 (2009)","journal-title":"IET Systems Biology"},{"issue":"22-24","key":"14_CR10","doi-asserted-by":"publisher","first-page":"2260","DOI":"10.1016\/j.tcs.2010.02.001","volume":"411","author":"R.A. Hayden","year":"2010","unstructured":"Hayden, R.A., Bradley, J.T.: A fluid analysis framework for a Markovian process algebra. Theoretical Computer Science\u00a0411(22-24), 2260\u20132297 (2010)","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"14_CR11","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1016\/j.tcs.2011.07.017","volume":"413","author":"R.A. Hayden","year":"2012","unstructured":"Hayden, R.A., Stefanek, A., Bradley, J.T.: Fluid computation of passage-time distributions in large Markov models. Theoretical Computer Science\u00a0413(1), 106\u2013141 (2012)","journal-title":"Theoretical Computer Science"},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"Hillston, J.: Fluid flow approximation of PEPA models. In: QEST, pp. 33\u201342. IEEE (September 2005)","DOI":"10.1109\/QEST.2005.12"},{"issue":"1","key":"14_CR13","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1016\/S0377-2217(97)00028-3","volume":"105","author":"G. Horton","year":"1998","unstructured":"Horton, G., Kulkarni, V.G., Nicol, D.M., Trivedi, K.S.: Fluid stochastic Petri nets: Theory, applications, and solution techniques. European Journal of Operational Research\u00a0105(1), 184\u2013201 (1998)","journal-title":"European Journal of Operational Research"},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"Kallenberg, O.: Foundations of Modern Probability. Springer (2002)","DOI":"10.1007\/978-1-4757-4015-8"},{"key":"14_CR15","unstructured":"Khadim, U.: A comparative study of process algebras for hybrid systems. Computer Science Report 06\u201323, Technische Universiteit Eindhoven (2006)"},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"Klebaner, F.C.: Introduction to stochastic calculus with applications, 2nd edn. Imperial College Press (2006)","DOI":"10.1142\/p386"},{"key":"14_CR17","unstructured":"Rawson, A., Pfleuger, J., Cader, T.: Data Center Power Efficiency Metrics: PUE and DCiE. The Green Grid (2007)"},{"key":"14_CR18","unstructured":"de\u00a0Souza\u00a0e Silva, E., Gail, R.: An algorithm to calculate transient distributions of cummulative rate and impulse-based rewards. Communications in Statistics: Stochastic Models 14(3), 509\u2013536 (1998)"},{"issue":"4","key":"14_CR19","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1007\/s10626-011-0116-9","volume":"21","author":"M. Silva","year":"2011","unstructured":"Silva, M., J\u00falvez, J., Mahulea, C., V\u00e1zquez, C.R.: On fluidization of discrete event models: observation and control of continuous Petri nets. Discrete Event Dynamic Systems\u00a021(4), 427\u2013497 (2011)","journal-title":"Discrete Event Dynamic Systems"},{"key":"14_CR20","doi-asserted-by":"crossref","unstructured":"Stefanek, A., Hayden, R.A., Bradley, J.T.: A new tool for the performance analysis of massively parallel computer systems. In: QAPL. Electronic Proceedings in Theoretical Computer Science (March 2010)","DOI":"10.4204\/EPTCS.28.11"},{"key":"14_CR21","doi-asserted-by":"crossref","unstructured":"Stefanek, A., Hayden, R.A., Bradley, J.T.: Fluid Analysis of Energy Consumption using Rewards in Massively Parallel Markov Models. In: Computing, p. 121. ACM Press (2011)","DOI":"10.1145\/1958746.1958767"},{"key":"14_CR22","doi-asserted-by":"crossref","unstructured":"Stefanek, A., Hayden, R.A., Bradley, J.T.: GPA \u2013 A Tool for Fluid Scalability Analysis of Massively Parallel Systems. In: QEST, pp. 147\u2013148. IEEE (September 2011)","DOI":"10.1109\/QEST.2011.26"},{"issue":"11","key":"14_CR23","doi-asserted-by":"publisher","first-page":"1458","DOI":"10.1109\/TPDS.2008.111","volume":"19","author":"Q. Tang","year":"2008","unstructured":"Tang, Q., Gupta, S., Varsamopoulos, G.: Energy-efficient thermal-aware task scheduling for homogeneous high-performance computing data centers: A cyber-physical approach. IEEE Transactions on Parallel and Distributed Systems\u00a019(11), 1458\u20131472 (2008)","journal-title":"IEEE Transactions on Parallel and Distributed Systems"},{"key":"14_CR24","doi-asserted-by":"crossref","unstructured":"Telek, M., R\u00e1cz, S.: Numerical analysis of large Markovian reward models. Performance Evaluation, 36\u201337, 95\u2013114 (August 1999)","DOI":"10.1016\/S0166-5316(99)00032-2"},{"issue":"1","key":"14_CR25","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1109\/TSE.2010.82","volume":"38","author":"M. Tribastone","year":"2012","unstructured":"Tribastone, M., Gilmore, S., Hillston, J.: Scalable Differential Analysis of Process Algebra Models. IEEE Transactions on Software Engineering\u00a038(1), 205\u2013219 (2012)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"14_CR26","doi-asserted-by":"crossref","unstructured":"Whitt, W.: Internet supplement to Stochastic-Process Limits (2002), http:\/\/www.columbia.edu\/~ww2040\/supplement.html","DOI":"10.1007\/b97479"}],"container-title":["Lecture Notes in Computer Science","Analytical and Stochastic Modeling Techniques and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30782-9_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,24]],"date-time":"2024-04-24T21:45:54Z","timestamp":1713995154000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30782-9_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642307812","9783642307829"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30782-9_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}