Search


Current filters:

Start a new search
Add filters:

Use filters to refine the search results.


Results 1-10 of 11
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-Jan-2008SERVICE LEVEL AGREEMENT SPECIFICATION, COMPLIANCE PREDICTION AND MONITORING WITH PERFORMANCE TREESDingle, NJ; Knottenbelt, WJ; Wang, L; Bertelle C, Ayesh A
1-Jan-2003HYDRA: HYpergraph-based distributed response-time analyserDingle, NJ; Harrison, PG; Knottenbelt, WJ; Arabnia HR, Mun Y
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-Jan-2008A Parallel and Distributed Analysis Pipeline for Performance Tree EvaluationBrien, DK; Dingle, NJ; Knottenbelt, WJ; Kulatunga, H; Suto, T
1-Jan-2003Performance queries on Semi-Markov Stochastic Petri nets with an extended continuous Stochastic logicBradley, JT; Dingle, NJ; Harrison, PG; Knottenbelt, WJ
1-Jan-2008Modelling and Validation of Response Times in Zoned RAIDLebrecht, AS; Dingle, NJ; Knottenbelt, WJ
31-Jul-2009Truncation of Passage-time Calculations in Semi-Markov ModelsGuenther, MC; Bradley, JT; Dingle, NJ; Knottenbelt, WJ
31-Dec-2002Distributed solution of large markov models using asynchronous iterations and graph partitioningDingle, NJ; Knottenbelt, WJ

Discover