Verified Computing of the Stationary Workload Distribution of a GI / GI / 1 Server


Exact computation of the workload distribution is relevant to find parameters for quality of service demands. We present a method of obtaining verified enclosures of discrete time GI/GI/1 workload distributions using a polynomial factorization approach and interval arithmetic. Muller’s and Bauhuber’s techniques for a numerical computation of the roots of… (More)

3 Figures and Tables


  • Presentations referencing similar topics