Use filters to refine the search results.
Results 1-4 of 4
|1-Jan-2003||HYDRA: HYpergraph-based distributed response-time analyser||Dingle, NJ; Harrison, PG; Knottenbelt, WJ; Arabnia HR, Mun Y|
|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|
|1-Aug-2006||Distributed computation of transient state distributions and passage time quantiles in large semi-Markov models||Bradley, JT; Dingle, NJ; Harrison, PG; Knottenbelt, WJ|
|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|