Search


Current filters:
Start a new search
Add filters:

Use filters to refine the search results.


Results 1-10 of 13
Item hits:
Issue DateTitleAuthor(s)
1-Jan-2003Derivation of passage-time densities in PEPA models using ipc: the imperial PEPA compilerBradley, JT; Dingle, NJ; Gilmore, ST; Knottenbelt, WJ; Titsworth F
1-Aug-2009Distributed Response Time Analysis of GSPN Models with MapReduceHaggarty, OJ; Knottenbelt, WJ; Bradley, JT
31-Dec-2003Extracting passage times from PEPA models with the HYDRA tool: a case studyBradley, JT; Dingle, NJ; Gilmore, ST; Knottenbelt, WJ; Jarvis SA
16-Aug-2004Expressing performance requirements using regular expressions to specify stochastic probes over process algebra modelsArgent-Katwala, A; Bradley, JT; Dingle, NJ
1-Apr-2010Evaluating fluid semantics for passive stochastic process algebra cooperationHayden, RA; Bradley, JT
1-Aug-2006Distributed computation of transient state distributions and passage time quantiles in large semi-Markov modelsBradley, JT; Dingle, NJ; Harrison, PG; Knottenbelt, WJ
1-Jan-2009Shared Transaction Markov Chains for Fluid Analysis of Massively Parallel SystemsHayden, R; Bradley, JT; Bradley JT, Conrad JM, Field AJ, Harder U, Knottenbelt WJ, Riley GF
1-Jan-2003Performance queries on Semi-Markov Stochastic Petri nets with an extended continuous Stochastic logicBradley, JT; Dingle, NJ; Harrison, PG; Knottenbelt, WJ
15-Jul-2004Hypergraph-based parallel computation of passage time densities in large semi-Markov modelsBradley, JT; Dingle, NJ; Knottenbelt, WJ; Wilson, HJ
1-Jan-2008Fluid semantics for passive stochastic process algebra cooperationHayden, RA; Bradley, JT