Computing Publications

Publications Home » Keywords » AESOP

Publications matching AESOP
What are feeds?
All feeds

AESOP

Books

.
Elsevier
February, 2011
Performance Modelling of Communication Networks and Computer Architectures
Peter G. Harrison, Naresh M. Patel
pp.1–472
Addison-Wesley
January, 1993
Functional Programming
A. J. Field, Peter G. Harrison
pp.1–616
Addison-Wesley
July, 1988

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
Providing Dependability and Resilience in the Cloud: Challenges and Opportunities [PDF]
Samuel Kounev, Philipp Reinecke, Fabian Brosig, Jeremy T. Bradley, Kaustubh Joshi, Vlastimil Babka, Stephen Gilmore, Anton Stefanek
Resilience Assessment and Evaluation of Computing Systems
pp.65–81
Springer Verlag
November, 2012
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
Product-Form Solution in PEPA via the Reversed Process
Peter G. Harrison, Nigel Thomas
Network Performance Engineering: A Handbook on Convergent Multi-Service Networks and Next Generation Internet
Volume 5233, pp.343–356
Lecture Notes in Computer Science, Springer
June, 2011
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
Automated formulation and solution of Markov modulated queues with geometric processes
Demetres D. Kouvatsos, David Thornley, Harf Zatschler, Peter G. Harrison
Traffic and performance engineering for heterogeneous networks
pp.419–458
River Publishers, NY
March, 2009
Modelling tools and techniques for the performance analysis of wireless protocols [PDF] [GZipped Postscript]
Ashok Argent-Katwala, Jeremy T. Bradley, Nil Geisweiller, Stephen Gilmore, Nigel Thomas
Advances in Wireless Networks: Performance Modelling, Analysis and Enhancement
Issue 1
Nova Science Publishers, Inc
October, 2007
Tackling Large State Spaces in Performance Modelling [PDF] [GZipped Postscript]
William J. Knottenbelt, Jeremy T. Bradley
Formal Methods for Performance Evaluation
Volume 4486, pp.318–370
Lecture Notes in Computer Science, Springer
June, 2007
Response Time Densities and Quantiles in Large Markov and Semi-Markov Models [PDF] [GZipped Postscript]
Jeremy T. Bradley, Nicholas J. Dingle, Uli Harder, Peter G. Harrison, William J. Knottenbelt
Performance Evaluation of Parallel, Distributed and Emergent Systems
Volume 1, pp.3–41
Nova Science Publishers, Inc
2006
Quantiles of Sojourn Times [PDF] [GZipped Postscript]
Peter G. Harrison, William J. Knottenbelt
Computer System Performance Modeling in Perspective: A Tribute to the Work of Prof Kenneth C Sevcik
pp.156–194
Imperial College Press
September, 2006
A Methodology for the Performance Modelling of Distributed Cache Coherent Multiprocessors [PDF] [Postscript]
A. J. Field, Peter G. Harrison
The State-of-the-art in Performance Modeling and Simulation
Issue 4, pp.55–92
Gordon and Breach
1998
A Fixed-Point Model of a Distributed Memory Consistency Protocol [PDF] [Postscript]
A. J. Field, Peter G. Harrison
Quantitative Methods in Parallel Systems
pp.237–247
ESPRIT Basic Research Series, Springer Verlag
1995
M/G/1 Queues with FCFS Negative Arrivals
Peter G. Harrison, E. Pitel
Quantitative Methods in Parallel Systems
ESPRIT Basic Research Series, Springer
1995
Temporal logic in a stochastic environment [PDF]
Ben Strulo, Dov Gabbay, Peter G. Harrison
Time and logic: a computational approach
pp.229–247
UCL Press Ltd.
1995
An Exercise in the Synthesis of Parallel Functional Programs for Message Passing Architectures
A. J. Field
Parallel Computing: From Theory to Sound Practice
pp.452–463
1992
The Design and Implementation of ALICE - a Parallel Graph Reduction Machine
Martin Cripps, John Darlington, A. J. Field, Peter G. Harrison, Mike Reeve
Selected Reprints on Dataflow and Reduction Architectures
pp.300–327
IEEE Computer Society Press
1987
The Unification of Functional and Logic Languages [PDF]
John Darlington, A. J. Field, Helen Pull
Logic Programming: Functions, Relations and Equations, DeGroot D. and Lindstrom, G. eds.
pp.37–70
Prentice Hall
1986

Journal Articles

Bounds on the deviation of discrete-time Markov chains from their mean-field model [PDF]
Luca Bortolussi, Richard Hayden
Performance Evaluation
2013
Product-forms in batch networks: approximation and asymptotics [PDF]
Peter G. Harrison, Richard Hayden, William J. Knottenbelt
Performance Evaluation
2013
Database System Performance Evaluation Models: A Survey
Rasha Osman, William J. Knottenbelt
Performance Evaluation
Elsevier
2012
Predicting the outcomes of tennis matches using a low-level point model
Demetris Spanias, William J. Knottenbelt
IMA Journal of Management Mathematics
IOS Press
2012
A common-opponent stochastic model for predicting the outcome of professional tennis matches
William J. Knottenbelt, Demetris Spanias, Agnieszka M. Madurska
Computers & Mathematics with Applications. An InternationalJournal
Elsevier
2012
Analysis of stochastic Petri nets with signals
Andrea Marin, Simonetta Balsamoa, Peter G. Harrison
Performance Evaluation
July, 2012
Comparative Evaluation of Independent Private Values Distributions on Internet Auction Performance
Timothy Leung, William J. Knottenbelt
International Journal of E-Entrepreneurship and Innovation
Volume 3, Issue 1, pp.59–72
IGI Global
January, 2012
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
Storage workload modelling by hidden Markov models: Application to Flash memory
Peter G. Harrison, Sarah K. Harrison, Naresh M. Patel, Soraya Zertal
Performance Evaluation
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
Investigating Flash memory wear levelling and execution modes
Soraya Zertal, Peter G. Harrison
SIMULATION
Volume 87, Issue 12, pp.1081–1091
Sage Publications, Inc.
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
A generalized method of moments for closed queueing networks
Giuliano Casale
Performance Evaluation
Volume 68, Issue 2, pp.180–200
Springer
February, 2011
Consumer-to-Consumer Internet Auction Models
Timothy Leung, William J. Knottenbelt
International Journal of Online Marketing
Volume 1, Issue 3, pp.17–28
ICEIS
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
Modelling infection spread using location tracking [PDF]
Andrew Mason, Nicholas J. Dingle, William J. Knottenbelt, Derek Bell, William Buchanan, Christoph Thuemmler
International Journal of Healthcare Technology and Management
Volume 11, Issue 6, pp.442–461
Inderscience Enterprises Ltd.
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
Busy periods in fluid queues with multiple emptying input states
A. J. Field, Peter G. Harrison
Journal of Applied Probability
Volume 47, Issue 2, pp.474–497
April, 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
Product-forms and functional rates
Peter G. Harrison
Performance Evaluation
Volume 66, Issue 11, pp.660–663
Elsevier
November, 2009
Predicting patient arrivals to an accident and emergency department
Susanna Wau Men Au-Yeung, Uli Harder, Emma McCoy, William J. Knottenbelt
Emergency Medicine Journal
Volume 26, Issue 4, pp.241–244
BMJ Publishing Group Limited
April, 2009
Turning back time - what impact on performance?
Peter G. Harrison
The Computer Journal
Oxford Journals
April, 2009
Probabilistic Mobile Ambients [PDF]
Marta Z. Kwiatkowska, Gethin Norman, David Parker, Maria Vigliotti
Volume 410, Issues 12–13, pp.1272–1309
Theoretical Computer Science, Elsevier
2009
Analysing distributed Internet worm attacks using continuous state-space approximation of process algebra models [PDF] [GZipped Postscript]
Jeremy T. Bradley, Stephen Gilmore, Jane Hillston
Journal of Computer and System Sciences
Volume 74, Issue 6, pp.1013–1032
Elsevier
September, 2008
Efficient computation of passage time densities and distributions in Markov chains using Laguerre method
Harini Kulatunga, William J. Knottenbelt
Electronics Letters
Volume 44, Issue 15
The Institution of Engineering and Technology
July, 2008
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
Symmetric Electoral Systems for Ambient Calculi
Iain Phillips, Maria Vigliotti
Information and Computation
Volume 206, Issue 1, pp.34–72
Elsevier
January, 2008
Tutorial on separation results in process calculi via leader election problems
Maria Vigliotti, Iain Phillips, Catuscia Palamidessi
Theoretical Computer Science
Volume 388, Issues 1–3, pp.267–289
Elsevier
December, 2007
Queueing models of RAID systems with maxima of waiting times
Peter G. Harrison, Soraya Zertal
Performance Evaluation
Volume 64, Issues 7–8, pp.664–689
Elsevier
August, 2007
Mean-variance performance optimization of response time in a tandem router network with batch arrivals
Nalan Gulpinar, Uli Harder, Peter G. Harrison, A. J. Field, Berc Rustem, Pau
Cluster Computing
Volume 10, Issue 2, pp.203–216
Springer Verlag
June, 2007
Adaptive joint detection and estimation in fading MIMO CDMA channels: A Hybrid systems approach [PDF] [GZipped Postscript]
Harini Kulatunga, Visakan Kadirkamanathan
IEEE Transactions on Signal Processing
IEEE Signal Processing Society
2006
Multiple H-infinity filter based Deterministic Sequence Estimation in non-Gaussian Channels [PDF] [Postscript]
Harini Kulatunga, Visakan Kadirkamanathan
IEEE Signal Processing Letters
IEEE Signal Processing Society
2006
Phytoplankton co-existence: Results from an individual-based simulation model
Enrique Nogueira, John Woods, Chris Harris, A. J. Field, Sarah Talbot
Ecological Modelling
Volume 198, Issues 1–2, pp.1–22
Elsevier
September, 2006
Distributed Computation of Transient State Distributions and Passage Time Quantiles in Large Semi-Markov Models [PDF] [GZipped Postscript]
Jeremy T. Bradley, Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt
Future Generation Computer Systems
Volume 22, Issue 7, pp.828–837
Elsevier
August, 2006
Leader election in rings of ambient processes
Iain Phillips, Maria Vigliotti
Theoretical Computer Science
Volume 356, Issue 3, pp.468–494
Elsevier
2006
Correlated dynamics in human printing behaviour [PDF] [Postscript]
Uli Harder, Maya Paczuski
Physica A
Volume 361, Issue 1, pp.329–336
Elsevier
2006
Separable equilibrium state probabilities via time reversal in Markovian process algebra [PDF] [GZipped Postscript]
Peter G. Harrison, Ting Ting Lee
Theoretical Computer Science
Volume 346, Issue 1, pp.161–182
Elsevier
November, 2005
Iterative Convergence of Passage-time Densities in Semi-Markov Performance Models [PDF] [GZipped Postscript]
Jeremy T. Bradley, Helen Wilson
Performance Evaluation
Volume 60, Issues 1–4, pp.237–254
Elsevier
May, 2005
Semi-Markov PEPA: Modelling with Generally Distributed Actions [PDF] [GZipped Postscript]
Jeremy T. Bradley
International Journal of Simulation
Volume 6, Issues 3–4, pp.43–51
IJSIM
February, 2005
Network Traffic Behaviour in Switched Ethernet Systems [PDF] [GZipped Postscript]
A. J. Field, Uli Harder, Peter G. Harrison
Performance Evaluation
Volume 58, Issues 2–3, pp.243–260
Elsevier
November, 2004
Stochastic Analysis of Scheduling Strategies in a Grid-based Resource Model [PDF] [Postscript]
Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt
IEE Proceedings - Software
Volume 151, Issue 5, pp.232–239
IEE
October, 2004
Measurement and modelling of self-similar traffic in computer networks [PDF] [GZipped Postscript]
A. J. Field, Uli Harder, Peter G. Harrison
IEE Proceedings - Communications
Volume 151, Issue 4, pp.355–363
IEE
August, 2004
Uniformization and Hypergraph Partitioning for the Distributed Computation of Response Time Densities in Very Large Markov Models [PDF]
Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt
Journal of Parallel and Distributed Computing
Volume 64, Issue 8, pp.908–920
Elsevier
August, 2004
Compositional reversed Markov processes, with applications to G-networks [PDF] [GZipped Postscript]
Peter G. Harrison
Performance Evaluation
Volume 57, Issue 3, pp.379–408
Elsevier
July, 2004
Hypergraph-based Parallel Computation of Passage Time Densities in Large Semi-Markov Models [PDF] [GZipped Postscript]
Jeremy T. Bradley, Nicholas J. Dingle, William J. Knottenbelt, Helen Wilson
Linear Algebra and Its Applications
Volume 386, pp.311–334
Elsevier
July, 2004
Reversed processes, product forms and a non-product form [PDF] [GZipped Postscript]
Peter G. Harrison
Linear Algebra and Its Applications
Volume 386, pp.359–381
Elsevier
July, 2004
On cost-efficiency of the global container shipping network
Dongping Song, Jie Zhang, Jonathan carter, A. J. Field, A. James Marshall, John Polak, Kimberley Schumacher, Proshun Sinha-Ray, John Woods
Maritime Policy & Management
Volume 32, Issue 1, pp.15–30
2004
An approximate solution of PEPA models using component substitution [PDF]
Nigel Thomas, Jeremy T. Bradley, David Thornley
IEE Proceedings - Computers and Digital Techniques
Volume 150, Issue 2, pp.67–74
March, 2003
A new blocking problem from Java-based schedulers [PDF] [Postscript]
Peter G. Harrison, Catalina
Performance Evaluation
Volume 51, pp.229–246
Elsevier
January, 2003
Turning back time in Markovian process algebra [PDF] [GZipped Postscript]
Peter G. Harrison
Theoretical Computer Science
Volume 290, Issue 3, pp.1947–1986
Elsevier
January, 2003
On the asymptotic behaviour of closed multiclass queueing networks [PDF] [Postscript]
Sergio Coury, Peter G. Harrison
Performance Evaluation
Volume 47, pp.131–138
Elsevier
January, 2002
The MM CPP/GE/c G-Queue: sojourn time distribution [PDF] [GZipped Postscript]
Peter G. Harrison
Queueing Systems
Volume 41, pp.271–298
Kluwer Academic Publishers
January, 2002
THEMIS: Component dependence metadata in adaptive parallel computations [PDF]
Paul Kelly, Olav Beckmann, A. J. Field, Scott Baden
Parallel Processing Letters
Volume 11, Issue 4, pp.455–470
World Scientific
December, 2001
Performance analysis of three implementation strategies for distributed lock management [PDF] [GZipped Postscript]
William J. Knottenbelt, Soraya Zertal, Peter G. Harrison
IEE Proceedings - Computers and Digital Techniques
Volume 158, Issues 4–5, pp.176–186
IEE
September, 2001
A Markov Modulated Multi-server Queue with Negative Customers - The MM CPP/GE/c/L G-Queue [PDF] [Postscript]
Ram Chakka, Peter G. Harrison
Acta Informatica
Volume 37, Issues 11–12, pp.881–919
Springer-Verlag
August, 2001
A Simple Recursive Tesselator
Adrian Chung, A. J. Field
Journal of Graphics Tools
Volume 5, Issue 3, pp.1–9
Academic Press
2001
The MMCPP/GE/c Queue
Ram Chakka, Peter G. Harrison
Queueing Systems
Volume 38, Issue 3, pp.307–326
Kluwer
2001
Reliability modelling using G-queues
Peter G. Harrison, Naresh M. Patel, E. Pitel
European Journal of Operational Research
Volume 126, Issue 2, pp.273–287
October, 2000
Optimising bandwidth of ABR sources
Madhu D. K. Bhabuta , Peter G. Harrison
Computer Networks
Volume 34, Issue 1, pp.115–128
Elsevier Science Bv
July, 2000
A Probabilistic Dynamic Technique for the Distributed Generation of Very Large State Spaces [PDF] [GZipped Postscript]
William J. Knottenbelt, Peter G. Harrison, Mark Mestern, Pieter Kritzinger
Performance Evaluation
Volume 39, Issues 1–4, pp.127–148
Elsevier
February, 2000
SPADES - a Process Algebra for Discrete Event Simulation [PDF] [Postscript]
Peter G. Harrison, Ben Strulo
Journal of Logic and Computation
Volume 10, Issue 1, pp.3–42
Oxford University Press
January, 2000
Teaching M/G/1 theory with extension to priority queues
Peter G. Harrison
IEE Proceedings - Computers and Digital Techniques
Volume 147, Issue 1, pp.23–26
January, 2000
Sojourn Times in a Random Queue With and Without Preemption
A. J. Field, Peter G. Harrison
European Journal of Operational Research
Volume 112, pp.646–653
February, 1999
Automatic Generation of Verifiable Cache Coherence Simulation Models from High-level Specifications [PDF]
A. J. Field, Peter G. Harrison, K. Kanani
Australian Computer Science Communications
Volume 20, Issue 3, pp.261–275
1998
Asymptotic properties of queuing networks
Sergio Coury, Peter G. Harrison
IEE Proceedings - Computers and Digital Techniques
Volume 144, Issue 5, pp.249–254
IEE
September, 1997
Waiting time distribution in a class of discrete-time cyclic service multi-queue systems
Sergio Coury, Peter G. Harrison
Perform. Eval.
Volume 29, Issue 4, pp.223–243
May, 1997
Rendering Radiosity Solutions by Adaptive Gathering
Adrian Chung, A. J. Field
Journal of Graphics Tools
Volume 2, Issue 2, pp.31–44
1997
Stochastic Model of Cache Coherency Overhead in SCI Rings [PDF] [GZipped Postscript]
A. J. Field, Peter G. Harrison
IEE Proceedings - Computers and Digital Techniques
Volume 144, Issue 3, pp.175–186
1997
Modelling and validation of shared memory coherency protocols [PDF] [Postscript]
Andrew Bennett, A. J. Field, Peter G. Harrison
Performance Evaluation
Volume 27, pp.541–563
Elsevier
October, 1996
Countless Simson Line Configurations [PDF] [GZipped Postscript]
Christopher J. Bradley, Jeremy T. Bradley
The Mathematical Gazette
Volume 80, Issue 488, pp.314–321
July, 1996
The M/G/1 queue with negative customers
Peter G. Harrison, E. Pitel
Advances in Applied Probability
Volume 28, pp.540–566
June, 1996
Capacity planning in client-server systems
Tim Foxon, Mike Garth, Peter G. Harrison
Distributed Systems Engineering
Volume 3, Issue 1, pp.32–38
IOP
March, 1996
Parallelism via homomorphisms
Zully N. Grant-Duff, Peter G. Harrison
Parallel Processing Letters
Volume 6, Issue 2, pp.279–295
January, 1996
Performance analysis of buffered banyan ATM switch architectures
Demetres D. Kouvatsos, J. Wilkinson, Peter G. Harrison, Madhu D. K. Bhabuta
ATM networks: performance modelling and evaluation
Volume 2, pp.287–323
Chapman & Hall
1996
On the Breathers of a1n Affine Toda Field Theory [PDF] [Postscript]
Uli Harder, Alexander Iskandar, William McGhee
International Journal of Modern Physics A
Volume 10, Issue 13, pp.1879–1904
World Scientific
May, 1995
Response time distributions in tandem G-networks
Peter G. Harrison, E. Pitel
Journal of Applied Probability
Volume 32, Issue 1, pp.224–246
March, 1995
Transformation of polynomial evaluation to a pipeline via Horner's rule [PDF]
Peter G. Harrison, R. Lyndon While
Science of Computer Programming
Volume 24, Issue 1, pp.83–95
Elsevier Science Bv
February, 1995
Exploiting Quasi-reversible Structures in Markovian Process Algebra Models [PDF]
Peter G. Harrison, Jane Hillston
The Computer Journal
Volume 38, Issue 7, pp.510–520
Oxford University Press
1995
An approximate analysis of asynchronous, packet-switched buffered Banyan networks with blocking
Peter G. Harrison, Afonso de C. Pinto
Performance Evaluation
Volume 19, Issue 3, pp.223–258
Elsevier
March, 1994
Sojourn Times in Single-Server Queues with Negative Customers
Peter G. Harrison, E. Pitel
Journal of Applied Probability
Volume 30, Issue 4, pp.943–963
December, 1993
Pipelines for Divide-and-Conquer Functions
I. P. , Peter G. Harrison, E. Medina
The Computer Journal
Volume 36, Issue 3, pp.254–268
Oxford University Press
1993
A Higher-Order Approach to Parallel Algorithms
Peter G. Harrison
The Computer Journal
Volume 35, Issue 6, pp.555–566
Oxford Journals
December, 1992
The mechanical transformation of data types
Peter G. Harrison, Hessam Khoshnevisan
The Computer Journal
Volume 35, Issue 2, pp.138–147
Oxford Journals
April, 1992
On the synthesis of function inverses
Peter G. Harrison, Hessam Khoshnevisan
Acta Informatica
Volume 29, Issue 3, pp.211–239
Springer Verlag
March, 1992
A new approach to recursion removal [PDF]
Peter G. Harrison, Hessam Khoshnevisan
Theoretical Computer Science
Volume 93, Issue 1, pp.91–113
Elsevier
February, 1992
Fixed point model for adaptive token passing bus protocol
Peter G. Harrison, F. Naraghi
IEE Proceedings - Computers and Digital Techniques
Volume 139, Issue 1, pp.50–58
IEE/IOP/BCS
January, 1992
On the expansion of non-linear functions
Peter G. Harrison
Acta Informatica
Volume 28, Issue 6, pp.559–574
Springer-Verlag
September, 1991
Analytic models for multistage interconnection networks
Peter G. Harrison
Journal of Parallel and Distributed Computing
Volume 12, Issue 4, pp.357–369
Elsevier
August, 1991
On nonuniform packet switched delta networks and the hot-spot effect
Peter G. Harrison
IEE Proceedings - Computers and Digital Techniques
Volume 138, Issue 3, pp.123–130
May, 1991
The Representation of Multistage Interconnection Networks in Queueing Models of Parallel Systems [PDF]
Peter G. Harrison, Naresh M. Patel
Journal of the ACM
Volume 37, Issue 4, pp.863–898
ACM Press
October, 1990
Laplace Transform Inversion and Passage-Time Distributions in Markov Processes [PDF]
Peter G. Harrison
Journal of Applied Probability
Volume 27, Issue 1, pp.74–87
Applied Probability Trust
March, 1990
Algebraic transformation techniques for functional languages
Peter G. Harrison, Hessam Khoshnevisan
The Computer Journal
Volume 31, Issue 3, pp.229–242
Oxford Journals
June, 1988
Linearisation: An optimisation for nonlinear functional programs
Peter G. Harrison
Science of Computer Programming
Volume 10, Issue 3, pp.281–318
Elsevier
June, 1988
An Enhanced Approximation by Pair-Wise Analysis of Servers for Time Delay Distributions in Queueing Networks
Peter G. Harrison
IEEE Transactions on Computers
Volume 35, Issue 1, pp.54–61
IEEE Computer Society Press
January, 1986
Functional Programming using FP [PDF]
Peter G. Harrison, Hessam Khoshnevisan
Byte
Volume 10, Issue 8, pp.219–234
August, 1985
On normalizing constants in queueing-networks
Peter G. Harrison
Operations Research
Volume 33, Issue 2, pp.464–468
INFORMS
March, 1985
An analytic model for flow-control schemes in communication-network nodes
Peter G. Harrison
IEEE Transactions on Communications
Volume 32, Issue 9, pp.1013–1019
September, 1984
A note on cycle times in tree-like queueing systems
Peter G. Harrison
Advances in Applied Probability
Volume 16, pp.216–219
Applied Probability Trust
January, 1984
The Distribution of Cycle Times in Tree-Like Networks of Queues
Peter G. Harrison
The Computer Journal
Volume 27, Issue 1, pp.27–36
Oxford Journals
1984
Convergent discrete form for the time-delay distributions in networks of queues
Peter G. Harrison
Computer Performance
Volume 3, Issue 3, pp.167–175
1982
Efficient Storage Management for Functional Languages
Peter G. Harrison
The Computer Journal
Volume 25, Issue 2, pp.264–271
Oxford Journals
1982
Efficient table-driven implementation of the finite state machine
Peter G. Harrison
Journal of Systems and Software
Volume 2, Issue 3, pp.201–211
Elsevier
September, 1981
Transient Behaviour of Queueing Networks
Peter G. Harrison
Journal of Applied Probability
Volume 18, pp.482–490
1981
System conventions for non procedural languages
R Haskell, Peter G. Harrison
The Computer Journal
Volume 23, Issue 2, pp.132–141
Oxford Journals
1980

Journal Special Issue Articles

Product-form approximation of queueing networks with phase-type service
Giuliano Casale, Peter G. Harrison, Maria Vigliotti
SIGMETRICS Performance Evaluation Review
Volume 39, Issue 4, p.36
April, 2012
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
A unified approach to modelling the performance of concurrent systems.
Peter G. Harrison, Catalina , Ramon Puigjaner
Simulation Modelling Practice and Theory
Volume 17, Issue 9, pp.1445–1456
Elsevier
October, 2009
PIPE2: A Tool for the Performance Evaluation of Generalised Stochastic Petri Nets [PDF] [Postscript]
Nicholas J. Dingle, William J. Knottenbelt, Tamas Suto
Special Issue on Tools for Computer Performance Modelling and Reliability Analysis
Volume 36, Issue 4, pp.34–39
ACM SIGMETRICS Performance Evaluation Review, ACM Press
March, 2009
An Approximate Compositional Approach to the Analysis of Fluid Queue Networks [PDF]
A. J. Field, Peter G. Harrison
Performance Evaluation
Volume 64, Issues 9–12, pp.1137–1152
Elsevier
October, 2007

Electronic Journal Articles

Automated Customer-Centric Performance Analysis of Generalised Stochastic Petri Nets Using Tagged Tokens [PDF]
Nicholas J. Dingle, William J. Knottenbelt
Volume 232, pp.75–88
Electronic Notes in Theoretical Computer Science
March, 2009
Bus Modelling in Zoned Disks RAID Storage Systems
Peter G. Harrison, Soraya Zertal
PASM 2008. Proceedings of the Third International Workshop on the Practical Application of Stochastic Modelling, Palma-de-Mallorca, September 2008
Volume 232, pp.5–16
Electronic Notes in Theoretical Computer Science, Elsevier
March, 2009

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
A Model of Speculative Parallel Scheduling in Networks of Unreliable Sensors
Zhan Qiu, Peter G. Harrison
28th International Symposium on Computer and Information Sciences (ISCIS 2013)
Volume 264, pp.107–116
Lecture Notes in Electrical Engineering, Springer
October, 2013
Analysing and Predicting Patient Arrival Times in Hospitals using Hidden Markov Models [PDF]
Tiberiu Chis, Peter G. Harrison
28th International Symposium on Computer and Information Sciences (ISCIS '13)
Volume 264, pp.77–85
Lecture Notes in Engineering and Computer Science, Springer
October, 2013
Bounds on the deviation of discrete-time Markov chains from their mean-field model [PDF]
Luca Bortolussi, Richard Hayden
31st International Symposium on Computer Performance, Modeling, Measurements and Evaluation (IFIP PERFORMANCE)
2013
Product-forms in batch networks: approximation and asymptotics [PDF]
Peter G. Harrison, Richard Hayden, William J. Knottenbelt
31st International Symposium on Computer Performance, Modeling, Measurements and Evaluation (IFIP PERFORMANCE)
2013
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
Collecting battery data with Open Battery [PDF]
Gareth Jones, Peter G. Harrison
Imperial College Computing Student Workshop (ICCSW 2012)
Schloss Dagstuhl
September, 2012
Incremental HMM with an improved Baum-Welch Algorithm
Tiberiu Chis, Peter G. Harrison
Imperial College Computing Student Workshop (ICCSW '12)
September, 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
Controlling Variability in Split-Merge Systems
Iryna Tsimashenka, William J. Knottenbelt, Peter G. Harrison
Analytical and Stochastic Modeling Techniques and Applications (ASMTA 2012)
Springer
June, 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
A Class of Tractable Models for Run-Time Performance Evaluation [PDF]
Giuliano Casale, Peter G. Harrison
3rd ACM/SPEC International Conference on Performance Engineering (ICPE 2012)
April, 2012
Automatic Synchronisation Detection in Petri Net Performance Models Derived from Location Tracking Data
Nikolas Anastasiou, William J. Knottenbelt, Andrea Marin
8th European Performance Engineering Workshop (EPEW 2011)
October, 2011
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
A PMIF with Petri Net Building Blocks
Catalina , Peter G. Harrison
ICPE '11 Proceeding of the second joint WOSP/SIPEW international conference on Performance engineering
ACM
September, 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
The Effect of Private Valuation on E-Auction Revenues
Timothy Leung, William J. Knottenbelt
Digital Enterprise and Information Systems (DEIS 2011)
July, 2011
Data Allocation Strategies for the Management of Quality of Service in Virtualised Storage Systems
Felipe Franciosi, William J. Knottenbelt
IEEE Conference on Mass Storage Systems and Technologies (MSST 2011)
pp.1–6
May, 2011
Deriving Generalised Stochastic Petri Net performance models from high-precision location tracking data [PDF]
Nikolas Anastasiou, Tzu-Ching Horng, William J. Knottenbelt
Fifth International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS 2011)
May, 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
LocTrackJINQS: An Extensible Location-aware Simulation Tool for Multiclass Queueing Networks
Tzu-Ching Horng, Nikolas Anastasiou, A. J. Field, William J. Knottenbelt
Electronic Notes in Theoretical Computer Science
Volume 275, Issue 27, pp.93–104
March, 2011
Stochastic Modelling and Optimisation of Internet Auction Processes
Timothy Leung, William J. Knottenbelt
Fifth International Workshop on the Practical Application of Stochastic Modelling (PASM)
Electronic Notes in Theoretical Computer Science
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
Product-Form Approximation of Tandem Queues via Matrix Geometric Methods [PDF]
Giuliano Casale, Peter G. Harrison, Maria Vigliotti
6th International Workshop on the Numerical Solution of Markov Chains (NSMC 2010)
September, 2010
Semi-Product-Form Solution for Models with State-Dependent Rates [PDF]
Nigel Thomas, Andrea Marin, Peter G. Harrison
9th Workshop on Process Algebra and Stochastically Timed Activities (PASTA 2010)
September, 2010
State-dependent rates and semi-product-form via the reversed process
Nigel Thomas, Peter G. Harrison
European Performance Engineering Workshop (EPEW 2010)
Lecture Notes in Computer Science, Springer-Verlag
September, 2010
A Unifying Approach to Product-forms in Networks with Finite Capacity Constraints
Simonetta Balsamo, Peter G. Harrison, Andrea Marin
ACM Sigmetrics 2010
pp.25–36
ACM SIGMETRICS Performance Evaluation Review, ACM
June, 2010
A new tool for the performance analysis of massively parallel computer systems [PDF]
Anton Stefanek, Richard Hayden, Jeremy T. Bradley
Eighth Workshop on Quantitative Aspects of Programming Languages (QAPL 2010), March 27-28, 2010, Paphos, Cyprus
Volume 28, pp.159–181
Electronic Proceedings in Theoretical Computer Science
March, 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
A Markovian Futures Market for Computing Power
Fernando Martinez Ortuno, Peter G. Harrison, Uli Harder
WOSP/SIPEW
January, 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
Data Placement And Migration Strategies For Virtualised Data Storage Systems [PDF]
Henry Bond, Nicholas J. Dingle, Felipe Franciosi, Peter G. Harrison, William J. Knottenbelt
23rd Annual European Simulation and Modelling Conference (ESM 2009)
October, 2009
Response time distributions and network perturbation into product-form [PDF]
Peter G. Harrison, Maria Vigliotti
4th International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS 2009).
October, 2009
Using Bulk Arrivals to Model I/O Request Response Time Distributions in Zoned Disks and RAID Systems [PDF]
Abigail Lebrecht, Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt, Soraya Zertal
4th International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS 2009)
October, 2009
A Performance Model of Zoned Disk Drives with I/O Request Reordering [PDF]
Abigail Lebrecht, Nicholas J. Dingle, William J. Knottenbelt
6th International Conference on Quantitative Evaluation of Systems (QEST 2009)
pp.97–106
September, 2009
PageRank: Splitting Homogeneous Singular Linear Systems of Index One [PDF]
Douglas de Jager, Jeremy T. Bradley
ICTIR'09, 2nd International Conference on the Theory of Information Retrieval
Volume 5766, pp.17–28
Lecture Notes in Computer Science, Springer Verlag
September, 2009
Shared Transaction Markov Chains for Fluid Analysis of Massively Parallel Systems [PDF] [GZipped Postscript]
Richard Hayden, Jeremy T. Bradley
MASCOTS '09, 17th Annual Meeting of the IEEE International Symposium on Modelling, Analysis and Simulation of Computer and Telecommunication Systems
IEEE Computer Society
September, 2009
A likelihood based framework for assessing network evolution models tested on real network data
Richard Clegg, Raul Landa, Miguel Rio, Uli Harder
Workshop on Simplifying Complex Network for Practitioners
pp.1–6
ACM
July, 2009
A more realistic Peer-to-Peer Grid Market Model
Uli Harder, Fernando Martinez Ortuno
EPEW'09, 6th European Performance Engineering Workshop Imperial College London, 9-10 July
Volume 5652
Lecture Notes in Computer Science, Springer-Verlag
July, 2009
Modelling Zoned RAID Systems using Fork-Join Queueing Simulation [PDF]
Abigail Lebrecht, Nicholas J. Dingle, William J. Knottenbelt
6th European Performance Engineering Workshop (EPEW 2009)
Volume 5652, pp.16–29
Lecture Notes in Computer Science, Springer Verlag
July, 2009
Aggregation strategies for large semi-Markov processes [PDF] [Postscript]
Marcel C. Guenther, Nicholas J. Dingle, Jeremy T. Bradley, William J. Knottenbelt
3rd International Symposium on Semi-Markov Models: Theory and Applications
June, 2009
From X to Pi: Representing Classical Sequent Calculus in Pi-calculus [PDF]
Luca Cardelli, Steffen van Bakel, Maria Vigliotti
International Workshop on Classical Logic and Computation (CL&C'08)
2009
Towards The Automated Inference Of Queueing Network Models From High-Precision Location Tracking Data [PDF]
Nicholas J. Dingle, Adam Jackson, William J. Knottenbelt
23rd European Conference on Modelling and Simulation (ECMS 2009)
pp.664–674
June, 2009
Towards a QoS-aware Virtualised Storage System [PDF]
Felipe Franciosi, William J. Knottenbelt
UKPEW 2009
pp.56–67
April, 2009
Node-level Architecture Design and Simulation of the MAGOG Grid Middleware
Jeremy Cohen, Colin Richardson, Uli Harder, Fernando Martinez Ortuno, John Darlington
Conferences in Research and Practice in Information Technology
Volume 99, pp.57–66
Australian Computer Society
January, 2009
Fluid level in a reservoir with an on-off source
Varun Gupta, Peter G. Harrison
10th workshop on mathematical performance modeling and analysis (MAMA 2008)
Volume 36, Issue 2, pp.128–130
Performance Evaluation Review, ACM
December, 2008
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
Safety and Response-Time Analysis of an Automotive Accident Assistance Service [PDF]
Ashok Argent-Katwala, Allan Clark, Howard Foster, Stephen Gilmore, Philip Mayer, Mirco Tribastone
ISOLA'08, 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
Volume 17, Issue 6, pp.191–205
Communications in Computer and Information Science, Springer
October, 2008
Service Level Agreement Specification, Compliance Prediction And Monitoring With Performance Trees [PDF]
Nicholas J. Dingle, William J. Knottenbelt, Lei Wang
22nd Annual European Simulation and Modelling Conference (ESM'08)
pp.137–144
October, 2008
Simulation And Modelling Of RAID 0 System Performance [PDF]
Francis Wan, Nicholas J. Dingle, William J. Knottenbelt, Abigail Lebrecht
22nd Annual European Simulation and Modelling Conference (ESM'08)
pp.145–149
October, 2008
A Parallel and Distributed Analysis Pipeline for Performance Tree Evaluation [PDF]
Darren K. Brien, Nicholas J. Dingle, William J. Knottenbelt, Harini Kulatunga, Tamas Suto
QEST'08, 5th International Conference on the Quantitative Evaluation of Systems
pp.237–238
IEEE Computer Society
September, 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
Automated Customer-Centric Performance Analysis of Generalised Stochastic Petri Nets Using Tagged Tokens [PDF]
Nicholas J. Dingle, William J. Knottenbelt
Third International Workshop on Practical Applications of Stochastic Modelling (PASM'08), Palma de Mallorca, Spain
September, 2008
Modelling and Validation of Response Times in Zoned RAID [PDF]
Abigail Lebrecht, Nicholas J. Dingle, William J. Knottenbelt
16th Annual Meeting of the IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS)
September, 2008
Natural Language Specification of Performance Trees [PDF]
Lei Wang, Nicholas J. Dingle, William J. Knottenbelt
5th European Performance Engineering Workshop (EPEW 2008)
Issue 5261, pp.141–151
Lecture Notes in Computer Science
September, 2008
Distributed Response Time Analysis of GSPN Models with MapReduce [PDF] [GZipped Postscript]
Oliver Haggarty, William J. Knottenbelt, Jeremy T. Bradley
SPECTS'08, International Symposium on Performance Evaluation of Computer and Telecommunication Systems, Edinburgh, 16-18 June 2008
pp.82–90
SCS
2008
Parallelization of a Simulation of a peer to peer market for Grid Computing
Fernando Martinez Ortuno
24th UK Performance Engineering Workshop (UKPEW 2008)
July, 2008
A Response Time Distribution Model for Zoned RAID [PDF]
Abigail Lebrecht, Nicholas J. Dingle, William J. Knottenbelt
The 15th International Conference on Analytical and Stochastic Modelling Techniques and Applications (ASMTA '08)
pp.144–157
Lecture Notes in Computer Science
June, 2008
BAM: BioAmbient Machine [PDF]
Vinod Muganthan, Andrew Phillips, Maria Vigliotti
8th International Conference on Application of Concurrency to System (ACDS'08)
IEEE Computer Society Press, IEEE
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
Non-linear seek distance for optimal accuracy of zoned disks seek time in Multi-RAID storage systems [PDF]
Soraya Zertal, Peter G. Harrison
High Performance Computing & Simulation Conference (HPCS 2008)
June, 2008
Response time distributions via reversed processes. [PDF]
Peter G. Harrison, Maria Vigliotti
Imperial College
Imperial College
2008
Simulation of a peer to peer market for Grid Computing
Uli Harder, Fernando Martinez Ortuno
The 15th International Conference on ANALYTICAL and STOCHASTIC MODELLING TECHNIQUES and APPLICATIONS, ASMTA 2008
Volume 5055, pp.234–248
Lecture Notes in Computer Science, Springer-Verlag
2008
Performance Trees: Implementation And Distributed Evaluation [PDF]
Darren K. Brien, Nicholas J. Dingle, William J. Knottenbelt, Harini Kulatunga, Tamas Suto
PDMC'08, 7th International Workshop on Parallel and Distributed Methods in Verification
March, 2008
Machine learned regression for abductive DNA sequencing [PDF]
David Thornley, Maxim Zverev, Stavros Petridis
The 2007 International Conference on Machine Learning and Applications
IEEE
December, 2007
Continuous PEPA Queues: Individual behaviour in continuous queueing networks [PDF] [GZipped Postscript]
Ashok Argent-Katwala, Jeremy T. Bradley
VALUETOOLS'07, 2nd International Conference on Performance Evaluation Methodologies and Tools, Nantes, 23-25 October 2007
Issue 54
ACM Press
November, 2007
Location-Aware Quality of Service Measurements for Service-Level Agreements [PDF]
Ashok Argent-Katwala, Jeremy T. Bradley, Allan Clark, Stephen Gilmore
TGC'07, Trustworthy Global Computing
Volume 4912, pp.222–239
Lecture Notes in Computer Science, Springer
November, 2007
Novel anisotropic multidimensional convolutional filters for derivative estimation and reconstruction [PDF]
David Thornley
Proceedings of The 2007 IEEE International Conference on Signal Processing and Communications (ICSPC 2007)
November, 2007
An Integrated Analytical Model for Computation and Comparison of the Throughputs of the UMTS/HSDPA User Equipment Categories
Tien Van Do, Ram Chakka, Peter G. Harrison
MSWiM 2007, Proceedings of the 10th ACM Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, Crete, October 22-26, 2007
pp.45–51
ACM
October, 2007
Approximate Queueing Network Analysis of Patient Treatment Times [PDF]
Susanna Wau Men Au-Yeung, Peter G. Harrison, William J. Knottenbelt
2nd International Conference on Performance Evaluation Methodologies and Tools
October, 2007
Note on a simple type system for non-interference. [PDF]
Steffen van Bakel, Maria Vigliotti
Nordic Workshop on Programming Theory (NWPT'07), Oslo, October 10-12, 2007.
2007
Cluster Grid based Response-time Analysis Module for the PIPE Tool [PDF]
Harini Kulatunga, Ashok Argent-Katwala, William J. Knottenbelt
QEST 2007, 4th International Conference on the Quantitative Evaluation of Systems
pp.51–52
IEEE Computer Society
September, 2007
PEPA Queues: Capturing customer behaviour in queueing networks [PDF] [GZipped Postscript]
Ashok Argent-Katwala, Jeremy T. Bradley
QAPL'07, 5th Workshop on Quantitative Aspects of Programming Languages
Volume 190, Issue 3, pp.3–25
Electronic Notes in Theoretical Computer Science, Elsevier
September, 2007
Performance Trees: Expressiveness And Quantitative Semantics [PDF] [GZipped Postscript]
Tamas Suto, Jeremy T. Bradley, William J. Knottenbelt
QEST'07, 4th International Conference on the Quantitative Evaluation of Systems
pp.41–50
IEEE Computer Society
September, 2007
Performance of a Priority-Weighted Round Robin Mechanism for Differentiated Service Networks [PDF]
Yu Zhang, Peter G. Harrison
International Workshop on Performance Modeling and Evaluation in Computer and Telecommunication Networks (PMECT07) in conjunction with IEEE ICCCN2007.
IEEE
August, 2007
Decoding Trace Peak Behaviour - A Neuro-Fuzzy Approach [PDF]
David Thornley, Stavros Petridis
IEEE International Conference on Fuzzy Systems
July, 2007
Approximate Analysis of a Network of Fluid Queues
A. J. Field, Peter G. Harrison
Workshop on Mathematical performance Modeling and Analysis (MAMA 2007)
Volume 35, Issue 2, pp.30–32
Performance Evaluation Review, ACM
June, 2007
Asynchronous Iterative Solution for State-Based Performance Metrics [PDF] [Postscript]
Douglas de Jager, Jeremy T. Bradley
SIGMETRICS'07, ACM SIGMETRICS Conference on Measurement and Modeling of Computer Systems. 12-16 June, San Diego.
pp.373–374
ACM Press
June, 2007
Multi-RAID Queueing Model with Zoned Disks [PDF]
Soraya Zertal, Peter G. Harrison
2007 High Performance Computing & Simulation Conference (HPCS 2007) June 4 - 6, 2007 Prague, Czech Republic
June, 2007
Stochastic Ambient Logic [PDF]
Maria Vigliotti
international Workshop on Quantitative Aspects of Programming Languages (QAPL'07)
2007
Stochastic Ambient Calculus
Maria Vigliotti, Peter G. Harrison
International Workshop on Quantitative Aspects of Programming Languages (QAPL'06)
Volume 164, pp.169–186
ENTCS, Elsevier
2006
Worst-case Analysis of Router Networks with Rival Queueing Models
Nalan Gulpinar, Peter G. Harrison, Berc Rustem
21st International Symposium on Computer and Information Sciences (ISCIS 2006), Istanbul, Turkey
Volume 4263, pp.897–907
Lecture Notes in Computer Science, Springer-Verlag
November, 2006
A General Performance Model Interchange Format
Peter G. Harrison, Catalina , Ramon Puigjaner
1st International Conference on Performance Evaluation Methodologies and Tools (Valuetools 2006), Pisa, Italy
Volume 180
ACM International Conference Proceedings, ACM
October, 2006
A Queueing Network Model of Patient Flow in an Accident and Emergency Department [PDF]
Susanna Wau Men Au-Yeung, Peter G. Harrison, William J. Knottenbelt
20th Annual European and Simulation Modelling Conference
pp.60–67
October, 2006
Automated product-forms with Meercat [PDF]
Ashok Argent-Katwala
SMCtools 2006, Tools for solving Structured Markov Chains
Volume 201, Issue 10
ACM International Conference Proceedings, ACM
October, 2006
Optimization of a Tandem Router Network Using a Fluid Model
Nalan Gulpinar, Peter G. Harrison
9th ACM/IEEE International Symposium on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWiM 2006), Terromolinos, Spain. 2-6 October, 2006
pp.199–206
ACM
October, 2006
Exploring accuracy and correctness in solution to matrix polynomial equations in queues [PDF]
David Thornley, Harf Zatschler
QEST 2006
September, 2006
Machine Learning in Basecalling - Decoding trace peak behaviour [PDF]
David Thornley, Stavros Petridis
IEEE Symposium on Computational Intelligence in Bioinformatics and Computational Biology 2006
September, 2006
Performance Trees: A New Approach To Quantitative Performance Specification [PDF] [GZipped Postscript]
Tamas Suto, Jeremy T. Bradley, William J. Knottenbelt
MASCOTS'06, 14th International Symposium on Modelling, Analysis, and Simulation of Computer and Telecommunication Systems
pp.303–313
IEEE Computer Society
September, 2006
Space-Time Block Coding: Joint Detection and Channel Estimation using Multiple Model Theory [PDF] [Postscript]
Harini Kulatunga, Visakan Kadirkamanathan
IEEE Workshop on Signal Processing Advances in Wireless Communications
IEEE Signal Processing Society
July, 2006
A tandem network of fluid queues with on-off arrivals [PDF] [GZipped Postscript]
Peter G. Harrison, P. M. Lonsdale
5th Workshop on Process Algebra and Stochastically Timed Activities 2006 (PASTA 2006)
June, 2006
Expanding The Boundaries Of Performance Requirement Representation With Performance Trees [PDF]
Tamas Suto
PASTA'06, 5th Workshop on Process Algebra and Stochastically Timed Activities
Imperial College London, Department of Computing
June, 2006
Functional Performance Specification with Stochastic Probes [PDF] [GZipped Postscript]
Ashok Argent-Katwala, Jeremy T. Bradley
EPEW'06, 3rd European Performance Evaluation Workshop
Volume 4054, pp.31–46
Lecture Notes in Computer Science, Springer
June, 2006
Modelling along the DNA template in the Sanger method: inhibition through competition and form [PDF]
David Thornley
Process Algebra and Stochastically Timed Activities 2006
June, 2006
Observing Internet Worm and Virus Attacks with a Small Network Telescope [PDF] [GZipped Postscript]
Uli Harder, Matthew Johnson, Jeremy T. Bradley, William J. Knottenbelt
PASM 2005, 2nd International Workshop on the Practical Application of Stochastic Modelling
Volume 151, Issue 3, pp.47–59
Electronic Notes in Theoretical Computer Science, Elsevier
June, 2006
Performance Optimization of a Tandem Router Network Using a Fluid Model
Nalan Gulpinar, Peter G. Harrison, Berc Rustem, Pau
International MultiConference of Engineers and Computer Scientists 2006, (IMECS'06), June 20-22, 2006, Hong Kong
p.986
Lecture Notes in Engineering and Computer Science
June, 2006
Process algebraic non-product-forms [PDF]
Peter G. Harrison
Practical Aspects of Stochastic Modelling (PASM'05), Newcastle, July 2005
Volume 151, Issue 3, pp.61–76
Electronic Notes in Theoretical Computer Science, Elsevier
June, 2006
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
Visualising Dynamic Memory Allocators [PDF]
Andrew Cheadle, A. J. Field, J.W. Ayres, N. Dunn, Richard Hayden, J. Nystrom-Persson
ISMM'06, ACM International Symposium on Memory Management
pp.115–125
ACM Press
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
Performance Optimization of Mean Response Time in a Tandem Router Network with Batch Arrivals
Nalan Gulpinar, Peter G. Harrison, Berc Rustem, Pau
10th IEEE/IFIP Network Operations and Management Symposium, 2006 (NOMS 2006)
April, 2006
Parallel Visualization using the Domain-Specific Interpreter Pattern [PDF]
Karen Osmond, Olav Beckmann, A. J. Field, Paul Kelly
CPC 2006. Workshop on Compilers for Parallel Computers
January, 2006
Delay Analysis of Priority Queues with Modulated Traffic [PDF]
Peter G. Harrison, Yu Zhang
MASCOTS 2005, IEEE International Symposium on Modelling, Analysis, and Simulation of Computer and Telecommunication Systems
pp.280–287
IEEE Computer Society Press
September, 2005
GRAIL: Grid-Enabled Performance Analysis Using Stochastic Logics [PDF]
Tamas Suto
PASTA'05, 4th Workshop on Process Algebra and Stochastically Timed Activities
University of Edinburgh
September, 2005
Hypergraph Partitioning for Faster Parallel PageRank Computation [PDF] [GZipped Postscript]
Jeremy T. Bradley, Douglas de Jager, William J. Knottenbelt, Aleksandar Trifunovic
EPEW'05, Proceedings of the 2nd European Performance Evaluation Workshop
Volume 3670, pp.155–171
Lecture Notes in Computer Science, Springer-Verlag
September, 2005
Performance Engineering and Stochastic Modelling
Peter G. Harrison
European Performance Engineering Workshop (EPEW 2005) and International Workshop on Web Services and Formal Methods (WS-FM 2005), Versailles, France, September 1-3, 2005
Volume 3670, pp.1–14
Lecture Notes in Computer Science, Springer
September, 2005
Robust Multiuser Detection in Flat Fading Non-Gaussian Channels [PDF] [Postscript]
Harini Kulatunga, Visakan Kadirkamanathan
IEEE SPAWC 2005
June, 2005
Calibration of a Queueing Model of RAID Systems [PDF] [Postscript]
Peter G. Harrison, Soraya Zertal
PASM 2004, 1st International Workshop on Practical Applications of Stochastic Modelling
Volume 128, Issue 4, pp.145–164
Electronic Notes in Theoretical Computer Science, Elsevier
April, 2005
Leader Election in Rings of Ambient Processes
Iain Phillips, Maria Vigliotti
Electronic Notes in Theoretical Computer Science
Volume 128, Issue 2, pp.185–199
Elsevier
April, 2005
Optimization of a Tandem M/GI/1 Router Network with Batch Arrivals
Nalan Gulpinar, Peter G. Harrison, Berc Rustem, Pau
PMEO-PDS 2005, 4th International Workshop on Performance Modelling, Evaluation, and Optimization of Parallel and Distributed Systems
p.270
IEEE Computer Society Press
April, 2005
Optimising Parallel Pattern-matching by Source-level Program Transformation [PDF]
R. Lyndon While, A. J. Field
ACSC'05, 28th Australasian Computer Science Conference
Volume 38, pp.239–248
ACM International Conference Proceedings, Australian Computer Society
January, 2005
Hybrid systems approach to adaptive multi-user detection in MIMO CDMA channels
Harini Kulatunga, Visakan Kadirkamanathan
The IMA Conference on Mathematics in Signal Processing VI
December, 2004
Robust equalization using multiple H-infinity filters
Harini Kulatunga, Visakan Kadirkamanathan
The IMA Conference on Mathematics in Signal Processing VI
December, 2004
An optimisation model for a two-node router network [PDF]
Nalan Gulpinar, Peter G. Harrison, Berc Rustem, Pau
12th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems (MASCOTS 2004), Volendam, Netherlands
pp.147–156
IEEE Computer Soc
October, 2004
Experimental Evaluation of the UML Profile for Schedulability, Performance and Time [PDF]
Andrew Bennett, A. J. Field, Murray Woodside
UML 2004, 7th International Conference on the Unified Modeling Language
Volume 3273, pp.143–157
Lecture Notes in Computer Science, Springer
October, 2004
Exploring the Barrier to Entry - Incremental Generational Garbage Collection for Haskell [PDF]
Andrew Cheadle, A. J. Field, Simon Marlow, Simon Peyton Jones, R. Lyndon While
ISSM'04, ACM SIGPLAN International Symposium on Memory Management
pp.163–174
ACM Press
October, 2004
How Synchronisation Strategy Approximation in PEPA Implementations affects Passage Time Performance Results [PDF] [GZipped Postscript]
Jeremy T. Bradley, Stephen Gilmore, Nigel Thomas
EPEW'04, European Performance Evaluation Workshop
Volume 3236, pp.128–142
Lecture Notes in Computer Science, Springer-Verlag
October, 2004
Overcoming Barriers to Restructuring in a Modular Visualisation Environment [PDF]
Olav Beckmann, A. J. Field, Gerard Gorman, Andrew Huff, Marc Hull, Paul Kelly
LCR 2004. Proceedings of the 7th workshop on Workshop on Languages, Compilers, and Run-time Support for Scalable Systems
Volume 81, pp.110–116
ACM International Conference Proceedings, ACM Press
October, 2004
Parkway 2.0: A Parallel Multilevel Hypergraph Partitioning Tool [PDF]
Aleksandar Trifunovic, William J. Knottenbelt
19th International Symposium on Computer and Information Sciences (ISCIS 2004)
Volume 3280, pp.789–800
Lecture Notes in Computer Science, Springer-Verlag
October, 2004
Performance Engineering with the UML Profile for Schedulability, Performance and Time: a Case Study [PDF]
Andrew Bennett, A. J. Field
12th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems (MASCOTS'04)
pp.67–75
IEEE Communications Society
October, 2004
Sojourn time distributions in modulated G-queues with batch processing [PDF] [GZipped Postscript]
Peter G. Harrison, Harf Zatschler
1st International Conference on Quantitative Evaluation of Systems (QEST) 2004, University of Twente
September, 2004
The ipc/HYDRA Tool Chain for the Analysis of PEPA Models [PDF] [GZipped Postscript]
Jeremy T. Bradley, William J. Knottenbelt
QEST'04, 1st IEEE International Conference on the Quantitative Evaluation of Systems
pp.334–335
IEEE Computer Society Press
September, 2004
A Parallel Algorithm for Multilevel k-way Hypergraph Partitioning [PDF] [Postscript]
Aleksandar Trifunovic, William J. Knottenbelt
ISPDC 2004, 3rd International Symposium on Parallel and Distributed Computing
pp.114–121
IEEE Computer Society
July, 2004
Towards a Parallel Disk-Based Algorithm for Multilevel k-way Hypergraph Partitioning [PDF] [Postscript]
Aleksandar Trifunovic, William J. Knottenbelt
5th Workshop on Parallel and Distributed Scientific and Engineering Computing
2004
Cross-component restructuring in the MayaVi visualisation pipeline
Olav Beckmann, A. J. Field, Paul Kelly
Compilers for parallel computing (CPC2004), July 2004
2004
Efficient Approximation of Response Time Densities and Quantiles in Stochastic Models [PDF] [Postscript]
Susanna Wau Men Au-Yeung, Nicholas J. Dingle, William J. Knottenbelt
4th ACM Workshop on Software and Performance (WOSP 2004), Redwood City, California, USA, January 2004, pp. 151-155.
January, 2004
Electoral systems in ambient calculi
Iain Phillips, Maria Vigliotti
7th International Conference on Foundations of Software Science and Computation Structures, Barcelona, Spain
Volume 2987, pp.408–422
Lecture Notes in Computer Science, Springer-Verlag
2004
Expressing Performance Requirements using Regular Expressions to specify Stochastic Probes over Process Algebra Models [PDF] [GZipped Postscript]
Ashok Argent-Katwala, Jeremy T. Bradley, Nicholas J. Dingle
WOSP'04, 4th International Workshop on Software and Performance
Volume 29, Issue 1, pp.49–58
ACM SIGSOFT Software Engineering Notes, ACM
January, 2004
Multiple models for blind multiuser detection in MIMO DS/CDMA systems
Harini Kulatunga, Visakan Kadirkamanathan
The IEEE Global Communications Conference
Volume 22, Issue 1, pp.2453–2457
IEEE Communications Society
December, 2003
Derivation of Passage-time Densities in PEPA Models using ipc: the Imperial PEPA Compiler [PDF] [GZipped Postscript]
Jeremy T. Bradley, Nicholas J. Dingle, Stephen Gilmore, William J. Knottenbelt
MASCOTS'03, 11th IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunications Systems
pp.344–351
IEEE Computer Society Press
October, 2003
G-networks with Propagating Resets via RCAT
Peter G. Harrison
MAMA 2003, Special issue on the 5th workshop on Mathematical Performance Modeling and Analysis
Volume 31, Issue 2, pp.3–5
ACM SIGMETRICS Performance Evaluation Review, ACM Press
September, 2003
Hypergraph-based Parallel Computation of Passage Time Densities in Large Semi-Markov Models [PDF] [GZipped Postscript]
Jeremy T. Bradley, Nicholas J. Dingle, William J. Knottenbelt, Helen Wilson
NSMC 2003, 4th International Workshop on Numerical Solution of Markov Chains
pp.99–120
September, 2003
Performance Queries on Semi-Markov Stochastic Petri Nets with an Extended Continuous Stochastic Logic [PDF] [GZipped Postscript]
Jeremy T. Bradley, Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt
PNPM 2003, 10th International Workshop on Petri Nets and Performance Models, Urbana IL, USA
pp.62–71
IEEE Computer Society Press
September, 2003
Queueing Models with Maxima of Service Times.
Peter G. Harrison, Soraya Zertal
Lecture Notes in Computer Science
Volume 2794, pp.152–168
September, 2003
Reversed processses, product forms, non-product forms and a new proof of the BCMP theorem [PDF] [GZipped Postscript]
Peter G. Harrison
International Conference on the Numerical Solution of Markov Chains (NSMC 2003), Urbana IL, USA, September 2-5 2003
pp.289–304
September, 2003
Analysis and enhancement of network solutions using geometrically batched traffic [PDF] [GZipped Postscript]
David Thornley, Harf Zatschler
UKPEW'03
July, 2003
An automated formulation of queues with multiple geometric batch processes [PDF] [GZipped Postscript]
David Thornley, Harf Zatschler, Peter G. Harrison
HETNETS'03
July, 2003
A novel approximated joint activity transition structure in a tandem feedback unreliable server queue [PDF] [GZipped Postscript]
David Thornley, Harf Zatschler, Nigel Thomas
UKPEW'03
July, 2003
Exact Aggregation Strategies for Semi-Markov Performance Models [PDF] [GZipped Postscript]
Jeremy T. Bradley, Nicholas J. Dingle, William J. Knottenbelt
SPECTS 2003, International Symposium on Performance Evaluation of Computer and Telecommunication Systems, Montreal, Canada, July 20-24 2003
pp.755–762
SCS
July, 2003
Synchronized negative customers in an unreliable server queue [PDF]
David Thornley
HETNETS'03
July, 2003
Approximate solution of a class of queueing networks with breakdowns [PDF]
Nigel Thomas, David Thornley, Harf Zatschler
European Simulation Multiconference, Nottingham
June, 2003
HYDRA: HYpergraph-based Distributed Response-time Analyser [PDF]
Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt
International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA 2003)
pp.215–219
June, 2003
Distributed Computation of Passage Time Quantiles and Transient State Distributions in Large Semi-Markov Models [PDF] [GZipped Postscript]
Jeremy T. Bradley, Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt
PMEO-PDS 2003, International Workshop on Performance Modelling, Evaluation, and Optimization of Parallel and Distributed Systems
p.281
IEEE Computer Society Press
April, 2003
Geometrically batched networks [PDF] [GZipped Postscript]
Peter G. Harrison, David Thornley, Harf Zatschler
17th International Symposium On Computer and Information Sciences (ISCIS 2002)
October, 2002
Network Traffic Behaviour in Switched Ethernet Systems [PDF] [Postscript]
A. J. Field, Uli Harder, Peter G. Harrison
MASCOTS 2002, 10th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems
pp.32–42
IEEE Computer Society
October, 2002
Studying Sensitivities of an EJB Performance Model [PDF]
Catalina , Johannes , Peter G. Harrison
MASCOTS'02, 10th IEEE International Symposium on Modelling, Analysis, and Simulation of Computer and Telecommunications Systems
pp.277–280
IEEE Computer Society Press
October, 2002
Barbs and congruences for safe mobile ambients
Maria Vigliotti, Iain Phillips
Electronic Notes in Theoretical Computer Science
Volume 66, Issue 3, pp.37–51
Elsevier
September, 2002
Optimising shared reduction variables in MPI programs
A. J. Field, Paul Kelly, Thomas Hansen
8th International Euro-Par Conference on Parallel Processing, Paderborn, Germany, 2002
Volume 2400, p.630
Lecture Notes in Computer Science, Springer-Verlag
August, 2002
Queues with simultaneous loss on breakdown [PDF] [GZipped Postscript]
David Thornley
Eighteenth Annual UK Performance Engineering Workshop, University of Glasgow (UKPEW 2002)
July, 2002
Response Time Densities in Generalised Stochastic Petri Net Models. [PDF]
Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt
3rd International Workshop on Software and Performance (WOSP 2002), Rome, Italy, July 24-26 2002
pp.46–54
July, 2002
Passage Time Distributions in Large Markov Chains [PDF] [GZipped Postscript]
Peter G. Harrison, William J. Knottenbelt
SIGMETRICS'02, ACM SIGMETRICS conference on Measurement and Modeling of Computer Systems
Volume 30, Issue 1, pp.77–85
ACM SIGMETRICS Performance Evaluation Review, ACM Press
June, 2002
A Passage-time Preserving Equivalence for Semi-Markov Processes [PDF] [GZipped Postscript]
Jeremy T. Bradley
TOOLS 2002, Computer Performance Evaluation: Modelling Techniques and Tools
Volume 2324, pp.178–187
Lecture Notes in Computer Science, Springer-Verlag
April, 2002
GILK: A Dynamic Instrumentation Tool for the Linux Kernel [PDF] [Postscript]
David Pearce, Paul Kelly, A. J. Field, Uli Harder
TOOLS 2002, 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
Volume 2324, pp.220–226
Lecture Notes in Computer Science, Springer-Verlag
April, 2002
On reduction semantics for the push and pull ambient calculus
Iain Phillips, Maria Vigliotti
2nd IFIP international conference on theoretical computer science (TCS 2002) held in conjunction with the 17th world computer congress, Montreal, Canada, 2002
pp.550–562
Kluwer Academic Publishers
2002
Two Solution Methods for Models of Parallel Queues [PDF]
Nigel Thomas, Jeremy T. Bradley
ESM'01, Fifteenth European Simulation Multiconference
pp.741–745
SCS
July, 2001
Putting Quality of Service into a Network by making the Traffic Markovian [PDF] [GZipped Postscript]
Jeremy T. Bradley, Nigel Thomas
ESM'01, Fifteenth European Simulation Multiconference
pp.746–750
SCS
June, 2001
Non-stop Haskell [GZipped Postscript]
Andrew Cheadle, A. J. Field, Simon Marlow, Simon Peyton Jones, R. Lyndon While
ICFP'00, 5th ACM SIGPLAN International Conference on Functional Programming
pp.257–267
ACM Press
September, 2000
Performance evaluation of an enterprise JavaBean server implementation [PDF]
Catalina , Peter G. Harrison
WOSP 2000, 2nd International Workshop on Software and Performance
pp.180–188
ACM Press
September, 2000
A Matrix-based Method for Analysing Stochastic Process Algebras [PDF] [GZipped Postscript]
Jeremy T. Bradley, Neil Davies
PAPM'00, 8th International Workshop on Process Algebra and Performance Modelling. ICALP Workshops
pp.579–590
Carleton Scientific
July, 2000
Approximating variance in non-product form decomposed models [PDF] [GZipped Postscript]
Nigel Thomas, Jeremy T. Bradley
PAPM'00, 8th International Workshop on Process Algebra and Performance Modelling. ICALP Workshops.
pp.607–619
Carleton Scientific
July, 2000
Decomposing Models of Parallel Queues [PDF] [GZipped Postscript]
Nigel Thomas, Jeremy T. Bradley
QNETS'00, Fourth International Workshop on Queueing Networks with Finite Capacity
pp.381–388
July, 2000
Performance Evaluation of a Distributed Enterprise Data Mining System
Peter G. Harrison, Catalina
TOOLS 2000, 11th International Conference for Computer Performance Evaluation. Modelling Techniques and Tools
Volume 1786, pp.117–131
Springer-Verlag
March, 2000
Run-time fusion of MPI calls in a parallel C++ library [GZipped Postscript]
A. J. Field, Thomas Hansen, Paul Kelly
LCPC2000, The 13th International Workshop on Languages and Compilers for High-Performance Computing, Yorktown Heights
2000
Distributed Disk-based Solution Techniques for Large Markov Models [PDF] [GZipped Postscript]
William J. Knottenbelt, Peter G. Harrison
NSMC'99, 3rd International Workshop on the Numerical Solution of Markov Chains
pp.58–75
September, 1999
Parallel Simulation of Plankton Ecology [GZipped Postscript]
Samir Al-Battran, A. J. Field, Roger Wiley, John Woods
IASTED 1999 International Conference on Modelling and Simulation
pp.259–263
May, 1999
Response times in G-nets
Peter G. Harrison
13th International Symposium on Computer and Information Sciences (ISCIS 1998)
pp.9–16
October, 1998
Probability, Parallelism and the State Space Exploration Problem [PDF]
William J. Knottenbelt, Mark Mestern, Peter G. Harrison, Pieter Kritzinger
TOOLS'98, 10th International Conference on Modelling, Techniques and Tools
Volume 1469, pp.165–179
Lecture Notes in Computer Science, Springer Verlag
September, 1998
Response Times in Client-Server Systems [PDF]
A. J. Field, Peter G. Harrison, Andrew Parry
TOOLS'98, 10th International Conference on Modelling, Techniques and Tools. Palma de Mallorca, Spain, September 1998
Volume 1469, pp.75–92
Lecture Notes in Computer Science, Springer
September, 1998
M-Tree: A Parallel Abstract Data Type for Block-Irregular Adaptive Applications
A. J. Field, Paul Kelly, Qian Wu
EuroPar'97
Springer
1997
Performance Modelling and Verification of Cache Coherency Protocols using Stochastic Process Algebra
K. Kanani, A. J. Field, Peter G. Harrison
4th Workshop on Process Algebras and Performance Modelling, 1996.
1996
An Analytical Model of the Standard Coherent Interface "SCI".
A. J. Field, Peter G. Harrison
1995 International Conference on Parallel Processing, August 14-18, 1995, Urbana-Champain, Illinois, USA
pp.173–177
August, 1995
A Uniform Memory Access Model of a Distributed Coherent Cache System
A. J. Field, Peter G. Harrison
U.K. Performance Engineering Workshop, September 1994
September, 1994
Transmission Times in Buffered Full-Crossbar Communication Networks with Cyclic Arbitration
A. J. Field, Peter G. Harrison
ICPP'93, IEEE/ACM International Conference on Parallel Processing. 16-20 August 1993, Syracuse University, NY
Volume 1, pp.189–196
IEEE Computer Society
August, 1993
Parallel Programming Using Skeleton Functions [PDF]
John Darlington, A. J. Field, Peter G. Harrison, Paul Kelly, D W N Sharp, Qiang Wu, R. Lyndon While
PARLE'93, 5th International PARLE Conference on Parallel Architectures and Languages Europe
Volume 694, pp.146–160
Lecture Notes in Computer Science, Springer
June, 1993
Process Algebra for Discrete Event Simulation [PDF] [Postscript]
Peter G. Harrison, Ben Strulo
QMIPS'93, Qualitative Methods in Parallel Systems, Erlangen
pp.115–142
March, 1993
Transmission Times in Unbuffered Crossbars with Cyclic Arbitration
A. J. Field, Peter G. Harrison
ICPP'92, IEEE/ACM International Conference on Parallel Processing. An Arbor, Michigan, August 17-21, 1992
Volume 1, pp.132–137
August, 1992
Blocking in asynchronous, buffered Banyan networks
Peter G. Harrison, Afonso de C. Pinto
IFIP Trans. C-Commun. Syst.
Volume 5, pp.169–188
North-Holland
September, 1991
A projection model of types
David J Lillie, Peter G. Harrison
5th ACM conference on Functional programming languages and computer architecture
Volume 523, pp.259–288
Lecture Notes in Computer Science, Springer
August, 1991
Asynchronous Packet-switched Banyan Networks with Blocking
Peter G. Harrison, Afonso de C. Pinto
7th UK Computer and Telecommunications Performance Engineering Workshop
pp.146–149
Workshops in Computing, Springer
July, 1991
A Functional Programming Environment Supporting Execution, Partial Execution and Transformation
John Darlington, Peter G. Harrison, Hessam Khoshnevisan, Lee McLoughlin, Nigel Perry, Helen Pull, Mike Reeve, Keith Sephton, R. Lyndon While, Sue Wright
PARLE'89 Parallel Architectures and Languages Europe. Volume I. Eindhoven, The Netherlands, June 12-16
Volume 365, pp.286–305
Lecture Notes in Computer Science, Springer
June, 1989
On Hot-spot Contention in Interconnection Networks
Naresh M. Patel, Peter G. Harrison
SIGMETRICS'88, ACM SIGMETRICS conference on Measurement and Modeling of Computer Systems
Volume 16, Issue 1, pp.114–123
ACM SIGMETRICS Performance Evaluation Review, ACM Press
May, 1988
The Representation of Switching Networks in Queueing Models of Parallel Systems
Peter G. Harrison, Naresh M. Patel
Performance'87, 12th International Symposium on Computer Performance Modelling, Measurement and Evaluation
pp.497–512
North-Holland
December, 1987
The Parallel Graph Reduction Machine, ALICE
Peter G. Harrison, Mike Reeve
Proceedings of a Workshop on Graph Reduction
Volume 279, pp.181–202
Lecture Notes in Computer Science, Springer
October, 1986
Efficient compilation of linear recursive functions into object level loops
Peter G. Harrison, Hessam Khoshnevisan
SIGPLAN Symposium on Compiler Construction 1986, Palo Alto, June
pp.207–218
ACM Press
June, 1986
Performance modelling of parallel computer architectures [PDF]
Peter G. Harrison, A. J. Field
SIGMETRICS'86, Joint International Conference on Computer Performance Modelling, Measurement and Evaluation
Volume 14, Issue 1, pp.18–27
ACM SIGMETRICS Performance Evaluation Review, ACM Press
May, 1986
An exact analysis of the distribution of cycle times in a class of queueing networks
Peter G. Harrison
SIGMETRICS'83, ACM SIGMETRICS conference on Measurement and Modeling of Computer Systems
pp.224–242
ACM
August, 1983
Approximate Analysis and Prediction of Time Delay Distributions in Networks of Queues
Peter G. Harrison
7th International Computer Measurement Group Conference, New Orleans, December 1-4, 1981
pp.70–80
Computer Measurement Group
December, 1981

Tutorials

Basic Theory and Some Applications of Martingales [PDF]
Richard Hayden
12th Joint ACM SIGMETRICS/IFIP Performance Conference on Measurement and Modeling of Computer Systems
2012
Separation Results via Leader Election Problems
Maria Vigliotti, Iain Phillips, Catuscia Palamidessi
4th International Symposium on Formal Methods for Objects and Components (FMCO 2005), 1-4 November 2005, CWI, Amsterdam, The Netherlands
Volume 4111, pp.172–194
Lecture Notes in Computer Science, Springer-Verlag
September, 2006
Response Time Distributions in Queueing Network Models
Peter G. Harrison
Joint Tutorial Papers of Performance/SIGMETRICS'93: Performance Evaluation of Computer and Communication Systems
Volume 729, pp.147–164
Lecture Notes in Computer Science, Springer
May, 1993

Seminars

Scalable Performance Analysis of Massively Parallel Stochastic Systems
Richard Hayden
Seminar Series on Advances in Telecommunications, Networking and Computing, Budapest University of Technology and Economics (BME)
November, 2012
Scalable Performance Analysis of Massively Parallel Stochastic Systems
Richard Hayden
Laboratory for Foundations of Computer Science, University of Edinburgh
October, 2012
Scalable Performance Analysis of Massively Parallel Stochastic Systems
Richard Hayden
11th INFORMS Telecommunications Conference 2012
March, 2012
Anaytical Models for Multi-Stage Interconnection Networks [PDF]
Peter G. Harrison
International Seminars on the Teaching of Computing Science: System Modelling
1990

Journal Special Issues Edited

Performance Engineering
Ashok Argent-Katwala, Jeremy T. Bradley, Nicholas J. Dingle, Uli Harder, William J. Knottenbelt
IET Software
Volume 3, Issue 6, pp.443–521
IET
December, 2009
Modelling Techniques and Tools for Computer Performance Evaluation
A. J. Field, Peter G. Harrison, Jeremy T. Bradley, Uli Harder
Performance Evaluation
Volume 54, Issue 2, pp.77–206
Elsevier
October, 2003

Proceedings Edited

Practical Applications of Stochastic Modelling 2009
Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt, Nicholas J. Dingle, Uli Harder
PASM 2009, Practical Applications of Stochastic Modelling, Imperial College London
Volume 261, pp.1–4
Electronic Notes in Theoretical Computer Science, Elsevier
February, 2010
Proceedings of EPEW 2009, Computer Performance Engineering. 6th European Workshop Performance Engineering Modelling
Jeremy T. Bradley
EPEW 2009. Computer Performance Engineering. Imperial College London, 9-10 July 2009
Volume 5652
Lecture Notes in Computer Science, Springer Verlag
July, 2009
Proceedings of PASM 2008, 3rd International Workshop on the Practical Application of Stochastic Modelling
Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt
Volume 232, pp.1–178
Electronic Notes in Theoretical Computer Science, Elsevier
March, 2009
Proceedings of UKPEW 2008, 24th Annual UK Performance Engineering Workshop [PDF]
Ashok Argent-Katwala, Nicholas J. Dingle, Uli Harder
UKPEW 2008, UK Performance Engineering Workshop. 3-4 July 2008, Imperial College London
UKPEW
July, 2008
Proceedings of PASM 2004, 1st International Workshop on Practical Applications of Stochastic Modelling
Jeremy T. Bradley, William J. Knottenbelt
PASM 2004, Practical Applications of Stochastic Modelling
Volume 128, Issue 4, pp.1–164
Electronic Notes in Theoretical Computer Science, Elsevier
April, 2005
Practical Applications of Stochastic Modelling 2004 [GZipped Postscript]
Jeremy T. Bradley, William J. Knottenbelt
PASM 2004, Practical Applications of Stochastic Modelling, Imperial College London
September, 2004
Proceedings of TOOLS 2002, 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
A. J. Field, Peter G. Harrison, Jeremy T. Bradley, Uli Harder
Volume 2324
Lecture Notes in Computer Science, Springer-Verlag
April, 2002

Position Paper

Research Challenges in Future Health Care Systems
Harini Kulatunga
eHealth 2008 - Electronic healthcare for the 21st century
ICST Lecture Notes, Springer
September, 2008

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
Energy Consumption in The Office [PDF]
Anton Stefanek, Uli Harder, Jeremy T. Bradley
28th UK Performance Engineering Workshop (UKPEW 2012)
July, 2012
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
Normal and inhomogeneous moment closures for stochastic process algebras [PDF]
Anton Stefanek, Marcel C. Guenther, Jeremy T. Bradley
10th Workshop on Process Algebra and Stochastically Timed Activities 2011 (PASTA'11)
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
An Empirical Study of the Scalability of Performance Analysis Tools in the Cloud [PDF]
Nicholas J. Dingle
26th UK Performance Engineering Workshop (UKPEW 2010)
pp.9–16
July, 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
A functional central limit theorem for PEPA [PDF]
Richard Hayden, Jeremy T. Bradley
8th Workshop on Process Algebra and Stochastically Timed Activities
pp.13–23
August, 2009
Analysis of Storage System Activity [PDF]
Nicholas J. Dingle, Uli Harder
UKPEW 2009
pp.39–48
July, 2009
Truncation of Passage-time Calculations in Semi-Markov Models [PDF] [GZipped Postscript]
Marcel C. Guenther, Jeremy T. Bradley, Nicholas J. Dingle, William J. Knottenbelt
UKPEW'09, 25th UK Performance Engineering Workshop
pp.17–28
July, 2009
Extracting Fluid Response times from PEPA models
Jeremy T. Bradley, Richard Hayden, William J. Knottenbelt, Tamas Suto
PASTA'08, 7th Workshop on Process Algebra and Stochastically Timed Activities
July, 2008
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
State-Space Size Estimation By Least-Squares Fitting [PDF]
Nicholas J. Dingle, William J. Knottenbelt
24th UK Performance Engineering Workshop (UKPEW 2008)
pp.347–357
July, 2008
Validation of Large Zoned RAID Systems [PDF]
Abigail Lebrecht, Nicholas J. Dingle, William J. Knottenbelt
24th UK Performance Engineering Workshop (UKPEW 2008)
pp.246–261
July, 2008
PIPE v2.5: A Petri Net Tool for Performance Modelling [PDF]
Pere Bonet, Catalina , Ramon Puigjaner, William J. Knottenbelt
23rd Latin American Conference on Informatics (CLEI 2007)
October, 2007
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
Exploration of the network spun by website users [PDF]
Ashok Argent-Katwala, Tim Evans, Uli Harder
23rd Annual UK Performance Engineering Workshop (UKPEW 2007), Edge Hill University, UK, July 9th-10th, 2007
pp.118–121
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
PerformDB: Community-driven performance modelling and analysis [PDF] [GZipped Postscript]
Ashok Argent-Katwala, Jeremy T. Bradley
UKPEW 2007, 23rd Annual UK Performance Engineering Workshop
pp.86–94
July, 2007
Response Time Approximations in Fork-Join Queues [PDF]
Abigail Lebrecht, William J. Knottenbelt
23rd Annual UK Performance Engineering Workshop (UKPEW)
July, 2007
A Continuous State Space Approximation for PEPA Queues [PDF]
Ashok Argent-Katwala, Jeremy T. Bradley
Process Algebra and Stochastically Timed Activities 2006
June, 2006
PEPA queues [GZipped Postscript]
Ashok Argent-Katwala
Process Algebra and Stochastically Timed Activities 2005
September, 2005
Observing Internet Worm and Virus Attacks with a Small Network Telescope [PDF] [GZipped Postscript]
Uli Harder, Matthew Johnson, Jeremy T. Bradley, William J. Knottenbelt
PASM 2005, Proceedings of the 2nd Workshop on Practical Applications of Stochastic Modelling
pp.113–126
July, 2005
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
Semi-blind scheduling in a finite capacity system [PDF] [GZipped Postscript]
Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt
UKPEW'04, 20th Annual UK Performance Evaluation Workshop
July, 2004
Iterative Transient State Distribution Calculation in Semi-Markov Processes [PDF]
Nicholas J. Dingle
3rd Workshop on Process Algebras and Stochastically Timed Activities (PASTA'04)
pp.1–9
June, 2004
Extracting Passage Times from PEPA models with the HYDRA Tool: A Case Study [PDF]
Jeremy T. Bradley, Nicholas J. Dingle, Stephen Gilmore, William J. Knottenbelt
UKPEW 2003, 19th UK Performance Engineering Workshop
pp.79–90
July, 2003
Parameter estimation for MMPPs using the EM algorithm [PDF]
Haifang Ge, Uli Harder, Peter G. Harrison
19th UK Performance Engineering Workshop (UKPEW 2003)
pp.293–306
July, 2003
Reversed Processes of Multiple Agent Cooperations [PDF]
Peter G. Harrison, Ting Ting Lee
19th UK Performance Engineering Workshop (UKPEW 2003), Warwick, July 9-10 2003
pp.257–265
July, 2003
An approximate solution of PEPA models using component substitution [PDF] [GZipped Postscript]
Nigel Thomas, Jeremy T. Bradley, David Thornley
28th UK Performance Engineering Workshop (UKPEW 2002)
July, 2002
Distributed Solution of Large Markov Models Using Asynchronous Iterations and Graph Partitioning [PDF]
Nicholas J. Dingle, William J. Knottenbelt
18th UK Performance Engineering Workshop (UKPEW 2002), Glasgow July 10-11, 2002
pp.27–34
July, 2002
Network Traffic Measurements in a Switched Ethernet Environment [PDF]
A. J. Field, Uli Harder, Peter G. Harrison
UKPEW 2002
pp.47–58
July, 2002
Performance modelling in the pub - speculative computation and dynamic pricing [PDF] [GZipped Postscript]
Ashok Argent-Katwala
UK Performance Evaluation Workshop 2002, University of Glasgow
July, 2002
A queueing network model of Oracle Parallel Server [PDF] [Postscript]
Uli Harder, Peter G. Harrison
UKPEW 1999
pp.69–80
July, 1999
Predicting buffer hit ratios with neural networks [PDF] [GZipped Postscript]
Uli Harder, Tim MacLeod
UKPEW 1999
pp.333–342
July, 1999

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
Performance Trees: A Query Specification Formalism for Quantitative Performance Analysis [PDF]
Tamas Suto
Imperial College London, Department of Computing
August, 2008
Response Times in Healthcare Systems [PDF]
Susanna Wau Men Au-Yeung
Imperial College London
January, 2008
A compositional, collaborative performance pipeline [PDF] [GZipped Postscript]
Ashok Argent-Katwala
Department of Computing, Imperial College London, University of London
November, 2006
Parallel Algorithms for Hypergraph Partitioning [PDF]
Aleksandar Trifunovic
Imperial College London
February, 2006
Parallel Computation of Response Time Densities and Quantiles in Large Markov and Semi-Markov Models [PDF] [GZipped Postscript]
Nicholas J. Dingle
Department of Computing, Imperial College London. University of London.
October, 2004
Steady-State and Response Time Analysis of Modulated Queues and Networks with Batches [PDF] [GZipped Postscript]
Harf Zatschler
University of London
August, 2004
Performance Evaluation of Enterprise JavaBeans Architectures [GZipped Postscript]
Catalina
Department of Computing, Imperial College of Science, Technology and Medicine. University of London.
December, 2001
Parallel Performance Analysis of Large Markov Models [PDF] [GZipped Postscript]
William J. Knottenbelt
Department of Computing, Imperial College of Science, Technology and Medicine. University of London.
December, 1999
Analysis of Trace Data from Fluoresence Based Sanger Sequencing [PDF]
David Thornley
Department of Computing, Imperial College London
September, 1997
Process Algebra for Discrete Event Simulation [GZipped Postscript]
Ben Strulo
Department of Computing, Imperial College of Science, Technology and Medicine. University of London.
October, 1993
Representative Queueing Network Models of Computer Systems in Terms of Time Delay Probability Distributions
Peter G. Harrison
1979

Department of Computing Technical Reports

Anisotropic Multidimensional Savitzky Golay kernels for Smoothing, Differentiation and Reconstruction [PDF]
David Thornley
Issue 8
Department of Computing, Imperial College London
July, 2006
Trace modelling for abduction basecalling [PDF]
David Thornley
Issue 7
Imperial College of Science, Technology and Medicine, Department of Computing
July, 2006

Technical Reports

Proceedings of Imperial College Energy and Performance Colloquium (ICEP 2012) [PDF]
Jeremy T. Bradley, Richard Hayden
Department of Computing, Imperial College London
Department of Computing, Imperial College London
June, 2012
Capturing the energy-performance trade-off in virtualised computing models
Anton Stefanek, Richard Hayden, Jeremy T. Bradley
Dept of Computing, Imperial College London
2011
Methodological Construction of Product-Form Stochastic Petri-Nets for Performance Evaluation [PDF]
Simonetta Balsamo, Peter G. Harrison, Andrea Marin
December, 2010
Shared Transaction Markov Chains for Fluid Analysis of Massively Parallel Systems (extended version) [PDF]
Imperial College London
June, 2009
Evaluating and Optimising Models of Network Growth [PDF]
Richard Clegg, Raul Landa, Uli Harder, Miguel Rio
Computer Science > Networking and Internet Architecture - arXiv.org
arxiv.org
April, 2009
A compositional construction of product-form Petri-nets using Ercat
Peter G. Harrison, Andrea Marin
2009
RCAT: From PEPA to Product form [PDF] [Postscript]
Jeremy T. Bradley
Department of Computing, Imperial College London
Volume 2007, Issue 2, pp.1–8
March, 2007
A dynamical model of a GRID market [PDF] [Postscript]
Uli Harder, Peter G. Harrison, Maya Paczuski, Tejas Sudhir Shah
The Computing Research Repository (CoRR)
arxiv.org
October, 2004
Convergence and Correctness of an Iterative Scheme for Calculating Passage Times in Semi-Markov Processes [GZipped Postscript]
Helen Wilson
Department of Applied Maths, University of Leeds, Woodhouse Lane, Leeds, LS2 9JT, UK
Volume 2004, Issue 1
February, 2004
Network traffic behaviour in switched ethernet systems [PDF]
A. J. Field, Uli Harder, Peter G. Harrison
June, 2002

Posters

Fluid Queue Models of Renewable Energy Storage [PDF]
Gareth Jones, Peter G. Harrison, Uli Harder, A. J. Field
6th International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS 2012)
October, 2012
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
Sojourn time distributions in networks of queues with batches
Peter G. Harrison, Maria Vigliotti
IFIP WG 7.3 International Symposium on Computer Performance, Modeling, Measurements and Evaluation (Performance 2010)
November, 2010
Intracellular Fate of FGFRs with BioAmbients [PDF]
Maria Vigliotti, Steffen van Bakel, John Heath
Spatial 2009 - Overcoming Distance in Signaling Networks.
2009
Towards a Performance Model for Virtualised Multi-Tier Storage Systems
Abigail Lebrecht, Peter G. Harrison, William J. Knottenbelt
6th USENIX Conference on File and Storage Technologies (FAST 2008)
February, 2008
A dynamic model of a GRID market [PDF] [Postscript]
Uli Harder, Peter G. Harrison, Maya Paczuski, Tejas Sudhir Shah
MASCOTS 2004 (Invited poster)
October, 2004

Book Review

A resurgence in product-forms
Peter G. Harrison
The Computer Journal
Volume 51, Issue 6, pp.731–734
Oxford Journals
March, 2008

Masters' Theses

Augmenting The Core Functionality Of An e-Science Grid Multi-Tier Front-End: GridSphere-Based Reengineering Of EPIC [PDF]
Tamas Suto
Imperial College London, Department of Computing
June, 2004
Generalised Markovian Analysis of Timed Transition Systems [PDF] [GZipped Postscript]
William J. Knottenbelt
Department of Computer Science, University of Cape Town
June, 1996

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.