Verified Methods in Stochastic Traffic Modelling

Authors:
Sebastian Kempken;Wolfram Luther
Affiliations:
Universität Duisburg-Essen, Duisburg, Germany 47048;Universität Duisburg-Essen, Duisburg, Germany 47048
Venue:
Reliable Implementation of Real Number Algorithms: Theory and Practice
Year:
2008

Citing 5
Cited 0

A modified Prony algorithm for exponential function fitting

SIAM Journal on Scientific Computing
Simple and efficient models for variable bit rate MPEG video traffic

Performance Evaluation - Special issue on applied probability modelling in telecommunication
Inverse Eigenvalue Problems

SIAM Review
Theory, Volume 1, Queueing Systems

Theory, Volume 1, Queueing Systems
Accelerating consistency techniques and prony's method for reliable parameter estimation of exponential sums

COCOS'03 Proceedings of the Second international conference on Global Optimization and Constraint Satisfaction

Quantified Score

Hi-index	0.02

Visualization

Abstract

In this paper, we present two validated methods from different application fields in stochastic traffic modelling. First, we show how the autocorrelation of a semi-Markov arrival process can be described as a sum of exponential terms using validated numerics. Next, we use interval arithmetic as a reliable method to analyse the transient states of simple GI/G/1 queueing systems and compute the time required for the system to reach the equilibrium.