Output details
11 - Computer Science and Informatics
Imperial College London
Passage-time computation and aggregation strategies for large semi-Markov processes
<13>Passage time analysis of semi-Markov processes (SMPs) is a useful way to predict compliance of systems with response time targets, but is frequently bedevilled by state space explosion. This paper presents a novel kind of partitioning and aggregation strategy for SMPs which saves up to 99% of the memory required by an unaggregated SMP without losing accuracy. This paper is a key output of the EPSRC grant "Analysis of Massively Parallel Stochastic Systems" (EP/G011737/1) and the first author's related dissertation was a finalist (top 3) in the Information Technology category of 2010 Science, Engineering and Technology (SET) awards.