Search


Current filters:
Start a new search
Add filters:

Use filters to refine the search results.


Results 31-40 of 62
Item hits:
Issue DateTitleAuthor(s)
1-Jul-2001Performance analysis of three implementation strategies for distributed lock managementKnottenbelt, WJ; Zertal, S; Harrison, PG
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-2008Modelling and Validation of Response Times in Zoned RAIDLebrecht, AS; Dingle, NJ; Knottenbelt, WJ
31-Dec-2006Response Time Densities and Quantiles in Large Markov and Semi-Markov ModelsBradley, J; Dingle, N; Harder, U; Harrison, P; Knottenbelt, W
29-Feb-2000A Probabilistic Dynamic Technique for the Distributed Generation of Very Large State SpacesKnottenbelt, W; Harrison, P; Mestern, M; Kritzinger, P
1-Jan-2008Fluid semantics for passive stochastic process algebra cooperationHayden, RA; Bradley, JT
31-Jul-2009Truncation of Passage-time Calculations in Semi-Markov ModelsGuenther, MC; Bradley, JT; Dingle, NJ; Knottenbelt, WJ
31-Jul-2008Validation of Large Zoned RAID SystemsLebrecht, A; Dingle, N; Knottenbelt, W
31-Dec-2002Distributed solution of large markov models using asynchronous iterations and graph partitioningDingle, NJ; Knottenbelt, WJ