Spiral: Search

Search

Results 1-8 of 8

Item hits:

Issue Date	Title	Author(s)
16-Aug-2004	Efficient approximation of response time densities and quantiles in stochastic models	Au-Yeung, S; Dingle, N; Knottenbelt, W
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
16-Aug-2004	Expressing performance requirements using regular expressions to specify stochastic probes over process algebra models	Argent-Katwala, A; Bradley, JT; Dingle, NJ
30-Jun-2004	Iterative Transient State Distribution Calculation in Semi-Markov Processes	Dingle, N
15-Jul-2004	Hypergraph-based parallel computation of passage time densities in large semi-Markov models	Bradley, JT; Dingle, NJ; Knottenbelt, WJ; Wilson, HJ
Oct-2004	Exploring the Barrier to Entry - Incremental Generational Garbage Collection for Haskell	Field, T; Cheadle, A; Peyton Jones, S; Marlow, S; While, R
2004	Using the VOM portal to manage policy within globus toolkit, community authorisation service & ICENI resources	Saleem, A; Krznaric, M; Cohen, J; Newhouse, S; Darlington, J, et al
1-Oct-2004	Stochastic Analysis of Scheduling Strategies in a Grid-based Resource Model	Thomas, N; Bradley, JT; Knottenbelt, WJ