Follow
Richard Hayden
Richard Hayden
Research Associate, Imperial College London
Verified email at doc.ic.ac.uk
Title
Cited by
Cited by
Year
A fluid analysis framework for a Markovian process algebra
RA Hayden, JT Bradley
Theoretical Computer Science 411 (22-24), 2260-2297, 2010
1222010
Fluid computation of passage-time distributions in large Markov models
RA Hayden, A Stefanek, JT Bradley
Theoretical Computer Science 413 (1), 106-141, 2012
612012
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
392012
A new tool for the performance analysis of massively parallel computer systems
A Stefanek, R Hayden, J Bradley
arXiv preprint arXiv:1006.5104, 2010
342010
Scalable performance analysis of massively parallel stochastic systems
RA Hayden
Department of Computing, Imperial College London, 2011
272011
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
262011
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
212013
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
212011
Mean field for performance models with deterministically-timed transitions
RA Hayden
2012 Ninth International Conference on Quantitative Evaluation of Systems, 63-73, 2012
202012
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
192006
Extracting response times from fluid analysis of performance models
JT Bradley, R Hayden, WJ Knottenbelt, T Suto
Performance Evaluation: Metrics, Models and Benchmarks: SPEC International …, 2008
162008
Evaluating fluid semantics for passive stochastic process algebra cooperation
RA Hayden, JT Bradley
Performance Evaluation 67 (4), 260-284, 2010
152010
Fluid semantics for passive stochastic process algebra cooperation
RA Hayden, JT Bradley
3rd International ICST Conference on Performance Evaluation Methodologies …, 2010
142010
Addressing the state space explosion problem for PEPA models through fluid-flow approximation
R Hayden
Undergraduate Project Dissertation, Imperial College London, 2007
122007
Mean field for performance models with generally-distributed timed transitions
RA Hayden, I Horváth, M Telek
Quantitative Evaluation of Systems: 11th International Conference, QEST 2014 …, 2014
112014
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 analysis of Markov models with reward feedback
A Stefanek, RA Hayden, M Mac Gonagle, JT Bradley
Analytical and Stochastic Modeling Techniques and Applications: 19th …, 2012
102012
Product-forms in batch networks: approximation and asymptotics
PG Harrison, RA Hayden, WJ Knottenbelt
Performance Evaluation 70 (10), 822-840, 2013
92013
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
Hybrid analysis of large scale PEPA models
A Stefanek, R Hayden, JT Bradley
9th Workshop on Process Algebra and Stochastically Timed Activities (PASTA …, 2010
82010
The system can't perform the operation now. Try again later.
Articles 1–20