Computing Publications

Publications Home » Keywords » Performance Modelling and Analysis

Publications matching Performance Modelling and Analysis
What are feeds?
All feeds

Performance Modelling and Analysis

Book Chapters

GPA - A multiformalism, multisolution approach to efficient analysis of large scale population models [PDF]
Jeremy T. Bradley, Marcel C. Guenther, Richard Hayden, Anton Stefanek
Theory and Application of Multi-Formalism Modeling
IGI Global
2013
Scalable Stochastic Modelling for Resilience [PDF]
Jeremy T. Bradley, Lucia Cloth, Richard Hayden, Kloul, Philipp Reinecke, Markus Siegle, Nigel Thomas, Katinka Wolter
Resilience Assessment and Evaluation of Computing Systems
pp.115–149
Springer
November, 2012
Modelling a Grid Market Economy
Fernando Martinez Ortuno, Uli Harder, Peter G. Harrison
Performance Models and Risk Management in Communication Systems
Springer
2010
Performance Trees: A Query Specification Formalism for Quantitative Performance Analysis [PDF] [Postscript]
William J. Knottenbelt, Nicholas J. Dingle, Tamas Suto
Parallel, Distributed and Grid Computing for Engineering
Volume 21, pp.165–198
Computational Science, Engineering and Technology, Saxe-Coburg Publications
April, 2009

Journal Articles

Fluid computation of passage time distributions in large Markov models [PDF]
Richard Hayden, Anton Stefanek, Jeremy T. Bradley
Theoretical Computer Science
Volume 413, Issue 1, pp.106–141
Elsevier
January, 2012
Performance specification and evaluation with Unified Stochastic Probes and fluid analysis [PDF]
Richard Hayden, Jeremy T. Bradley, Allan Clark
IEEE Transactions on Software Engineering
IEEE Computer Society
January, 2012
Fluid computation of the performance-energy trade-off in large scale Markov models [PDF]
Anton Stefanek, Richard Hayden, Jeremy T. Bradley
SIGMETRICS Performance Evaluation Review
December, 2011
Mean-field approximations for performance models with generally-timed transitions [PDF]
Richard Hayden
SIGMETRICS Performance Evaluation Review
December, 2011
Invited Response to Computer Journal Lecture by Prof. Jane Hillston [PDF]
Jeremy T. Bradley, Nigel Thomas, Richard Hayden, Anton Stefanek
The Computer Journal
Oxford Journals
November, 2011
Analytical and Simulation Modelling of Zoned RAID Systems
Abigail Lebrecht, Nicholas J. Dingle, William J. Knottenbelt
The Computer Journal
Volume 54, Issue 5, pp.691–707
Oxford Journals
May, 2011
Passage-time Computation and Aggregation Strategies for Large Semi-Markov Processes [PDF]
Marcel C. Guenther, Nicholas J. Dingle, Jeremy T. Bradley, William J. Knottenbelt
Performance Evaluation
Volume 68, Issue 3, pp.211–236
Elsevier
March, 2011
Extracting State-Based Performance Metrics using Asynchronous Iterative Techniques [PDF]
Douglas de Jager, Jeremy T. Bradley
Performance Evaluation
Volume 67, Issue 12, pp.1353–1372
Elsevier
December, 2010
A fluid analysis framework for a Markovian process algebra [PDF]
Richard Hayden, Jeremy T. Bradley
Theoretical Computer Science
Volume 411, Issues 22–24, pp.2260–2297
Elsevier
May, 2010
Evaluating fluid semantics for passive stochastic process algebra cooperation [PDF]
Richard Hayden, Jeremy T. Bradley
Performance Evaluation
Volume 67, Issue 4, pp.260–284
Elsevier
April, 2010
Geometric Bounds: A Noniterative Analysis Technique for Closed Queueing Networks [PDF]
Giuliano Casale, Richard Muntz, Giuseppe Serazzi
IEEE Transactions on Computers
Volume 57, Issue 6, pp.780–794
IEEE Computer Society
June, 2008

Journal Special Issue Article

Response Time Distribution of Flash Memory Accesses [PDF]
Peter G. Harrison, Naresh M. Patel, Soraya Zertal
Performance Evaluation
Volume 67, Issue 4, pp.248–259
Elsevier
2010

Conference and Workshop Papers

Performance-energy trade-offs in smartphones
Tiberiu Chis, Peter G. Harrison
The 19th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWIM 2016)
ACM Digital Library
2016
Sliding Hidden Markov Model for Evaluating Discrete Data
Tiberiu Chis
10th European Workshop on Performance Engineering (EPEW '13)
Volume 8168, pp.251–262
Lecture Notes in Computer Science, Springer Berlin / Heidelberg
September, 2013
iSWoM: The incremental Storage Workload Model using Hidden Markov Models [PDF]
Tiberiu Chis, Peter G. Harrison
20th International Conference on Analytical and Stochastic Modelling Techniques and Applications (ASMTA '13)
Volume 7984, pp.127–141
Lecture Notes in Computer Science, Springer Berlin / Heidelberg
July, 2013
Journey data based arrival forecasting for bicycle hire schemes [PDF]
Marcel C. Guenther, Jeremy T. Bradley
20th International Conference on Analytical & Stochastic Modelling Techniques & Applications (ASTMA'13)
Lecture Notes in Computer Science, Springer
2013
Mean-field Analysis of Data Flows in Wireless Sensor Networks
Marcel C. Guenther, Jeremy T. Bradley
ICPE'13: Fourth Joint WOSP/SIPEW International Conference on Performance Engineering
2013
Deriving the rate equations characterising product-form models and application to propagating synchronisations
Peter G. Harrison, Andrea Marin
6th International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS 2012)
IEEE
October, 2012
Mean field for performance models with deterministically-timed transitions [PDF]
Richard Hayden
9th International Conference on Quantitative Evaluation of Systems (QEST 2012)
2012
Specification and efficient computation of passage-time distributions in GPA [PDF]
Matej Kohut, Anton Stefanek, Richard Hayden, Jeremy T. Bradley
9th International Conference on Quantitative Evaluation of Systems (QEST 2012)
2012
Moment closures for performance models with highly non-linear rates [PDF]
Marcel C. Guenther, Anton Stefanek, Jeremy T. Bradley
EPEW 2012, 9th European Performance Engineering Workshop
2012
Mean-field analysis of Markov models with reward feedback [PDF]
Anton Stefanek, Richard Hayden, Marc Mac Gonagle, Jeremy T. Bradley
ASMTA 2012, 19th International Conference on Analytic and Stochastic Modelling Techniques and Applications
Lecture Notes in Computer Science, Springer Verlag
2012
GPA - A tool for fluid scalability analysis of massively parallel systems [PDF]
Anton Stefanek, Richard Hayden, Jeremy T. Bradley
QEST'11, 8th International Conference on Quantitative Evaluation of Systems
pp.147–148
IEEE
October, 2011
Higher moment analysis of a spatial stochastic process algebra [PDF]
Marcel C. Guenther, Jeremy T. Bradley
EPEW 2011, 8th European Performance Engineering Workshop
Volume 6977, pp.87–101
Lecture Notes in Computer Science, Springer
October, 2011
Fluid Queue Models of Battery Life [PDF]
Gareth Jones, Peter G. Harrison, Uli Harder, A. J. Field
IEEE 19th International Symposium on Modelling, Analysis & Simulation of Computer and Telecommunication Systems (MASCOTS 2011)
July, 2011
Fluid analysis of energy consumption using rewards in massively parallel Markov models [PDF]
Anton Stefanek, Richard Hayden, Jeremy T. Bradley
ICPE 2011, 2nd ACM/SPEC International Conference on Performance Engineering, March 14-16, 2011, Karlsruhe, Germany
pp.121–131
ACM
March, 2011
Global B2C and C2C Online Auction Models [PDF]
Timothy Leung, William J. Knottenbelt
Annual Conference on Innovations in Business & Management
January, 2011
GPU-Enabled Steady-State Solution of Large Markov Models [PDF]
Bruno Magalhaes, Nicholas J. Dingle, William J. Knottenbelt
6th International Workshop on the Numerical Solution of Markov Chains (NSMC'10)
pp.63–66
September, 2010
A general result for deriving product-form solutions in Markovian models [PDF]
Andrea Marin, Maria Vigliotti
First Joint WOSP/SIPEW International
ACM International Conference Proceedings, ACM
2010
CoBiC: Context-dependent Bioambient Calculus
Luca Borlolussi, Maria Vigliotti
international Workshop on Quantitative Aspects of Programming Languages
Volume 253, pp.187–201
Electronic Notes in Theoretical Computer Science, Elsevier
2009
Fluid semantics for passive stochastic process algebra cooperation [PDF] [GZipped Postscript]
Richard Hayden, Jeremy T. Bradley
VALUETOOLS'08, 3rd International Conference on Performance Evaluation Methodologies and Tools
ACM
October, 2008
A Ticking Clock: Performance Analysis of a Circadian Rhythm with Stochastic Process Algebra [PDF] [GZipped Postscript]
Jeremy T. Bradley
EPEW'08, 5th European Performance Evaluation Workshop
Volume 5261, pp.79–94
Lecture Notes in Computer Science, Springer Verlag
September, 2008
Extracting Response Times from Fluid Analysis of Performance Models [PDF] [GZipped Postscript]
Jeremy T. Bradley, Richard Hayden, William J. Knottenbelt, Tamas Suto
SIPEW'08, SPEC International Performance Evaluation Workshop, Darmstadt, 27-28 June 2008
Volume 5119, pp.29–43
Lecture Notes in Computer Science, Springer
June, 2008
Stochastic simulation methods applied to a secure electronic voting model [PDF] [GZipped Postscript]
Jeremy T. Bradley, Stephen Gilmore
PASM 2005, 2nd International Workshop on the Practical Application of Stochastic Modelling
Volume 151, Issue 3, pp.5–25
Electronic Notes in Theoretical Computer Science, Elsevier
June, 2006
Performance analysis of Stochastic Process Algebra models using Stochastic Simulation [PDF] [GZipped Postscript]
Jeremy T. Bradley, Stephen Gilmore, Nigel Thomas
PMEO-PDS'06, Proceedings of Performance Modelling, Evaluation and Optimization of Parallel and Distributed Systems
p.321
IEEE Computer Society Press
April, 2006

National Workshop Papers

Sliding Hidden Markov Model for Evaluating Discrete Data [PDF]
Tiberiu Chis, Peter G. Harrison
29th UK Performance Engineering Workshop (UKPEW '13)
July, 2013
PCTMC models of Wireless Sensor Network protocols [PDF]
Marcel C. Guenther, Jeremy T. Bradley
UKPEW'12, 28th UK Performance Engineering Workshop
2012
Mean-field models for interacting battery-powered devices [PDF]
Richard Hayden
Imperial College Energy and Performance Colloquium (ICEP)
May, 2012
Using Fluid Queues to Model Energy Storage and Distribution [PDF]
Gareth Jones, Peter G. Harrison
Imperial College Energy and Performance Colloquium (ICEP)
May, 2012
MASSPA-Modeller: A Spatial Stochastic Process Algebra modelling tool [PDF]
Marcel C. Guenther, Jeremy T. Bradley
Imperial College Computing Student Workshop (ICCSW)
September, 2011
Toward efficient parameter sweeping and optimisation of fluid performance models by Taylor-model based symbolic numerical integration [PDF]
Richard Hayden
10th Workshop on Process Algebra and Stochastically Timed Activities (PASTA 2011)
September, 2011
Convergence of ODE approximations and bounds on performance models in the steady-state [PDF]
Richard Hayden
9th Workshop on Process Algebra and Stochastically Timed Activities (PASTA 2010)
September, 2010
Hybrid analysis of large scale PEPA models [PDF]
Anton Stefanek, Richard Hayden, Jeremy T. Bradley
9th Workshop on Process Algebra and Stochastically Timed Activities (PASTA 2010)
September, 2010
A Stochastic Calculus Model for the Spot Price of Computing Power [PDF]
Fernando Martinez Ortuno, Uli Harder
UKPEW 2010
July, 2010
GPA - Tool for rapid analysis of very large scale PEPA models [PDF]
Anton Stefanek, Richard Hayden, Jeremy T. Bradley
UKPEW'10, 26th UK Performance Engineering Workshop. 7-8th July, University of Warwick
pp.91–101
University of Warwick
July, 2010
ODE-based general moment approximations for PEPA [PDF]
Richard Hayden, Jeremy T. Bradley
PASTA'08, 7th Workshop on Process Algebra and Stochastically Timed Activities
July, 2008
A peer-to-peer Market for Grid Computing [PDF]
Uli Harder
6th Workshop on Process Algebra and Stochastically Timed Activities
pp.105–109
July, 2007
Fluid-flow solutions in PEPA to the state space explosion problem [PDF] [GZipped Postscript]
Richard Hayden, Jeremy T. Bradley
PASTA 2007, 6th Workshop on Process Algebra and Stochastically Timed Activities
pp.25–37
July, 2007
Stochastic Simulation Methods applied to a Secure Electronic Voting Model [PDF] [GZipped Postscript]
Jeremy T. Bradley, Stephen Gilmore, Nigel Thomas
PASM'05, Proceedings of 2nd Workshop on Practical Applications of Stochastic Modelling
pp.127–149
July, 2005

PhD Theses

Scalable Performance Analysis of Massively Parallel Stochastic Systems [PDF]
Richard Hayden
Imperial College London
April, 2011
Queueing network models of Zoned RAID system performance [PDF]
Abigail Lebrecht
Imperial College London
January, 2010
Asynchronous Iterative Solution for Dominant Eigenvectors with Applications in Performance Modelling and PageRank [PDF]
Douglas de Jager
Imperial College London
December, 2009

Technical Report

Capturing the energy-performance trade-off in virtualised computing models
Anton Stefanek, Richard Hayden, Jeremy T. Bradley
Dept of Computing, Imperial College London
2011

Posters

Mean-field performance analysis of a hazard detection Wireless Sensor Network [PDF]
Marcel C. Guenther, Jeremy T. Bradley
VALUETOOLS'12
2012
Large spatial performance models: Think global, Analyse local!
Marcel C. Guenther, Jeremy T. Bradley
Graduate School Summer Research Symposium 2012
July, 2012

Undergraduate projects

Hidden Markov Models: Applications to Flash Memory data and Hospital Arrival times [PDF]
Tiberiu Chis
Department of Computing, Imperial College London
June, 2011
Aggregation and Numerical Techniques for Passage-Time Calculations in Large Semi-Markov Models [PDF]
Marcel C. Guenther
Imperial College London
Distinguished project
July, 2009
Continuous and spatial extension of stochastic pi-calculus [PDF]
Anton Stefanek
Imperial College London
Distinguished project
July, 2009
Addressing the state space explosion problem for PEPA models through fluid-flow approximation [PDF]
Richard Hayden
Imperial College London
Distinguished project
July, 2007

BibTeX file for these publications

 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.