Spiral: Search

Search

Results 1-8 of 8

Item hits:

Issue Date	Title	Author(s)
1-Jan-2003	Derivation of passage-time densities in PEPA models using ipc: the imperial PEPA compiler	Bradley, JT; Dingle, NJ; Gilmore, ST; Knottenbelt, WJ; Titsworth F
1-Aug-2009	Distributed Response Time Analysis of GSPN Models with MapReduce	Haggarty, OJ; Knottenbelt, WJ; Bradley, JT
31-Dec-2003	Extracting passage times from PEPA models with the HYDRA tool: a case study	Bradley, JT; Dingle, NJ; Gilmore, ST; Knottenbelt, WJ; Jarvis SA
1-Aug-2006	Distributed computation of transient state distributions and passage time quantiles in large semi-Markov models	Bradley, JT; Dingle, NJ; Harrison, PG; Knottenbelt, WJ
1-Jan-2003	Performance queries on Semi-Markov Stochastic Petri nets with an extended continuous Stochastic logic	Bradley, JT; Dingle, NJ; Harrison, PG; Knottenbelt, WJ
15-Jul-2004	Hypergraph-based parallel computation of passage time densities in large semi-Markov models	Bradley, JT; Dingle, NJ; Knottenbelt, WJ; Wilson, HJ
31-Jul-2009	Truncation of Passage-time Calculations in Semi-Markov Models	Guenther, MC; Bradley, JT; Dingle, NJ; Knottenbelt, WJ
1-Oct-2004	Stochastic Analysis of Scheduling Strategies in a Grid-based Resource Model	Thomas, N; Bradley, JT; Knottenbelt, WJ