spacer

People

Prof. Peter Harrison

Head of Group
DoC Home page
Office
Room 353 Huxley
Telephone
Within College 48363
In the UK 020 7594 8363
International +44 20 7594 8363
Research students
  • Miss Nada Atallah
  • Mr Tiberiu Chis
  • Mr Gareth L. Jones
  • Miss Zhan Qiu

Peter Harrison is currently a Professor of Computing Science at Imperial College, London where he became a lecturer in 1983. He graduated at Christ's College Cambridge as a Wrangler in Mathematics in 1972 and went on to gain Distinction in Part III of the Mathematical Tripos in 1973, winning the Mayhew prize for Applied Mathematics. He obtained his Ph.D. in Computing Science at Imperial College in 1979. He has researched into stochastic performance modelling and algebraic program transformation for some twenty years, visiting IBM Research Centers during two summers. He has written two books, had over 150 research papers published and held a series of research grants, both national and international. The results of his research have been exploited extensively in industry, forming an integral part of commercial products such as Metron's Athene Client-Server capacity planning tool. Currently, his main research interests are stochastic process algebra, where he has developed the RCAT methodology for finding separable solutions, response time analysis and optimisation of fluid-based models. He has taught a range of subjects at undergraduate and graduate level, including Operating Systems: Theory and Practice, Functional Programming, Parallel Algorithms and Performance Analysis.

176 Publications

Books
Performance Modelling of Communication Networks and Computer Architectures
Peter G. Harrison, Naresh M. Patel
January, 1993
Functional Programming
A. J. Field, Peter G. Harrison
June, 1988
Book Chapters
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
May, 2011
Modelling a Grid Market Economy
Fernando Martinez Ortuno, Uli Harder, Peter G. Harrison
Performance Models and Risk Management in Communication Systems
2010
Automated formulation and solution of Markov modulated queues with geometric processes
David Thornley, Harf Zatschler, Peter G. Harrison, Demetres D. Kouvatsos (Ed.)
Traffic and performance engineering for heterogeneous networks
March, 2009
Response Time Densities and Quantiles in Large Markov and Semi-Markov Models spacer spacer
Jeremy T. Bradley, Nicholas J. Dingle, Uli Harder, Peter G. Harrison, William J. Knottenbelt
Performance Evaluation of Parallel, Distributed and Emergent Systems
2006
Quantiles of Sojourn Times spacer spacer
Peter G. Harrison, William J. Knottenbelt
Computer System Performance Modeling in Perspective: A Tribute to the Work of Prof Kenneth C Sevcik
August, 2006
A Methodology for the Performance Modelling of Distributed Cache Coherent Multiprocessors spacer spacer
A. J. Field, Peter G. Harrison
The State-of-the-art in Performance Modeling and Simulation
1998
A Fixed-Point Model of a Distributed Memory Consistency Protocol spacer spacer
A. J. Field, Peter G. Harrison
Quantitative Methods in Parallel Systems
1995
M/G/1 Queues with FCFS Negative Arrivals
Peter G. Harrison, E. Pitel
Quantitative Methods in Parallel Systems
1995
Temporal logic in a stochastic environment spacer
Ben Strulo, Dov Gabbay, Peter G. Harrison
Time and logic: a computational approach
1995
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
1987
Journal Articles
Analysis of stochastic Petri nets with signals
Andrea Marin, Simonetta Balsamoa, Peter G. Harrison
Performance Evaluation
June, 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
Investigating Flash memory wear levelling and execution modes
Soraya Zertal, Peter G. Harrison
SIMULATION
December, 2011
Busy periods in fluid queues with multiple emptying input states
A. J. Field, Peter G. Harrison
Journal of Applied Probability
March, 2010
Product-forms and functional rates
Peter G. Harrison
Performance Evaluation
November, 2009
Turning back time - what impact on performance?
Peter G. Harrison
The Computer Journal
March, 2009
Queueing models of RAID systems with maxima of waiting times
Peter G. Harrison, Soraya Zertal
Performance Evaluation
July, 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, Louis-François Pau
Cluster Computing
May, 2007
Distributed Computation of Transient State Distributions and Passage Time Quantiles in Large Semi-Markov Models spacer spacer
Jeremy T. Bradley, Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt
Future Generation Computer Systems
July, 2006
Separable equilibrium state probabilities via time reversal in Markovian process algebra spacer spacer
Peter G. Harrison, Ting Ting Lee
Theoretical Computer Science
November, 2005
Network Traffic Behaviour in Switched Ethernet Systems spacer spacer
A. J. Field, Uli Harder, Peter G. Harrison
Performance Evaluation
November, 2004
Measurement and modelling of self-similar traffic in computer networks spacer spacer
A. J. Field, Uli Harder, Peter G. Harrison
IEE Proceedings - Communications
July, 2004
Uniformization and Hypergraph Partitioning for the Distributed Computation of Response Time Densities in Very Large Markov Models spacer
Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt
Journal of Parallel and Distributed Computing
July, 2004
Compositional reversed Markov processes, with applications to G-networks spacer spacer
Peter G. Harrison
Performance Evaluation
June, 2004
Reversed processes, product forms and a non-product form spacer spacer
Peter G. Harrison
Linear Algebra and Its Applications
June, 2004
A new blocking problem from Java-based schedulers spacer spacer
Peter G. Harrison, Catalina Lladó
Performance Evaluation
January, 2003
Turning back time in Markovian process algebra spacer spacer
Peter G. Harrison
Theoretical Computer Science
January, 2003
On the asymptotic behaviour of closed multiclass queueing networks spacer spacer
Sergio Coury, Peter G. Harrison
Performance Evaluation
January, 2002
The MM CPP/GE/c G-Queue: sojourn time distribution spacer spacer
Peter G. Harrison
Queueing Systems
January, 2002
Performance analysis of three implementation strategies for distributed lock management spacer spacer
William J. Knottenbelt, Soraya Zertal, Peter G. Harrison
IEE Proceedings - Computers and Digital Techniques
August, 2001
A Markov Modulated Multi-server Queue with Negative Customers - The MM CPP/GE/c/L G-Queue spacer spacer
Ram Chakka, Peter G. Harrison
Acta Informatica
July, 2001
The MMCPP/GE/c Queue
Ram Chakka, Peter G. Harrison
Queueing Systems
2001
Reliability modelling using G-queues
Peter G. Harrison, Naresh M. Patel, E. Pitel
European Journal of Operational Research
September, 2000
Optimising bandwidth of ABR sources
Madhu D. K. Bhabuta , Peter G. Harrison
Computer Networks
June, 2000
A Probabilistic Dynamic Technique for the Distributed Generation of Very Large State Spaces spacer spacer
William J. Knottenbelt, Peter G. Harrison, Mark Mestern, Pieter Kritzinger
Performance Evaluation
February, 2000
SPADES - a Process Algebra for Discrete Event Simulation spacer spacer
Peter G. Harrison, Ben Strulo
Journal of Logic and Computation
January, 2000
Teaching M/G/1 theory with extension to priority queues
Peter G. Harrison
IEE Proceedings - Computers and Digital Techniques
January, 2000
Sojourn Times in a Random Queue With and Without Preemption
A. J. Field, Peter G. Harrison
European Journal of Operational Research
February, 1999
Automatic Generation of Verifiable Cache Coherence Simulation Models from High-level Specifications spacer
A. J. Field, Peter G. Harrison, K. Kanani
Australian Computer Science Communications
1998
Asymptotic properties of queuing networks
Sergio Coury, Peter G. Harrison
IEE Proceedings - Computers and Digital Techniques
August, 1997
Waiting time distribution in a class of discrete-time cyclic service multi-queue systems
Sergio Coury, Peter G. Harrison
Perform. Eval.
April, 1997
Stochastic Model of Cache Coherency Overhead in SCI Rings spacer spacer
A. J. Field, Peter G. Harrison
IEE Proceedings - Computers and Digital Techniques
1997
Modelling and validation of shared memory coherency protocols spacer spacer
Andrew Bennett, A. J. Field, Peter G. Harrison
Performance Evaluation
September, 1996
The M/G/1 queue with negative customers
Peter G. Harrison, E. Pitel
Advances in Applied Probability
May, 1996
Capacity planning in client-server systems
Tim Foxon, Mike Garth, Peter G. Harrison
Distributed Systems Engineering
March, 1996
Parallelism via homomorphisms
Zully N. Grant-Duff, Peter G. Harrison
Parallel Processing Letters
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
1996
Response time distributions in tandem G-networks
Peter G. Harrison, E. Pitel
Journal of Applied Probability
March, 1995
Transformation of polynomial evaluation to a pipeline via Horner's rule spacer
Peter G. Harrison, R. Lyndon While
Science of Computer Programming
February, 1995
Exploiting Quasi-reversible Structures in Markovian Process Algebra Models spacer
Peter G. Harrison, Jane Hillston
The Computer Journal
1995
An approximate analysis of asynchronous, packet-switched buffered Banyan networks with blocking
Peter G. Harrison, Afonso de C. Pinto
Performance Evaluation
March, 1994
Sojourn Times in Single-Server Queues with Negative Customers
Peter G. Harrison, E. Pitel
Journal of Applied Probability
December, 1993
Pipelines for Divide-and-Conquer Functions
I. P. de Guzmán, Peter G. Harrison, E. Medina
The Computer Journal
1993
A Higher-Order Approach to Parallel Algorithms
Peter G. Harrison
The Computer Journal
December, 1992
The mechanical transformation of data types
Peter G. Harrison, Hessam Khoshnevisan
The Computer Journal
March, 1992
On the synthesis of function inverses
Peter G. Harrison, Hessam Khoshnevisan
Acta Informatica
March, 1992
A new approach to recursion removal spacer
Peter G. Harrison, Hessam Khoshnevisan
Theoretical Computer Science
February, 1992
Fixed point model for adaptive token passing bus protocol
Peter G. Harrison, F. Naraghi
IEE Proceedings - Computers and Digital Techniques
January, 1992
On the expansion of non-linear functions
Peter G. Harrison
Acta Informatica
August, 1991
Analytic models for multistage interconnection networks
Peter G. Harrison
Journal of Parallel and Distributed Computing
July, 1991
On nonuniform packet switched delta networks and the hot-spot effect
Peter G. Harrison
IEE Proceedings - Computers and Digital Techniques
April, 1991
The Representation of Multistage Interconnection Networks in Queueing Models of Parallel Systems spacer
Peter G. Harrison, Naresh M. Patel
Journal of the ACM
September, 1990
Laplace Transform Inversion and Passage-Time Distributions in Markov Processes spacer
Peter G. Harrison
Journal of Applied Probability
March, 1990
Algebraic transformation techniques for functional languages
Peter G. Harrison, Hessam Khoshnevisan
The Computer Journal
May, 1988
Linearisation: An optimisation for nonlinear functional programs
Peter G. Harrison
Science of Computer Programming
May, 1988
An Enhanced Approximation by Pair-Wise Analysis of Servers for Time Delay Distributions in Queueing Networks
Peter G. Harrison
IEEE Transactions on Computers
January, 1986
Functional Programming using FP spacer
Peter G. Harrison, Hessam Khoshnevisan
Byte
July, 1985
On normalizing constants in queueing-networks
Peter G. Harrison
Operations Research
March, 1985
An analytic model for flow-control schemes in communication-network nodes
Peter G. Harrison
IEEE Transactions on Communications
August, 1984
A note on cycle times in tree-like queueing systems
Peter G. Harrison
Advances in Applied Probability
January, 1984
The Distribution of Cycle Times in Tree-Like Networks of Queues
Peter G. Harrison
The Computer Journal
1984
Convergent discrete form for the time-delay distributions in networks of queues
Peter G. Harrison
Computer Performance
1982
Efficient Storage Management for Functional Languages
Peter G. Harrison
The Computer Journal
1982
Efficient table-driven implementation of the finite state machine
Peter G. Harrison
Journal of Systems and Software
August, 1981
Transient Behaviour of Queueing Networks
Peter G. Harrison
Journal of Applied Probability
1981
System conventions for non procedural languages
R Haskell, Peter G. Harrison
The Computer Journal
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
March, 2012
Response Time Distribution of Flash Memory Accesses spacer
Peter G. Harrison, Naresh M. Patel, Soraya Zertal
Performance Evaluation
2010
A unified approach to modelling the performance of concurrent systems.
Peter G. Harrison, Catalina Lladó, Ramon Puigjaner
Simulation Modelling Practice and Theory
September, 2009
An Approximate Compositional Approach to the Analysis of Fluid Queue Networks spacer
A. J. Field, Peter G. Harrison
Performance Evaluation
September, 2007
Electronic Journal Article
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
March, 2009
Conference and Workshop Papers
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)
September, 2012
Collecting battery data with Open Battery spacer
Gareth Jones, Peter G. Harrison
Imperial College Computing Student Workshop (ICCSW 2012)
August, 2012
Incremental HMM with an improved Baum-Welch Algorithm
Tiberiu S. Chis, Peter G. Harrison
August, 2012
Controlling Variability in Split-Merge Systems
Iryna Tsimashenka, William J. Knottenbelt, Peter G. Harrison
Analytical and Stochastic Modeling Techniques and Applications (ASMTA 2012)
May, 2012
A Class of Tractable Models for Run-Time Performance Evaluation spacer
Giuliano Casale, Peter G. Harrison
3rd ACM/SPEC International Conference on Performance Engineering (ICPE 2012)
March, 2012
A PMIF with Petri Net Building Blocks
Catalina Lladó, Peter G. Harrison
ICPE '11 Proceeding of the second joint WOSP/SIPEW international conference on Performance engineering
August, 2011
Fluid Queue Models of Battery Life spacer
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)
June, 2011
Product-Form Approximation of Tandem Queues via Matrix Geometric Methods spacer
Giuliano Casale, Peter G. Harrison, Maria Vigliotti
6th International Workshop on the Numerical Solution of Markov Chains (NSMC 2010)
August, 2010
Semi-Product-Form Solution for Models with State-Dependent Rates spacer
Nigel Thomas, Andrea Marin, Peter G. Harrison
9th Workshop on Process Algebra and Stochastically Timed Activities (PASTA 2010)
August, 2010
State-dependent rates and semi-product-form via the reversed process
Nigel Thomas, Peter G. Harrison
European Performance Engineering Workshop (EPEW 2010)
August, 2010
A Unifying Approach to Product-forms in Networks with Finite Capacity Constraints
Simonetta Balsamo, Peter G. Harrison, Andrea Marin
ACM Sigmetrics 2010
May, 2010
A Markovian Futures Market for Computing Power
Fernando Martinez Ortuno, Peter G. Harrison, Uli Harder
WOSP/SIPEW
January, 2010
Data Placement And Migration Strategies For Virtualised Data Storage Systems spacer
Henry Bond, Nicholas J. Dingle, Felipe Franciosi, Peter G. Harrison, William J. Knottenbelt
23rd Annual European Simulation and Modelling Conference (ESM 2009)
September, 2009
Response time distributions and network perturbation into product-form spacer
Peter G. Harrison, Maria Vigliotti
4th International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS 2009).
September, 2009
Using Bulk Arrivals to Model I/O Request Response Time Distributions in Zoned Disks and RAID Systems spacer
Abigail Lebrecht, Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt, Soraya Zertal
4th International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS 2009)
September, 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)
December, 2008
Non-linear seek distance for optimal accuracy of zoned disks seek time in Multi-RAID storage systems spacer
Soraya Zertal, Peter G. Harrison
High Performance Computing & Simulation Conference (HPCS 2008)
May, 2008
Response time distributions via reversed processes. spacer
Peter G. Harrison, Maria Vigliotti
Imperial College
2008
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
September, 2007
Approximate Queueing Network Analysis of Patient Treatment Times spacer
Susanna Wau Men Au-Yeung, Peter G. Harrison, William J. Knottenbelt
2nd International Conference on Performance Evaluation Methodologies and Tools
September, 2007
Performance of a Priority-Weighted Round Robin Mechanism for Differentiated Service Networks spacer
Yu Zhang, Peter G. Harrison
International Workshop on Performance Modeling and Evaluation in Computer and Telecommunication Networks (PMECT07) in conjunction with IEEE ICCCN2007.
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)
May, 2007
Multi-RAID Queueing Model with Zoned Disks spacer
Soraya Zertal, Peter G. Harrison
2007 High Performance Computing & Simulation Conference (HPCS 2007) June 4 - 6, 2007 Prague, Czech Republic
May, 2007
Stochastic Ambient Calculus
Maria Vigliotti, Peter G. Harrison
International Workshop on Quantitative Aspects of Programming Languages (QAPL'06)
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
November, 2006
A General Performance Model Interchange Format
Peter G. Harrison, Catalina Lladó, Ramon Puigjaner
1st International Conference on Performance Evaluation Methodologies and Tools (Valuetools 2006), Pisa, Italy
September, 2006
A Queueing Network Model of Patient Flow in an Accident and Emergency Department spacer
Susanna Wau Men Au-Yeung, Peter G. Harrison, William J. Knottenbelt
20th Annual European and Simulation Modelling Conference
September, 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
September, 2006
A tandem network of fluid queues with on-off arrivals spacer spacer
Peter G. Harrison, P. M. Lonsdale
5th Workshop on Process Algebra and Stochastically Timed Activities 2006 (PASTA 2006)
May, 2006
Performance Optimization of a Tandem Router Network Using a Fluid Model
Nalan Gulpinar, Peter G. Harrison, Berc Rustem, Louis-François Pau
International MultiConference of Engineers and Computer Scientists 2006, (IMECS'06), June 20-22, 2006, Hong Kong
May, 2006
Process algebraic non-product-forms spacer
Peter G. Harrison
Practical Aspects of Stochastic Modelling (PASM'05), Newcastle, July 2005
May, 2006
Performance Optimization of Mean Response Time in a Tandem Router Network with Batch Arrivals
Nalan Gulpinar, Peter G. Harrison, Berc Rustem, Louis-François Pau
10th IEEE/IFIP Network Operations and Management Symposium, 2006 (NOMS 2006)
March, 2006
Delay Analysis of Priority Queues with Modulated Traffic spacer
Peter G. Harrison, Yu Zhang
MASCOTS 2005, IEEE International Symposium on Modelling, Analysis, and Simulation of Computer and Telecommunication Systems
August, 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
August, 2005
Calibration of a Queueing Model of RAID Systems spacer spacer
Peter G. Harrison, Soraya Zertal
PASM 2004, 1st International Workshop on Practical Applications of Stochastic Modelling
March, 2005
Optimization of a Tandem M/GI/1 Router Network with Batch Arrivals
Nalan Gulpinar, Peter G. Harrison, Berc Rustem, Louis-François Pau
PMEO-PDS 2005, 4th International Workshop on Performance Modelling, Evaluation, and Optimization of Parallel and Distributed Systems
March, 2005
An optimisation model for a two-node router network spacer
Nalan Gulpinar, Peter G. Harrison, Berc Rustem, Louis-François Pau
12th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems (MASCOTS 2004), Volendam, Netherlands
September, 2004
Sojourn time distributions in modulated G-queues with batch processing spacer spacer
Peter G. Harrison, Harf Zatschler
1st International Conference on Quantitative Evaluation of Systems (QEST) 2004, University of Twente
August, 2004
G-networks with Propagating Resets via RCAT
Peter G. Harrison
MAMA 2003, Special issue on the 5th workshop on Mathematical Performance Modeling and Analysis
August, 2003
Performance Queries on Semi-Markov Stochastic Petri Nets with an Extended Continuous Stochastic Logic spacer spacer
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
August, 2003
Queueing Models with Maxima of Service Times.
Peter G. Harrison, Soraya Zertal
Lecture Notes in Computer Science
August, 2003
Reversed processses, product forms, non-product forms and a new proof of the BCMP theorem spacer spacer
Peter G. Harrison
International Conference on the Numerical Solution of Markov Chains (NSMC 2003), Urbana IL, USA, September 2-5 2003
August, 2003
An automated formulation of queues with multiple geometric batch processes spacer spacer
David Thornley, Harf Zatschler, Peter G. Harrison
HETNETS'03
June, 2003
HYDRA: HYpergraph-based Distributed Response-time Analyser spacer
Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt
International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA 2003)
May, 2003
Distributed Computation of Passage Time Quantiles and Transient State Distributions in Large Semi-Markov Models spacer
gipoco.com is neither affiliated with the authors of this page nor responsible for its contents. This is a safe-cache copy of the original web site.