Dear Spiral user, We’re pleased to introduce Helix, https://helix.imperial.ac.uk/ Imperial’s new repository for research datasets. Please use Helix for all future dataset deposits. There is no change to Spiral -continue depositing as usual. For queries, contact the Research Data Management team at rdm-enquiries@imperial.ac.uk. Kind regards, the Spiral Team.
 
Distributed computation of transient state distributions and passage time quantiles in large semi-Markov models
File(s)
Author(s)
Bradley, JT
Dingle, NJ
Harrison, PG
Knottenbelt, WJ
Type
Journal Article
Abstract
Semi-Markov processes (SMPs) are expressive tools for modelling parallel and distributed systems; they are a generalisation of Markov processes that allow for arbitrarily distributed sojourn times. This paper presents an iterative technique for transient and passage time 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 validated against simulation. (C) 2006 Elsevier B.V. All rights reserved.
Version
Submitted version
Date Issued
2003-04
Citation
Future Generation Computer Systems, 2003, 22 (7), pp.281-
URI
URL
DOI
ISBN
0-7695-1926-1
ISSN
1530-2075
Publisher
IEEE
Start Page
281
End Page
837
Journal / Book Title
Future Generation Computer Systems
Volume
22
Issue
7
Copyright Statement
© 2006 Elsevier Ltd. This is the author’s version of a work that was accepted for publication in Future Generation Computer Systems. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. A definitive version was subsequently published in Future Generation Computer Systems, volume 22, issue 7 (August 2006). doi:10.1016/j.future.2006.02.011.
License URL
Identifier
http://pubs.doc.ic.ac.uk/passage-pmeo2003/
Source
PMEO-PDS 2003, International Workshop on Performance Modeling, Evaluation, and Optimization of Parallel and Distributed Systems
Source Volume Number
22
Subjects
performance measures
stochastic processes
stochastic analysis
algorithms
Publication Status
Published
Start Date
2003-04-22
Finish Date
2003-04-26
Coverage Spatial
Nice, FRANCE