Spiral: Search

Search

Results 1-10 of 10

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-Jan-2008	SERVICE LEVEL AGREEMENT SPECIFICATION, COMPLIANCE PREDICTION AND MONITORING WITH PERFORMANCE TREES	Dingle, NJ; Knottenbelt, WJ; Wang, L; Bertelle C, Ayesh A
1-Jan-2003	HYDRA: HYpergraph-based distributed response-time analyser	Dingle, NJ; Harrison, PG; Knottenbelt, WJ; Arabnia HR, Mun Y
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-Jan-2008	A Parallel and Distributed Analysis Pipeline for Performance Tree Evaluation	Brien, DK; Dingle, NJ; Knottenbelt, WJ; Kulatunga, H; Suto, T
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
1-Jan-2008	Modelling and Validation of Response Times in Zoned RAID	Lebrecht, AS; Dingle, NJ; Knottenbelt, WJ
31-Jul-2009	Truncation of Passage-time Calculations in Semi-Markov Models	Guenther, MC; Bradley, JT; Dingle, NJ; Knottenbelt, WJ
31-Dec-2002	Distributed solution of large markov models using asynchronous iterations and graph partitioning	Dingle, NJ; Knottenbelt, WJ
1-Jan-2008	SIMULATION AND MODELLING OF RAID 0 SYSTEM PERFORMANCE	Wan, F; Dingle, NJ; Knottenbelt, WJ; Lebrecht, AS; Bertelle C, Ayesh A