Spiral: Search

Search

Results 31-40 of 62

Item hits:

Issue Date	Title	Author(s)
1-Jul-2001	Performance analysis of three implementation strategies for distributed lock management	Knottenbelt, WJ; Zertal, S; Harrison, PG
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
1-Jan-2008	Modelling and Validation of Response Times in Zoned RAID	Lebrecht, AS; Dingle, NJ; Knottenbelt, WJ
31-Dec-2006	Response Time Densities and Quantiles in Large Markov and Semi-Markov Models	Bradley, J; Dingle, N; Harder, U; Harrison, P; Knottenbelt, W
29-Feb-2000	A Probabilistic Dynamic Technique for the Distributed Generation of Very Large State Spaces	Knottenbelt, W; Harrison, P; Mestern, M; Kritzinger, P
1-Jan-2008	Fluid semantics for passive stochastic process algebra cooperation	Hayden, RA; Bradley, JT
31-Jul-2009	Truncation of Passage-time Calculations in Semi-Markov Models	Guenther, MC; Bradley, JT; Dingle, NJ; Knottenbelt, WJ
31-Jul-2008	Validation of Large Zoned RAID Systems	Lebrecht, A; Dingle, N; Knottenbelt, W
31-Dec-2002	Distributed solution of large markov models using asynchronous iterations and graph partitioning	Dingle, NJ; Knottenbelt, WJ