Verified Methods in Stochastic Traffic Modelling

DOI10.1007/978-3-540-85521-7_5zbMath1165.90396OpenAlexW1507813720MaRDI QIDQ5302767

Sebastian Kempken, Wolfram J. Luther

Publication date: 13 January 2009

Published in: Reliable Implementation of Real Number Algorithms: Theory and Practice (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-85521-7_5

Mathematics Subject Classification ID

Probabilistic models, generic numerical methods in probability and statistics (65C20) Queues and service in operations research (90B22) Interval and finite arithmetic (65G30)

Uses Software

• INTLAB

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Non-negative matrices and Markov chains. 2nd ed
• Alternative Numerical Solutions of Stationary Queueing-Time Distributions in Discrete-Time Queues: GI/G/1
• A Modified Prony Algorithm for Exponential Function Fitting
• Inverse Eigenvalue Problems
• Accelerating Consistency Techniques and Prony’s Method for Reliable Parameter Estimation of Exponential Sums
• Polynomial Factorization for Servers with Semi-Markovian Workload: Performance and Numerical Aspects of a Verified Solution Technique
• Computational error bounds for multiple or nearly multiple eigenvalues

This page was built for publication: Verified Methods in Stochastic Traffic Modelling