Use filters to refine the search results.
Results 1-3 of 3
|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|
|15-Jul-2004||Hypergraph-based parallel computation of passage time densities in large semi-Markov models||Bradley, JT; Dingle, NJ; Knottenbelt, WJ; Wilson, HJ|