Computing Publications

Publications Home » Iterative Transient State Distrib...

Iterative Transient State Distribution Calculation in Semi-Markov Processes

Nicholas J. Dingle

National Workshop Paper
3rd Workshop on Process Algebras and Stochastically Timed Activities (PASTA'04)
June, 2004
pp.1–9
Abstract

This paper presents an iterative technique for the transient analysis of large structurally unrestricted semi-Markov processes (SMPs), which builds on our previous work on iterative passage time calculation. The method is based on the calculation and subsequent numerical inversion of Laplace transforms. We demonstrate our technique on a Markovian process algebra model of a web-server with 69,440 states.

Keywords
AESOP
PDF of full publication (114 kilobytes)
(need help viewing PDF files?)
BibTEX file for the publication
N.B.
Conditions for downloading publications from this site.
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.