Richard A. Hayden

发表

Abstract only: fluid analysis of energy consumption using rewards in massively parallel Markov models

Jeremy T. Bradley, Anton Stefanek, Richard A. Hayden, 2011 .

Fluid computation of the performance: energy tradeoff in large scale Markov models

Jeremy T. Bradley, Anton Stefanek, Richard A. Hayden, 2011, PERV.

Mean-Field Analysis of Markov Models with Reward Feedback

Jeremy T. Bradley, Anton Stefanek, Richard A. Hayden, 2012, ASMTA.

Specification and Efficient Computation of Passage-Time Distributions in GPA

Jeremy T. Bradley, Anton Stefanek, Richard A. Hayden, 2012, 2012 Ninth International Conference on Quantitative Evaluation of Systems.

Visualising dynamic memory allocators

Tony Field, Richard A. Hayden, Johan Nyström-Persson, 2006, ISMM '06.

A new tool for the performance analysis of massively parallel computer systems

Jeremy T. Bradley, Anton Stefanek, Richard A. Hayden, 2010, QAPL.

Mean Field for Performance Models with Generally-Distributed Timed Transitions

Miklós Telek, Richard A. Hayden, Illés Horváth, 2014, QEST.

Scalable Stochastic Modelling for Resilience

Philipp Reinecke, Katinka Wolter, Lucia Cloth, 2012, Resilience Assessment and Evaluation of Computing Systems.

Basic theory and some applications of martingales

Richard A. Hayden, R. A. Hayden, 2012, SIGMETRICS '12.

GPA - A Tool for Fluid Scalability Analysis of Massively Parallel Systems

Jeremy T. Bradley, Anton Stefanek, Richard A. Hayden, 2011, 2011 Eighth International Conference on Quantitative Evaluation of SysTems.

Performance Specification and Evaluation with Unified Stochastic Probes and Fluid Analysis

Allan Clark, Jeremy T. Bradley, Richard A. Hayden, 2013, IEEE Transactions on Software Engineering.

Evaluating fluid semantics for passive stochastic process algebra cooperation

Jeremy T. Bradley, Richard A. Hayden, J. Bradley, 2010, Perform. Evaluation.

Mean-field analysis of hybrid Markov population models with time-inhomogeneous rates

Jeremy T. Bradley, Anton Stefanek, Richard A. Hayden, 2016, Ann. Oper. Res..

Product-forms in batch networks: Approximation and asymptotics

Peter G. Harrison, William J. Knottenbelt, Richard A. Hayden, 2013, Perform. Evaluation.

Mean-field approximations for performance models with generally-timed transitions

Richard A. Hayden, R. A. Hayden, 2011, PERV.

Fluid analysis of energy consumption using rewards in massively parallel Markov models (abstracts only)

Jeremy T. Bradley, Anton Stefanek, Richard A. Hayden, 2011, PERV.

Extracting Response Times from Fluid Analysis of Performance Models

Jeremy T. Bradley, William J. Knottenbelt, Richard A. Hayden, 2008, SIPEW.

Invited Response to Computer Journal Lecture by Prof. Jane Hillston

Jeremy T. Bradley, Nigel Thomas, Anton Stefanek, 2012, Comput. J..

Shared Transaction Markov Chains for fluid analysis of massively parallel systems

Jeremy T. Bradley, Richard A. Hayden, J. Bradley, 2009, 2009 IEEE International Symposium on Modeling, Analysis & Simulation of Computer and Telecommunication Systems.

Mechanism of manual adjustment of the inclination of a seat, in particular motor vehicle

Richard A. Hayden, Fred F. Neumann, 1985 .

GPA: A Multiformalism, Multisolution Approach to Efficient Analysis of Large-Scale Population Models

Jeremy T. Bradley, Marcel C. Guenther, Anton Stefanek, 2014 .

Bounds on the deviation of discrete-time Markov chains from their mean-field model

Luca Bortolussi, Richard A. Hayden, L. Bortolussi, 2013, Perform. Evaluation.

Fluid computation of passage-time distributions in large Markov models

Jeremy T. Bradley, Anton Stefanek, Richard A. Hayden, 2012, Theor. Comput. Sci..

A fluid analysis framework for a Markovian process algebra

Jeremy T. Bradley, Richard A. Hayden, J. Bradley, 2010, Theor. Comput. Sci..

Mean Field for Performance Models with Deterministically-Timed Transitions

Richard A. Hayden, R. A. Hayden, 2012, 2012 Ninth International Conference on Quantitative Evaluation of Systems.

Fluid analysis of energy consumption using rewards in massively parallel markov models

Jeremy T. Bradley, Anton Stefanek, Richard A. Hayden, 2011, ICPE '11.

GPA – Tool for rapid analysis of very large scale PEPA models

Jeremy T. Bradley, Anton Stefanek, Richard A. Hayden, 2010 .

Hybrid analysis of large scale PEPA models

Jeremy T. Bradley, Anton Stefanek, Richard A. Hayden, 2010 .

Mean-field models for interacting battery-powered devices

Richard A. Hayden, R. A. Hayden, 2012 .

Fluid passage-time calculation in large Markov models

Jeremy T. Bradley, Richard A. Hayden, 2009 .

Mean-field Analysis of Large Scale Markov Fluid Models with Fluid Dependent and Time-inhomogeneous Rates

Jeremy T. Bradley, Anton Stefanek, Richard A. Hayden, 2012 .