Richard A. Hayden

Publication Activity (10 Years)

Years Active: 2006-2016
Publications (10 Years): 1

Top Topics

Efficient Computation

Statistical Models

Sequence Classification

Top Venues

Perform. Evaluation

Ann. Oper. Res.

Publications

Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley
Mean-field analysis of hybrid Markov population models with time-inhomogeneous rates. Ann. Oper. Res. 239 (2) (2016)
Richard A. Hayden, Illés Horváth, Miklós Telek
Mean Field for Performance Models with Generally-Distributed Timed Transitions. QEST (2014)
Luca Bortolussi, Richard A. Hayden
Bounds on the deviation of discrete-time Markov chains from their mean-field model. Perform. Evaluation 70 (10) (2013)
Richard A. Hayden, Jeremy T. Bradley, Allan Clark
Performance Specification and Evaluation with Unified Stochastic Probes and Fluid Analysis. IEEE Trans. Software Eng. 39 (1) (2013)
Peter G. Harrison, Richard A. Hayden, William J. Knottenbelt
Product-forms in batch networks: Approximation and asymptotics. Perform. Evaluation 70 (10) (2013)
Matej Kohut, Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley
Specification and Efficient Computation of Passage-Time Distributions in GPA. QEST (2012)
Anton Stefanek, Richard A. Hayden, Mark Mac Gonagle, Jeremy T. Bradley
Mean-Field Analysis of Markov Models with Reward Feedback. ASMTA (2012)
Richard A. Hayden, Anton Stefanek, Jeremy T. Bradley
Fluid computation of passage-time distributions in large Markov models. Theor. Comput. Sci. 413 (1) (2012)
Richard A. Hayden
Basic theory and some applications of martingales. SIGMETRICS (2012)
Jeremy T. Bradley, Nigel Thomas, Richard A. Hayden, Anton Stefanek
Invited Response to Computer Journal Lecture by Prof. Jane Hillston. Comput. J. 55 (7) (2012)
Richard A. Hayden
Mean Field for Performance Models with Deterministically-Timed Transitions. QEST (2012)
Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley
Fluid analysis of energy consumption using rewards in massively parallel markov models. ICPE (2011)
Richard A. Hayden
Mean-field approximations for performance models with generally-timed transitions. SIGMETRICS Perform. Evaluation Rev. 39 (3) (2011)
Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley
Fluid computation of the performance: energy tradeoff in large scale Markov models. SIGMETRICS Perform. Evaluation Rev. 39 (3) (2011)
Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley
GPA - A Tool for Fluid Scalability Analysis of Massively Parallel Systems. QEST (2011)
Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley
Fluid analysis of energy consumption using rewards in massively parallel Markov models (abstracts only). SIGMETRICS Perform. Evaluation Rev. 39 (3) (2011)
Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley
A new tool for the performance analysis of massively parallel computer systems QAPL (2010)
Richard A. Hayden, Jeremy T. Bradley
A fluid analysis framework for a Markovian process algebra. Theor. Comput. Sci. 411 (22-24) (2010)
Richard A. Hayden, Jeremy T. Bradley
Evaluating fluid semantics for passive stochastic process algebra cooperation. Perform. Evaluation 67 (4) (2010)
Richard A. Hayden, Jeremy T. Bradley
Shared Transaction Markov Chains for fluid analysis of massively parallel systems. MASCOTS (2009)
Richard A. Hayden, Jeremy T. Bradley
Fluid semantics for passive stochastic process algebra cooperation. VALUETOOLS (2008)
Jeremy T. Bradley, Richard A. Hayden, William J. Knottenbelt, Tamas Suto
Extracting Response Times from Fluid Analysis of Performance Models. SIPEW (2008)
Andrew M. Cheadle, A. J. Field, J. W. Ayres, Neil Dunn, Richard A. Hayden, Johan Nyström-Persson
Visualising dynamic memory allocators. ISMM (2006)