2009 |
33 | EE | Nigel Thomas,
Jeremy T. Bradley,
William J. Knottenbelt:
Preface.
Electr. Notes Theor. Comput. Sci. 232: 1-3 (2009) |
32 | EE | Nicholas J. Dingle,
William J. Knottenbelt:
Automated Customer-Centric Performance Analysis of Generalised Stochastic Petri Nets Using Tagged Tokens.
Electr. Notes Theor. Comput. Sci. 232: 75-88 (2009) |
2008 |
31 | EE | Abigail S. Lebrecht,
Nicholas J. Dingle,
William J. Knottenbelt:
A Response Time Distribution Model for Zoned RAID.
ASMTA 2008: 144-157 |
30 | EE | Lei Wang,
Nicholas J. Dingle,
William J. Knottenbelt:
Natural Language Specification of Performance Trees.
EPEW 2008: 141-151 |
29 | | Abigail S. Lebrecht,
Nicholas J. Dingle,
William J. Knottenbelt:
Modelling and Validation of Response Times in Zoned RAID.
MASCOTS 2008: 123-132 |
28 | EE | Darren K. Brien,
Nicholas J. Dingle,
William J. Knottenbelt,
Harini Kulatunga,
Tamas Suto:
A Parallel and Distributed Analysis Pipeline for Performance Tree Evaluation.
QEST 2008: 237-238 |
27 | EE | Jeremy T. Bradley,
Richard Hayden,
William J. Knottenbelt,
Tamas Suto:
Extracting Response Times from Fluid Analysis of Performance Models.
SIPEW 2008: 29-43 |
26 | EE | Aleksandar Trifunovic,
William J. Knottenbelt:
Parallel multilevel algorithms for hypergraph partitioning.
J. Parallel Distrib. Comput. 68(5): 563-581 (2008) |
2007 |
25 | EE | Tamas Suto,
Jeremy T. Bradley,
William J. Knottenbelt:
Performance Trees: Expressiveness and Quantitative Semantics.
QEST 2007: 41-50 |
24 | EE | Harini Kulatunga,
Ashok Argent-Katwala,
William J. Knottenbelt:
Cluster Grid based Response-time analysis module for the PIPE Tool.
QEST 2007: 51-52 |
23 | EE | William J. Knottenbelt,
Jeremy T. Bradley:
Tackling Large State Spaces in Performance Modelling.
SFM 2007: 318-370 |
22 | EE | Susanna W. M. Au-Yeung,
Peter G. Harrison,
William J. Knottenbelt:
Approximate queueing network analysis of patient treatment times.
VALUETOOLS 2007: 45 |
2006 |
21 | EE | Aleksandar Trifunovic,
William J. Knottenbelt:
A General Graph Model for Representing Exact Communication Volume in Parallel Sparse Matrix-Vector Multiplication.
ISCIS 2006: 813-824 |
20 | EE | Tamas Suto,
Jeremy T. Bradley,
William J. Knottenbelt:
Performance Trees: A New Approach to Quantitative Performance Specification.
MASCOTS 2006: 303-313 |
19 | EE | Uli Harder,
Matt W. Johnson,
Jeremy T. Bradley,
William J. Knottenbelt:
Observing Internet Worm and Virus Attacks with a Small Network Telescope.
Electr. Notes Theor. Comput. Sci. 151(3): 47-59 (2006) |
18 | EE | Jeremy T. Bradley,
Nicholas J. Dingle,
Peter G. Harrison,
William J. Knottenbelt:
Distributed computation of transient state distributions and passage time quantiles in large semi-Markov models.
Future Generation Comp. Syst. 22(7): 828-837 (2006) |
2005 |
17 | EE | Jeremy T. Bradley,
Douglas V. de Jager,
William J. Knottenbelt,
Aleksandar Trifunovic:
Hypergraph Partitioning for Faster Parallel PageRank Computation.
EPEW/WS-FM 2005: 155-171 |
16 | EE | Jeremy T. Bradley,
William J. Knottenbelt:
Preface.
Electr. Notes Theor. Comput. Sci. 128(4): 1-2 (2005) |
2004 |
15 | EE | Aleksandar Trifunovic,
William J. Knottenbelt:
Towards a Parallel Disk-Based Algorithm for Multilevel k-way Hypergraph Partitioning.
IPDPS 2004 |
14 | EE | Aleksandar Trifunovic,
William J. Knottenbelt:
Par kway 2.0: A Parallel Multilevel Hypergraph Partitioning Tool.
ISCIS 2004: 789-800 |
13 | EE | Aleksandar Trifunovic,
William J. Knottenbelt:
A Parallel Algorithm for Multilevel k-Way Hypergraph Partitioning.
ISPDC/HeteroPar 2004: 114-121 |
12 | EE | Jeremy T. Bradley,
William J. Knottenbelt:
The ipc/HYDRA Tool Chain for the Analysis of PEPA Models.
QEST 2004: 334-335 |
11 | EE | Susanna W. M. Au-Yeung,
Nicholas J. Dingle,
William J. Knottenbelt:
Efficient approximation of response time densities and quantiles in stochastic models.
WOSP 2004: 151-155 |
10 | EE | Nigel Thomas,
Jeremy T. Bradley,
William J. Knottenbelt:
Stochastic analysis of scheduling strategies in a Grid-based resource model.
IEE Proceedings - Software 151(5): 232-239 (2004) |
9 | EE | Nicholas J. Dingle,
Peter G. Harrison,
William J. Knottenbelt:
Uniformization and hypergraph partitioning for the distributed computation of response time densities in very large Markov models.
J. Parallel Distrib. Comput. 64(8): 908-920 (2004) |
2003 |
8 | EE | Jeremy T. Bradley,
Nicholas J. Dingle,
Peter G. Harrison,
William J. Knottenbelt:
Distributed Computation of Passage Time Quantiles and Transient State Distributions in Large Semi-Markov Models.
IPDPS 2003: 281 |
7 | EE | Jeremy T. Bradley,
Nicholas J. Dingle,
Stephen T. Gilmore,
William J. Knottenbelt:
Derivation of Passage-time Densities in PEPA Models using ipc: the Imperial PEPA Compiler.
MASCOTS 2003: 344- |
6 | | Nicholas J. Dingle,
Peter G. Harrison,
William J. Knottenbelt:
HYDRA: HYpergraph-Based Distributed Response-Time Analyzer.
PDPTA 2003: 215-219 |
2002 |
5 | EE | Ian Davies,
William J. Knottenbelt,
Pieter S. Kritzinger:
Symbolic Methods for the State Space Exploration of GSPN Models.
Computer Performance Evaluation / TOOLS 2002: 188-199 |
4 | EE | Peter G. Harrison,
William J. Knottenbelt:
Passage time distributions in large Markov chains.
SIGMETRICS 2002: 77-85 |
3 | EE | Nicholas J. Dingle,
Peter G. Harrison,
William J. Knottenbelt:
Response time densities in generalised stochastic petrinet models.
Workshop on Software and Performance 2002: 46-54 |
2000 |
2 | | William J. Knottenbelt,
Peter G. Harrison,
Mark Mestern,
Pieter S. Kritzinger:
A probabilistic dynamic technique for the distributed generation of very large state spaces.
Perform. Eval. 39(1-4): 127-148 (2000) |
1998 |
1 | EE | William J. Knottenbelt,
Mark Mestern,
Peter G. Harrison,
Pieter S. Kritzinger:
Probability, Parallelism and the State Space Exploration Problem.
Computer Performance Evaluation (Tools) 1998: 165-179 |