Richard Hayden
Richard Hayden
Research Associate, Imperial College London
Verified email at doc.ic.ac.uk
TitleCited byYear
A fluid analysis framework for a Markovian process algebra
RA Hayden, JT Bradley
Theoretical Computer Science 411 (22-24), 2260-2297, 2010
1142010
Fluid computation of passage-time distributions in large Markov models
RA Hayden, A Stefanek, JT Bradley
Theoretical Computer Science 413 (1), 106-141, 2012
522012
Performance specification and evaluation with unified stochastic probes and fluid analysis
RA Hayden, JT Bradley, A Clark
IEEE Transactions on Software Engineering 39 (1), 97-118, 2012
322012
A new tool for the performance analysis of massively parallel computer systems
A Stefanek, R Hayden, J Bradley
arXiv preprint arXiv:1006.5104, 2010
312010
Fluid analysis of energy consumption using rewards in massively parallel Markov models
A Stefanek, RA Hayden, JT Bradley
Proceedings of the 2nd ACM/SPEC International Conference on Performance …, 2011
242011
Scalable performance analysis of massively parallel stochastic systems
RA Hayden
Department of Computing, Imperial College London, 2011
232011
Mean field for performance models with deterministically-timed transitions
RA Hayden
2012 Ninth International Conference on Quantitative Evaluation of Systems, 63-73, 2012
192012
GPA-A tool for fluid scalability analysis of massively parallel systems
A Stefanek, RA Hayden, JT Bradley
2011 Eighth International Conference on Quantitative Evaluation of SysTems …, 2011
172011
Extracting response times from fluid analysis of performance models
JT Bradley, R Hayden, WJ Knottenbelt, T Suto
SPEC International Performance Evaluation Workshop, 29-43, 2008
152008
Bounds on the deviation of discrete-time Markov chains from their mean-field model
L Bortolussi, RA Hayden
Performance Evaluation 70 (10), 736-749, 2013
142013
Evaluating fluid semantics for passive stochastic process algebra cooperation
RA Hayden, JT Bradley
Performance Evaluation 67 (4), 260-284, 2010
142010
Fluid semantics for passive stochastic process algebra cooperation
RA Hayden, JT Bradley
Proceedings of the 3rd International Conference on Performance Evaluation …, 2008
132008
Visualising dynamic memory allocators
AM Cheadle, AJ Field, JW Ayres, N Dunn, RA Hayden, ...
Proceedings of the 5th international symposium on Memory management, 115-125, 2006
132006
Addressing the state space explosion problem for PEPA models through fluid-flow approximation
RA Hayden
Undergraduate Project Dissertation, Imperial College London, 2007
122007
Mean-field approximations for performance models with generally-timed transitions
RA Hayden
ACM SIGMETRICS Performance Evaluation Review 39 (3), 119-121, 2011
112011
Mean field for performance models with generally-distributed timed transitions
RA Hayden, I Horváth, M Telek
International Conference on Quantitative Evaluation of Systems, 90-105, 2014
92014
Mean-field analysis of Markov models with reward feedback
A Stefanek, RA Hayden, M Mac Gonagle, JT Bradley
International Conference on Analytical and Stochastic Modeling Techniques …, 2012
92012
Fluid computation of the performance: energy tradeoff in large scale Markov models
A Stefanek, RA Hayden, JT Bradley
ACM SIGMETRICS Performance Evaluation Review 39 (3), 104-106, 2011
82011
Convergence of ODE approximations and bounds on performance models in the steady-state
RA Hayden
9th Workshop on Process Algebra and Stochastically Timed Activities (PASTA), 49, 2010
72010
Mean-field analysis of large scale Markov fluid models with fluid dependent and time-inhomogeneous rates
A Stefanek, RA Hayden, JT Bradley
Annals of Operations Research to appear, 2013
62013
The system can't perform the operation now. Try again later.
Articles 1–20