Verified Methods in Stochastic Traffic Modelling
From MaRDI portal
Publication:5302767
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
Probabilistic models, generic numerical methods in probability and statistics (65C20) Queues and service in operations research (90B22) Interval and finite arithmetic (65G30)
Uses Software
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