Spiral: Search

Search

Results 11-20 of 62

Item hits:

Issue Date	Title	Author(s)
1-Jan-2003	HYDRA: HYpergraph-based distributed response-time analyser	Dingle, NJ; Harrison, PG; Knottenbelt, WJ; Arabnia HR, Mun Y
1-Dec-2006	A novel approach to allocating QoS-constrained workflow-based jobs in a multi-cluster grid	Patel, Y; Darlington, J
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-2004	Uniformization and hypergraph partitioning for the distributed computation of response time in very large Markov models	Dingle, NJ; Harrison, PG; Knottenbelt, WJ
31-Jul-2008	ODE-based general moment approximations for PEPA	Hayden, R; Bradley, J
31-Mar-2009	PIPE2: A Tool for the Performance Evaluation of Generalised Stochastic Petri Nets	Dingle, N; Knottenbelt, W; Suto, T
31-Aug-2009	Spatial extension of stochastic Pi calculus	Stefanek, A; Vigliotti, M; Bradley, J
31-Jul-2007	Response Time Approximations in Fork-Join Queues	Lebrecht, A; Knottenbelt, W
31-Dec-2002	Passage time distributions in large Markov chains	Harrison,P.G.; Knottenbelt,W.J.
16-Aug-2004	Expressing performance requirements using regular expressions to specify stochastic probes over process algebra models	Argent-Katwala, A; Bradley, JT; Dingle, NJ