loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
International Parallel and Distributed Processing Symposium (IPDPS'03)
Distributed Computation of Passage Time Quantiles and Transient State Distributions in Large Semi-Markov Models
Nice, France
April 22-April 26
ISBN: 0-7695-1926-1
Jeremy T. Bradley, Imperial College of Science, Technology and Medicine
Nicholas J. Dingle, Imperial College of Science, Technology and Medicine
Peter G. Harrison, Imperial College of Science, Technology and Medicine
William J. Knottenbelt, Imperial College of Science, Technology and Medicine
Semi-Markov processes (SMPs) are expressive tools for modelling concurrent systems; they are a generalisation of Markov processes that allow for arbitrarily distributed sojourn times. This paper presents an iterative technique for passage time and transient analysis of large structurally unrestricted semi-Markov processes. Our method is based on the calculation and subsequent numerical inversion of Laplace transforms and is amenable to a highly scalable distributed implementation. Results for a distributed voting system model with up to 1.1 million states are presented and compared against simulation.
Citation:
Jeremy T. Bradley, Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt, "Distributed Computation of Passage Time Quantiles and Transient State Distributions in Large Semi-Markov Models," ipdps, pp.281a, International Parallel and Distributed Processing Symposium (IPDPS'03), 2003
Usage of this product signifies your acceptance of the Terms of Use.