Imperial College London

ProfessorPeterHarrison

Faculty of EngineeringDepartment of Computing

Professor of Mathematical Modelling
 
 
 
//

Contact

 

+44 (0)20 7594 8363p.harrison Website

 
 
//

Location

 

353Huxley BuildingSouth Kensington Campus

//

Summary

 

Summary

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 200 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, Performance Analysis and Computational Techniques.

Selected Publications

Journal Articles

Harrison PG, Patel NM, Knottenbelt WJ, 2016, Energy--Performance Trade-Offs via the EP Queue, Acm Transactions on Modeling and Performance Evaluation of Computing Systems, Vol:1, ISSN:2376-3639, Pages:1-31

Osman R, Harrison PG, 2015, Approximating closed fork-join queueing networks using product-form stochastic Petri-nets, Journal of Systems and Software, Vol:110, ISSN:0164-1212, Pages:264-278

Qiu Z, Perez JF, Harrison PG, 2015, Beyond the mean in fork-join queues: Efficient approximation for response-time tails, Performance Evaluation, Vol:91, ISSN:0166-5316, Pages:99-116

Balsamo S, Harrison PG, Marin A, 2010, A unifying approach to product-forms in networks with finite capacity constraints, Performance Evaluation Review, Vol:38, ISSN:0163-5999, Pages:25-35

Tsimashenka I, Knottenbelt WJ, Harrison PG, 2016, Controlling variability in split-merge systems and its impact on performance, Annals of Operations Research, Vol:239, ISSN:0254-5330, Pages:569-588

Harrison PG, Hayden RA, Knottenbelt WJ, 2013, Product-forms in batch networks: Approximation and asymptotics, Performance Evaluation, Vol:70, ISSN:0166-5316, Pages:822-840

Harrison PG, Marin A, 2014, Product-Forms in Multi-Way Synchronizations, Computer Journal, Vol:57, ISSN:0010-4620, Pages:1693-1710

Harrison PG, Harrison SK, Patel NM, et al., 2012, Storage workload modelling by hidden Markov models: Application to Flash memory, Performance Evaluation, Vol:69, ISSN:0166-5316, Pages:17-40

Field AJ, Harrison PG, 2010, BUSY PERIODS IN FLUID QUEUES WITH MULTIPLE EMPTYING INPUT STATES, Journal of Applied Probability, Vol:47, ISSN:0021-9002, Pages:474-497

Harrison PG, 2009, Product-forms and functional rates, Performance Evaluation, Vol:66, ISSN:0166-5316, Pages:660-663

Dingle NJ, Harrison PG, Knottenbelt WJ, 2004, Uniformization and hypergraph partitioning for the distributed computation of response time in very large Markov models, Journal of Parallel and Distributed Computing, Vol:64, ISSN:0743-7315, Pages:908-920

Harrison PG, 2004, Compositional reversed Markov processes, with applications to G-networks, Performance Evaluation, Vol:57, ISSN:0166-5316, Pages:379-408

Harrison PG, 2003, Turning back time in Markovian process algebra, Theoretical Computer Science, Vol:290, ISSN:0304-3975, Pages:1947-1986

Harrison, P.G., Knottenbelt, W.J., 2002, Passage time distributions in large markov chains, Performance Evaluation Review, Vol:30, ISSN:0163-5999, Pages:77-85

Harrison PG, Strulo B, 2000, SPADES - a process algebra for discrete event simulation, Journal of Logic and Computation, Vol:10, ISSN:0955-792X, Pages:3-42

Harrison PG, 2000, Teaching M/G/1 theory with extension to priority queues, IEE Proceedings-Computers and Digital Techniques, Vol:147, ISSN:1350-2387, Pages:23-26

Field AJ, Harrison PG, 1999, Sojourn times in a random queue with and without preemption, European Journal of Operational Research, Vol:112, ISSN:0377-2217, Pages:646-653

Bennett AJ, Field AJ, Harrison PG, 1996, Modelling and Validation of Shared Memory Coherency Protocols., Perform. Eval., Vol:27/28, Pages:541-563

HARRISON PG, PITEL E, 1995, RESPONSE-TIME DISTRIBUTIONS IN TANDEM G-NETWORKS, Journal of Applied Probability, Vol:32, ISSN:0021-9002, Pages:224-246

HARRISON PG, PITEL E, 1993, SOJOURN TIMES IN SINGLE-SERVER QUEUES WITH NEGATIVE CUSTOMERS, Journal of Applied Probability, Vol:30, ISSN:0021-9002, Pages:943-963

DEGUZMAN IP, HARRISON PG, MEDINA E, 1993, PIPELINES FOR DIVIDE-AND-CONQUER FUNCTIONS, Computer Journal, Vol:36, ISSN:0010-4620, Pages:254-268

HARRISON PG, KHOSHNEVISAN H, 1992, ON THE SYNTHESIS OF FUNCTION INVERSES, Acta Informatica, Vol:29, ISSN:0001-5903, Pages:211-239

HARRISON PG, KHOSHNEVISAN H, 1992, A NEW APPROACH TO RECURSION REMOVAL, Theoretical Computer Science, Vol:93, ISSN:0304-3975, Pages:91-113

HARRISON PG, PATEL NM, 1990, THE REPRESENTATION OF MULTISTAGE INTERCONNECTION NETWORKS IN QUEUING MODELS OF PARALLEL SYSTEMS, Journal of the ACM, Vol:37, ISSN:0004-5411, Pages:863-898

HARRISON PG, 1990, LAPLACE TRANSFORM INVERSION AND PASSAGE-TIME DISTRIBUTIONS IN MARKOV-PROCESSES, Journal of Applied Probability, Vol:27, ISSN:0021-9002, Pages:74-87

HARRISON PG, 1988, LINEARIZATION - AN OPTIMIZATION FOR NONLINEAR FUNCTIONAL PROGRAMS, Science of Computer Programming, Vol:10, ISSN:0167-6423, Pages:281-318

HARRISON PG, REEVE MJ, 1987, THE PARALLEL GRAPH REDUCTION MACHINE, ALICE, Lecture Notes in Bioinformatics, Vol:279, ISSN:0302-9743, Pages:181-202

HARRISON PG, 1981, TRANSIENT-BEHAVIOR OF QUEUING-NETWORKS, Journal of Applied Probability, Vol:18, ISSN:0021-9002, Pages:482-490

Conference

Chis TS, Harrison PG, 2016, Performance-energy trade-offs in smartphones, Pages:127-135

Qiu Z, Perez JF, Harrison PG, 2016, Tackling Latency via Replication in Distributed Systems, 7th ACM/SPEC International Conference on Performance Engineering (ICPE), ASSOC COMPUTING MACHINERY, Pages:197-208

Harrison PG, Qiu Z, 2013, Performance enhancement by means of task replication, Pages:191-205, ISSN:0302-9743

Jones GL, Harrison PG, Harder U, et al., 2011, Fluid queue models of battery life, Pages:278-285

Balsamo S, Harrison PG, Marin A, 2010, A Unifying Approach to Product-forms in Networks with Finite Capacity Constraints, 2010 ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Systems, ASSOC COMPUTING MACHINERY, Pages:25-35

Harrison PG, Zhang Y, 2005, Delay analysis of priority queues with modulated traffic, 13th IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, IEEE COMPUTER SOC, Pages:280-287

Harrison PG, Zatschler H, 2004, Sojourn time distributions in modulated G-queues with batch processing, 1st International Conference on the Quantitative Evaluation of Systems (QEST 2004), IEEE COMPUTER SOC, Pages:90-99

Harrison PG, Knottenbelt WJ, 2002, Passage time distributions in large Markov chains, Pages:77-85, ISSN:0163-5999

Harrison, P.G., Knottenbelt, W.J., 1999, Distributed disk-based solution techniques for large Markov models, Proc 3rd Int. Conference on the Numerical Solution of Markov Chains, NSMC 99, Zaragoza

More Publications