Anton Stefanek

15 papers B 1Journal 5Unranked 7
YearRankTypeTitle / Venue / Authors
2016 J jnl
Mean-field analysis of hybrid Markov population models with time-inhomogeneous rates.
Ann. Oper. Res.
Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley
2014 — conf
Time-inhomogeneous Population Models of a Cycle-Stealing Distributed System.
UKPEW
Jeremy T. Bradley, Matthew Forshaw, Anton Stefanek, Nigel Thomas
2013 — —
A high-level framework for efficient computation of performance : energy trade-offs in Markov population models.
Anton Stefanek
2012 — conf
Energy Consumption in the Office.
EPEW/UKPEW
Anton Stefanek, Uli Harder, Jeremy T. Bradley
2012 J jnl
Fluid computation of passage-time distributions in large Markov models.
Theor. Comput. Sci.
Richard A. Hayden, Anton Stefanek, Jeremy T. Bradley
2012 J jnl
Invited Response to Computer Journal Lecture by Prof. Jane Hillston.
Comput. J.
Jeremy T. Bradley, Nigel Thomas, Richard A. Hayden, Anton Stefanek
2012 — conf
Mean-Field Analysis of Markov Models with Reward Feedback.
ASMTA
Anton Stefanek, Richard A. Hayden, Mark Mac Gonagle, Jeremy T. Bradley
2012 — conf
Moment Closures for Performance Models with Highly Non-linear Rates.
EPEW/UKPEW
Marcel C. Guenther, Anton Stefanek, Jeremy T. Bradley
2012 — ch.
Providing Dependability and Resilience in the Cloud: Challenges and Opportunities.
Resilience Assessment and Evaluation of Computing Systems
Samuel Kounev, Philipp Reinecke, Fabian Brosig, Jeremy T. Bradley, Kaustubh Joshi, Vlastimil Babka, Anton Stefanek, Stephen Gilmore
2012 — conf
Specification and Efficient Computation of Passage-Time Distributions in GPA.
QEST
Matej Kohut, Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley
2011 J jnl
Fluid analysis of energy consumption using rewards in massively parallel Markov models (abstracts only).
SIGMETRICS Perform. Evaluation Rev.
Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley
2011 B conf
Fluid analysis of energy consumption using rewards in massively parallel markov models.
ICPE
Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley
2011 J jnl
Fluid computation of the performance: energy tradeoff in large scale Markov models.
SIGMETRICS Perform. Evaluation Rev.
Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley
2011 — conf
GPA - A Tool for Fluid Scalability Analysis of Massively Parallel Systems.
QEST
Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley
2010 — conf
A new tool for the performance analysis of massively parallel computer systems
QAPL
Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley