A fluid analysis framework for a Markovian process algebra RA Hayden, JT Bradley Theoretical Computer Science 411 (22-24), 2260-2297, 2010 | 122 | 2010 |
Fluid computation of passage-time distributions in large Markov models RA Hayden, A Stefanek, JT Bradley Theoretical Computer Science 413 (1), 106-141, 2012 | 61 | 2012 |
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 | 39 | 2012 |
A new tool for the performance analysis of massively parallel computer systems A Stefanek, R Hayden, J Bradley arXiv preprint arXiv:1006.5104, 2010 | 34 | 2010 |
Scalable performance analysis of massively parallel stochastic systems RA Hayden Department of Computing, Imperial College London, 2011 | 27 | 2011 |
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 | 26 | 2011 |
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 | 21 | 2013 |
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 | 21 | 2011 |
Mean field for performance models with deterministically-timed transitions RA Hayden 2012 Ninth International Conference on Quantitative Evaluation of Systems, 63-73, 2012 | 20 | 2012 |
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 | 19 | 2006 |
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 | 16 | 2008 |
Evaluating fluid semantics for passive stochastic process algebra cooperation RA Hayden, JT Bradley Performance Evaluation 67 (4), 260-284, 2010 | 15 | 2010 |
Fluid semantics for passive stochastic process algebra cooperation RA Hayden, JT Bradley 3rd International ICST Conference on Performance Evaluation Methodologies …, 2010 | 14 | 2010 |
Addressing the state space explosion problem for PEPA models through fluid-flow approximation R Hayden Undergraduate Project Dissertation, Imperial College London, 2007 | 12 | 2007 |
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 | 11 | 2014 |
Mean-field approximations for performance models with generally-timed transitions RA Hayden ACM SIGMETRICS Performance Evaluation Review 39 (3), 119-121, 2011 | 11 | 2011 |
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 | 10 | 2012 |
Product-forms in batch networks: approximation and asymptotics PG Harrison, RA Hayden, WJ Knottenbelt Performance Evaluation 70 (10), 822-840, 2013 | 9 | 2013 |
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 | 8 | 2011 |
Hybrid analysis of large scale PEPA models A Stefanek, R Hayden, JT Bradley 9th Workshop on Process Algebra and Stochastically Timed Activities (PASTA …, 2010 | 8 | 2010 |