A tool for verified analysis of transient and steady states of queues

SMCtools'06: Proceeding from the 2006 Workshop on Tools for Solving Structured Markov Chains

Volumn 201, Issue , 2006, Pages

  Kempken, Sebastian ^a   Luther, Wolfram ^a   Hasslinger, Gerhard ^b  

^a UNIVERSITY OF DUISBURG ESSEN   (Germany)

^b T SYSTEMS   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DISCRETIZATION GRANULARITY; SEMI-MARKOV SYSTEMS; TRANSIENT SYSTEM BEHAVIOR; VIDEO TRAFFIC;

COMPUTATION THEORY; CONVERGENCE OF NUMERICAL METHODS; FACTORIZATION; GAUSSIAN DISTRIBUTION; POLYNOMIAL APPROXIMATION; SWITCHING SYSTEMS; TELECOMMUNICATION SYSTEMS; TELECOMMUNICATION TRAFFIC; TRANSIENT ANALYSIS;

QUEUEING NETWORKS;

EID: 34748857306     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1190366.1190373     Document Type: Conference Paper

References (18)

1. M. Chaudhry. Alternative numerical solutions of stationary queueing-time distributions in discrete-timequeues: Gi/g/1. Journal of the Operational Research Society, 44(10):1035-1051, 1993.
2. G. Engeln-Müllges and F. Uhlig. Numerical Algorithms with C. Springer, 1996.
3. I. Gargantini and P. Henrici. Circular arithmetic and the determination of polynomial zeros. Numer. Math., 18:305-320, 1971.
4. W. K. Grassmann and J. L. Jain. Numerical solutions of the waiting time distribution and idle time distribution of the arithmetic gi/g/1 queue. Operations Research, 37(1):141-150, 1989.
5. R. Hammer, M. Hocks, and U. Kulisch. C++ Toolbox for Verified Computing. Springer, 1995.
6. G. Haßlinger and S. Kempken. Transient analysis of a single server system in a compact state space. In Proceedings ASMTA 2006, 2006.
7. G. Haßlinger and T. Klein. Breitband-ISDN und ATM-Netze. Teubner, 1999.
8. D. Henrion and M. Sebek. Improved polynomial matrix determinant computation, part i: Fundamental theory and applications. IEEE Trans. on Circuits and Systems, 46:1307-1308, 1999.
9. W. Hofschuster, W. Kramer, S. Wedner, and A. Wiethoff. C-xsc 2.0-a c++ class library for extended scientific computing. In Numerical Software with Result Verification, LNCS 2991, pages 15-35. Springer, 2004.
10. G. Latouche and V. Ramasvami. The ph/ph/1 queue at epochs of queue size change. Queueing Systems, 25:97-114, 1997.
11. D. Lindley. The theory of queues with a single server. In Proc. Cambridge Philos. Soc., volume 48, pages 277 - 289, 1952.
12. W. Luther and S. Kempken. Reliable computation of workload distributions using semi-markov processes. In Proceedings ASMTA 2006, 2006.
13. M. Neuts. Structured Stochastic Matrices of M/G/1 Type and their applications. M. Dekker, 1989.
14. A. Pantazi and T. Antonakopoulos. Equilibrium point analysis for the binary exponential backoff algorithm. Computer Communications, 24:1759 - 1768, 2001.
15. M. Petkovic and L. Petkovic. Complex Interval Arithmetic and Its Applications. Wiley-VCH, 1999.
16. S. Tasaka. Performance analysis of multiple access protocol by equilibrium point analysis. The MIT Press, 1986.
17. D. Traczinski. Faktorisierungslösungen für die Workload in Bediensystemen mit Ergebnisverifikation. PhD thesis, Universität Duisburg-Essen, 2005.
18. D. Traczinski, W. Luther, and G. Haßlinger. Polynomial factorization for servers with semi-markovian workload: Performance and numerical aspects of a verified solution technique. Stochastic Models, 21:643-668, 2005.