{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:12:34Z","timestamp":1725574354458},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540212607"},{"type":"electronic","value":"9783540247388"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24738-8_12","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T08:22:23Z","timestamp":1294388543000},"page":"206-225","source":"Crossref","is-referenced-by-count":1,"title":["Verified Numerical Analysis of the Performance of Switching Systems in Telecommunication"],"prefix":"10.1007","author":[{"given":"Daniela","family":"Fausten","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerhard","family":"Ha\u00dflinger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/BF01159088","volume":"3","author":"J.-Y. Boudec","year":"1988","unstructured":"Boudec, J.-Y.: Le: Steady-State Probabilities of the PH\/PH\/1 Queue. Queueing Systems\u00a03, 73\u201387 (1988)","journal-title":"Queueing Systems"},{"key":"12_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-3130-2","volume-title":"Discrete-Time Models for Communication Systems Including ATM","author":"H. Bruneel","year":"1993","unstructured":"Bruneel, H., Kim, B.: Discrete-Time Models for Communication Systems Including ATM. Kluwer Acad. Publ., Dordrecht (1993)"},{"key":"12_CR3","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1109\/90.234855","volume":"1","author":"A.I. Elwalid","year":"1993","unstructured":"Elwalid, A.I., Mitra, D.: Effective bandwidth of general Markovian traffic sources and admission control of high speed networks. IEEE\/ACM Transactions on Networking\u00a01, 329\u2013343 (1993)","journal-title":"IEEE\/ACM Transactions on Networking"},{"key":"12_CR4","unstructured":"Fausten, D., Luther, W., Ha\u00dflinger, G.: Verified Computing of the Stationary Workload Distribution of a GI\/GI\/1 Server. In: Mastorakis, N., Antoniou, G. (eds.) Recent Advances in Circuits, Systems and Signal Processing, pp. 169\u2013174. WSEAS Press (2002)"},{"key":"12_CR5","unstructured":"Fausten, D., Luther, W., Ha\u00dflinger, G.: Accurate computation of traffic workload distributions. Accepted paper of Proceedings of SCAN 2002, Special issue of Numerical Algorithms (2002)"},{"key":"12_CR6","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/S0166-5316(97)00003-5","volume":"31","author":"A. Feldmann","year":"1997","unstructured":"Feldmann, A., Whitt, W.: Fitting mixtures of exponentials to long-tail distributions. Performance Evaluation\u00a031, 245\u2013279 (1997)","journal-title":"Performance Evaluation"},{"key":"12_CR7","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1287\/opre.37.1.141","volume":"37","author":"W.K. Grassmann","year":"1989","unstructured":"Grassmann, W.K., Jain, J.L.: Numerical solutions of the waiting time distribution and idle time distribution of the arithmetic GI\/G\/1 queue. Operations Research\u00a037, 141\u2013150 (1989)","journal-title":"Operations Research"},{"key":"12_CR8","volume-title":"C++ Toolbox for Verified Computing","author":"R. Hammer","year":"1995","unstructured":"Hammer, R., Hocks, M., Kulisch, U., Ratz, D.: C++ Toolbox for Verified Computing. Springer, Heidelberg (1995)"},{"key":"12_CR9","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0166-5316(99)00067-X","volume":"40","author":"G. Ha\u00dflinger","year":"2000","unstructured":"Ha\u00dflinger, G.: Waiting times, busy periods and output models of a server analyzed via Wiener-Hopf factorization. Perf. Eval.\u00a040, 3\u201326 (2000)","journal-title":"Perf. Eval."},{"key":"12_CR10","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1023\/A:1016658826166","volume":"16","author":"G. Ha\u00dflinger","year":"2001","unstructured":"Ha\u00dflinger, G.: Quality-of-Service analysis for statistical multiplexing with Gaussian distributed & autoregressive input modelling. Telecom. Systems\u00a016, 315\u2013334 (2001)","journal-title":"Telecom. Systems"},{"issue":"3-4","key":"12_CR11","first-page":"25","volume":"3","author":"G. Ha\u00dflinger","year":"2002","unstructured":"Ha\u00dflinger, G., Fausten, D.: Analysis of the Workload in Communication Systems Including Data Transfers over Arbitrary Time Scales. I. J. of Simulation\u00a03(3-4), 25\u201337 (2002)","journal-title":"I. J. of Simulation"},{"key":"12_CR12","unstructured":"Hofschuster, W., Kr\u00e4mer, W., Wedner, S., Wiethoff, A.: C-XSC 2.0 - A C++ Class Library for Extended Scientific Computing. Preprint 2001\/1, Universit\u00e4t Wuppertal (2001)"},{"key":"12_CR13","unstructured":"Jansen, J., Limnios, N. (eds.): Proceedings of the 2nd Internat. Symposium on Semi-Markov Models. Compiegne, France (1998)"},{"key":"12_CR14","volume-title":"C-XSC","author":"R. Klatte","year":"1993","unstructured":"Klatte, R., Kulisch, U., Wiethoff, A., Lawo, C., Rauch, M.: C-XSC. Springer, Heidelberg (1993)"},{"key":"12_CR15","volume-title":"Queueing systems","author":"L. Kleinrock","year":"1975","unstructured":"Kleinrock, L.: Queueing systems, vol.\u00a01\/2. Wiley, Chichester (1975\/1976)"},{"key":"12_CR16","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1023\/A:1019148217045","volume":"25","author":"G. Latouche","year":"1997","unstructured":"Latouche, G., Ramaswami, V.: The PH\/PH\/1 queue at epochs of queue size change. Queueing Systems\u00a025, 97\u2013114 (1997)","journal-title":"Queueing Systems"},{"key":"12_CR17","doi-asserted-by":"publisher","first-page":"1115","DOI":"10.1109\/26.87217","volume":"COM-39","author":"S.-Q. Li","year":"1991","unstructured":"Li, S.-Q.: A general solution technique for discrete queueing analysis of multimedia traffic on ATM. IEEE Trans. on Commun.\u00a0COM-39, 1115\u20131132 (1991)","journal-title":"IEEE Trans. on Commun."},{"key":"12_CR18","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1017\/S0305004100027638","volume":"48","author":"D.V. Lindley","year":"1952","unstructured":"Lindley, D.V.: The theory of queues with a single server. Proc. Cambridge Philos. Soc.\u00a048, 277\u2013289 (1952)","journal-title":"Proc. Cambridge Philos. Soc."},{"key":"12_CR19","volume-title":"Structured Stochastic Matrices of M\/G\/1 Type and their Applications","author":"M.F. Neuts","year":"1989","unstructured":"Neuts, M.F.: Structured Stochastic Matrices of M\/G\/1 Type and their Applications. M. Dekker, New York (1989)"},{"key":"12_CR20","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1109\/90.392383","volume":"3","author":"V. Paxson","year":"1995","unstructured":"Paxson, V., Floyd, S.: Wide area traffic: The failure of Poisson modelling. IEEE\/ACM Transactions on Networking\u00a03, 226\u2013244 (1995)","journal-title":"IEEE\/ACM Transactions on Networking"},{"key":"12_CR21","first-page":"53","volume-title":"A New Approach to Scientific Computation","author":"S.M. Rump","year":"1983","unstructured":"Rump, S.M.: Solving Algebraic Problems with High Accuracy. In: Kulisch, U., Miranker, W.L. (eds.) A New Approach to Scientific Computation, pp. 53\u2013120. Academic Press, New York (1983)"},{"key":"12_CR22","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1080\/15326349908807154","volume":"6","author":"B. Sengupta","year":"1990","unstructured":"Sengupta, B.: The semi-Markovian queue: Theory and applications. Commun. Statist.-Stochastic Models\u00a06, 383\u2013413 (1990)","journal-title":"Commun. Statist.-Stochastic Models"},{"key":"12_CR23","unstructured":"http:\/\/www.math.uni-wuppertal.de\/wrswt\/xsc-sprachen.html"}],"container-title":["Lecture Notes in Computer Science","Numerical Software with Result Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24738-8_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,23]],"date-time":"2019-03-23T04:48:47Z","timestamp":1553316527000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24738-8_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540212607","9783540247388"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24738-8_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}