AESOP : 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

Current projects

CAMPA: Compositional Analysis of Markovian Process Algebra
FAQ: Fluid Approximations for Quantitative Analysis
Grid Market: Market Models for Grid Computing
iPODS: Intelligent Performance Optimisation of Virtualised Data Storage Systems
SPARTACOS: Separability and Response Times in Stochastic Models

Research students

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.

129 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

Response Time Densities and Quantiles in Large Markov and Semi-Markov Models: Jeremy T. Bradley, Nicholas J. Dingle, Uli Harder, Peter G. Harrison, William J. Knottenbelt; Performance Evaluation of Parallel, Distributed and Emergent Systems; 2006
A Methodology for the Performance Modelling of Distributed Cache Coherent Multiprocessors: 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: A. J. Field, Peter G. Harrison; In: Baccelli,F., Jean-Marie,A., Mitrani,I., editor, Quantitative Methods in Parallel Systems; 1995
M/G/1 Queues with FCFS Negative Arrivals: Peter G. Harrison, E. Pitel; In: Baccelli,F., Jean-Marie,A., Mitrani,I., editor, Quantitative Methods in Parallel Processing; 1995
Temporal logic in a stochastic environment: Ben Strulo, Dov Gabbay, Peter G. Harrison; In: Bolk,L., Szalas,A., editor, Time and Logic; 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

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: 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: Peter G. Harrison, Ting Ting Lee; Theoretical Computer Science; November, 2005
Network Traffic Behaviour in Switched Ethernet Systems: A. J. Field, Uli Harder, Peter G. Harrison; Performance Evaluation; November, 2004
Measurement and modelling of self-similar traffic in computer networks: 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: 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: Peter G. Harrison; Performance Evaluation; June, 2004
Reversed processes, product forms and a non-product form: Peter G. Harrison; Linear Algebra and Its Applications; June, 2004
A new blocking problem from Java-based schedulers: Peter G. Harrison, Catalina Lladó; Performance Evaluation; January, 2003
Turning back time in Markovian process algebra: Peter G. Harrison; Theoretical Computer Science; January, 2003
On the asymptotic behaviour of closed multiclass queueing networks: Sergio Coury, Peter G. Harrison; Performance Evaluation; January, 2002
The MM CPP/GE/c G-Queue: sojourn time distribution: Peter G. Harrison; Queueing Systems; January, 2002
Performance analysis of three implementation strategies for distributed lock management: 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: 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.: M.D.K Bhabuta , Peter G. Harrison; Computer Networks; June, 2000
A Probabilistic Dynamic Technique for the Distributed Generation of Very Large State Spaces: William J. Knottenbelt, Peter G. Harrison, Mark Mestern, Pieter Kritzinger; Performance Evaluation; February, 2000
SPADES - a Process Algebra for Discrete Event Simulation: 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; 1999
Automatic Generation of Verifiable Cache Coherence Simulation Models from High-level Specifications: 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: A. J. Field, Peter G. Harrison; IEE Proceedings - Computers and Digital Techniques; 1997
Modelling and validation of shared memory coherency protocols: 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: D. Kouvatsos, J. Wilkinson, Peter G. Harrison, M.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: Peter G. Harrison, R. Lyndon While; Science of Computer Programming; February, 1995
Exploiting Quasi-reversible Structures in Markovian Process Algebra Models: 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
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: Peter G. Harrison, Hessam Khoshnevisan; Theoretical Computer Science; February, 1992
A Higher-Order Approach to Parallel Algorithms: Peter G. Harrison; The Computer Journal; 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: Peter G. Harrison, Naresh M. Patel; Journal of the ACM; September, 1990
Laplace Transform Inversion and Passage-Time Distributions in Markov Processes: 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: Peter G. Harrison, Hessam Khoshnevisan; Byte; July, 1985
On normalizing constants in queueing-networks: Peter G. Harrison; Operations Research; 1985
A note on cycle times in tree-like queueing systems: Peter G. Harrison; January, 1984
An analytic model for flow-control schemes in communication-network nodes: Peter G. Harrison; IEEE Transactions on Communications; 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 behavior of queuing 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 Article

An Approximate Compositional Approach to the Analysis of Fluid Queue Networks: A. J. Field, Peter G. Harrison; Performance Evaluation; September, 2007

Conference and Workshop Papers

A Markovian Futures Market for Computing Power: Fernando Martinez Ortuno, Peter G. Harrison, Uli Harder; WOSP/SIPEW; Expected January, 2010
Data Placement And Migration Strategies For Virtualised Data Storage Systems: Henry Bond, Nicholas J. Dingle, Felipe Franciosi, Peter G. Harrison, William J. Knottenbelt; 23rd Annual European Simulation and Modelling Conference (ESM 2009); September, 2009
Using Bulk Arrivals to Model I/O Request Response Time Distributions in Zoned Disks and RAID Systems: 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
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: 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
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: Peter G. Harrison; Practical Aspects of Stochastic Modelling (PASM'05), Newcastle, July 2005; May, 2006
Delay Analysis of Priority Queues with Modulated Traffic: 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: 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: 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: 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: 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: 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: David Thornley, Harf Zatschler, Peter G. Harrison; HETNETS'03; June, 2003
HYDRA: HYpergraph-based Distributed Response-time Analyser: 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: Jeremy T. Bradley, Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt; PMEO-PDS 2003, International Workshop on Performance Modeling, Evaluation, and Optimization of Parallel and Distributed Systems; March, 2003
Geometrically batched networks: Peter G. Harrison, David Thornley, Harf Zatschler; ISCIS 2002; September, 2002
Network Traffic Behaviour in Switched Ethernet Systems: A. J. Field, Uli Harder, Peter G. Harrison; MASCOTS 2002, 10th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems; September, 2002
Studying Sensitivities of an EJB Performance Model: Catalina Lladó, Johannes Lüthi, Peter G. Harrison; MASCOTS'02, 10th IEEE International Symposium on Modelling, Analysis, and Simulation of Computer and Telecommunications Systems; September, 2002
Response Time Densities in Generalised Stochastic Petri Net Models.: Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt; 3rd International Workshop on Software and Performance (WOSP 2002), Rome, Italy, July 24-26 2002; June, 2002
Passage Time Distributions in Large Markov Chains: Peter G. Harrison, William J. Knottenbelt; SIGMETRICS'02, ACM SIGMETRICS conference on Measurement and Modeling of Computer Systems; May, 2002
Performance evaluation of an enterprise JavaBean server implementation: Catalina Lladó, Peter G. Harrison; WOSP 2000, 2nd International Workshop on Software and Performance; August, 2000
Performance Evaluation of a Distributed Enterprise Data Mining System: Peter G. Harrison, Catalina Lladó; TOOLS 2000, 11th International Conference for Computer Performance Evaluation. Modelling Techniques and Tools; March, 2000
Distributed Disk-based Solution Techniques for Large Markov Models: William J. Knottenbelt, Peter G. Harrison; NSMC'99, 3rd International Workshop on the Numerical Solution of Markov Chains; August, 1999
Probability, Parallelism and the State Space Exploration Problem: William J. Knottenbelt, Mark Mestern, Peter G. Harrison, Pieter Kritzinger; TOOLS'98, 10th International Conference on Modelling, Techniques and Tools; August, 1998
Response Times in Client-Server Systems: A. J. Field, Peter G. Harrison, Andrew Parry; TOOLS'98, 10th International Conference on Modelling, Techniques and Tools. Palma de Mallorca, Spain, September 1998; August, 1998
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; July, 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; August, 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; July, 1993
Parallel Programming Using Skeleton Functions: 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; May, 1993
Process Algebra for Discrete Event Simulation: Peter G. Harrison, Ben Strulo; QMIPS'93, Qualitative Methods in Parallel Systems, Erlangen; 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; July, 1992
Blocking in asynchronous, buffered Banyan networks: Peter G. Harrison, Afonso de C. Pinto; IFIP Trans. C-Commun. Syst.; August, 1991
A projection model of types: David J Lillie, Peter G. Harrison; 5th ACM conference on Functional programming languages and computer architecture; July, 1991
Asynchronous Packet-switched Banyan Networks with Blocking: Peter G. Harrison, Afonso de C. Pinto; 7th UK Computer and Telecommunications Performance Engineering Workshop; June, 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; May, 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; April, 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; December, 1987
The Parallel Graph Reduction Machine, ALICE: Peter G. Harrison, Mike Reeve; Proceedings of a Workshop on Graph Reduction; September, 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; May, 1986
Performance modelling of parallel computer architectures: Peter G. Harrison, A. J. Field; SIGMETRICS'86, Joint International Conference on Computer Performance Modelling, Measurement and Evaluation; April, 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; July, 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; December, 1981

Tutorial

Response Time Distributions in Queueing Network Models: Peter G. Harrison; Joint Tutorial Papers of Performance/SIGMETRICS'93: Performance Evaluation of Computer and Communication Systems; April, 1993

Journal Special Issue Edited

Modelling Techniques and Tools for Computer Performance Evaluation: Performance Evaluation; September, 2003

Proceedings Edited

Proceedings of TOOLS 2002, 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools: March, 2002

National Workshop Papers

Parameter estimation for MMPPs using the EM algorithm: Haifang Ge, Uli Harder, Peter G. Harrison; UKPEW 2003; June, 2003
Reversed Processes of Multiple Agent Cooperations: Peter G. Harrison, Ting Ting Lee; 19th UK Performance Engineering Workshop (UKPEW 2003), Warwick, July 9-10 2003; June, 2003
Network Traffic Measurements in a Switched Ethernet Environment: A. J. Field, Uli Harder, Peter G. Harrison; UKPEW 2002; June, 2002
A queueing network model of Oracle Parallel Server: Uli Harder, Peter G. Harrison; UKPEW 1999; June, 1999

Technical Reports

A dynamical model of a GRID market: Uli Harder, Peter G. Harrison, Maya Paczuski, Tejas Shah; The Computing Research Repository (CoRR); September, 2004
Network traffic behaviour in switched ethernet systems: A. J. Field, Uli Harder, Peter G. Harrison; May, 2002

Poster

A dynamic model of a GRID market: Uli Harder, Peter G. Harrison, Maya Paczuski, Tejas Shah; MASCOTS 2004 (Invited poster); September, 2004

Information from pubs.doc.ic.ac.uk/authors/pgh.