Peter G. Harrison

According to our database1, Peter G. Harrison
  • authored at least 157 papers between 1980 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
Cutting Latency Tail: Analyzing and Validating Replication without Canceling.
IEEE Trans. Parallel Distrib. Syst., 2017

2016
Energy-Performance Trade-Offs via the EP Queue.
TOMPECS, 2016

Higher response time moments for M/M/1 discriminatory processor sharing queues.
EAI Endorsed Trans. Scalable Information Systems, 2016

Controlling variability in split-merge systems and its impact on performance.
Annals OR, 2016

Tackling Latency via Replication in Distributed Systems.
Proceedings of the 7th ACM/SPEC International Conference on Performance Engineering, 2016

Performance-Energy Trade-offs in Smartphones.
Proceedings of the 19th ACM International Conference on Modeling, 2016

Variability-aware request replication for latency curtailment.
Proceedings of the 35th Annual IEEE International Conference on Computer Communications, 2016

2015
Beyond the mean in fork-join queues: Efficient approximation for response-time tails.
Perform. Eval., 2015

Approximating closed fork-join queueing networks using product-form stochastic Petri-nets.
Journal of Systems and Software, 2015

Adapting Hidden Markov Models for Online Learning.
Electr. Notes Theor. Comput. Sci., 2015

Moment-Generating Algorithm for Response Time in Processor Sharing Queueing Systems.
Proceedings of the Computer Performance Engineering - 12th European Workshop, 2015

2014
Blending randomness in closed queueing network models.
Perform. Eval., 2014

Product-Forms in Multi-Way Synchronizations.
Comput. J., 2014

Understanding, modelling, and improving the performance of web applications in multicore virtualised environments.
Proceedings of the ACM/SPEC International Conference on Performance Engineering, 2014

Modeling Multi-user Behaviour in Social Networks.
Proceedings of the IEEE 22nd International Symposium on Modelling, 2014

2013
Sojourn time distributions in tandem batch-networks.
SIGMETRICS Performance Evaluation Review, 2013

Product-forms in batch networks: Approximation and asymptotics.
Perform. Eval., 2013

A Model of Speculative Parallel Scheduling in Networks of Unreliable Sensors.
Proceedings of the Information Sciences and Systems 2013, 2013

Analysing and Predicting Patient Arrival Times.
Proceedings of the Information Sciences and Systems 2013, 2013

Tutorial: Flash-based storage systems modelling, simulation and IO characterisation.
Proceedings of the International Conference on High Performance Computing & Simulation, 2013

Performance Enhancement by Means of Task Replication.
Proceedings of the Computer Performance Engineering - 10th European Workshop, 2013

Semi-Product-Form Solution for PEPA Models with Functional Rates.
Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2013

iSWoM: The Incremental Storage Workload Model Based on Hidden Markov Models.
Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2013

2012
Product-form approximation of queueing networks with phase-type service.
SIGMETRICS Performance Evaluation Review, 2012

Analysis of stochastic Petri nets with signals.
Perform. Eval., 2012

Storage workload modelling by hidden Markov models: Application to Flash memory.
Perform. Eval., 2012

Methodological construction of product-form stochastic Petri nets for performance evaluation.
Journal of Systems and Software, 2012

Storage Workload Modelling by Hidden Markov Models: Application to FLASH Memory
CoRR, 2012

A class of tractable models for run-time performance evaluation.
Proceedings of the Third Joint WOSP/SIPEW International Conference on Performance Engineering, 2012

Fluid queue models of renewable energy storage.
Proceedings of the 6th International ICST Conference on Performance Evaluation Methodologies and Tools, 2012

Deriving the rate equations characterising product-form models and application to propagating synchronisations.
Proceedings of the 6th International ICST Conference on Performance Evaluation Methodologies and Tools, 2012

Collecting battery data with Open Battery.
Proceedings of the 2012 Imperial College Computing Student Workshop, 2012

Incremental HMM with an improved Baum-Welch Algorithm.
Proceedings of the 2012 Imperial College Computing Student Workshop, 2012

Controlling Variability in Split-Merge Systems.
Proceedings of the Analytical and Stochastic Modeling Techniques and Applications, 2012

2011
Product-Form Solution in PEPA via the Reversed Process.
Proceedings of the Network Performance Engineering, 2011

Investigating Flash memory wear levelling and execution modes.
Simulation, 2011

A PMIF with Petri net building blocks (abstracts only).
SIGMETRICS Performance Evaluation Review, 2011

A PMIF with petri net building blocks.
Proceedings of the ICPE'11, 2011

Hierarchically constructed Petri-nets and product-forms.
Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools Communications, 2011

Fluid Queue Models of Battery Life.
Proceedings of the MASCOTS 2011, 2011

2010
Response time distribution of flash memory accesses.
Perform. Eval., 2010

Turning Back Time - What Impact on Performance?
Comput. J., 2010

A markovian futures market for computing power.
Proceedings of the first joint WOSP/SIPEW International Conference on Performance Engineering, 2010

A unifying approach to product-forms in networks with finite capacity constraints.
Proceedings of the SIGMETRICS 2010, 2010

State-Dependent Rates and Semi-Product-Form via the Reversed Process.
Proceedings of the Computer Performance Engineering, 2010

2009
A unified approach to modelling the performance of concurrent systems.
Simulation Modelling Practice and Theory, 2009

Product-forms and functional rates.
Perform. Eval., 2009

Bus Modelling in Zoned Disks RAID Storage Systems.
Electr. Notes Theor. Comput. Sci., 2009

Using bulk arrivals to model I/O request response time distributions in zoned disks and RAID systems.
Proceedings of the 4th International Conference on Performance Evaluation Methodologies and Tools, 2009

Response time distributions and network perturbation into product-form.
Proceedings of the 4th International Conference on Performance Evaluation Methodologies and Tools, 2009

2008
Fluid level in a reservoir with an on-off source.
SIGMETRICS Performance Evaluation Review, 2008

Discussant Contributions for the Computer Journal Lecture by Erol Gelenbe.
Comput. J., 2008

Response time distribution of flash memory accesses.
Proceedings of the 3rd International ICST Conference on Performance Evaluation Methodologies and Tools, 2008

2007
Approximate analysis of a network of fluid queues.
SIGMETRICS Performance Evaluation Review, 2007

Queueing models of RAID systems with maxima of waiting times.
Perform. Eval., 2007

An approximate compositional approach to the analysis of fluid queue networks.
Perform. Eval., 2007

Mean-variance performance optimization of response time in a tandem router network with batch arrivals.
Cluster Computing, 2007

Approximate queueing network analysis of patient treatment times.
Proceedings of the 2nd International Conference on Performance Evaluation Methodolgies and Tools, 2007

An integrated analytical model for computation and comparison of the throughputs of the UMTS/HSDPA user equipment categories.
Proceedings of the 10th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, 2007

Performance of a Priority-Weighted Round Robin Mechanism for Differentiated Service Networks.
Proceedings of the 16th International Conference on Computer Communications and Networks, 2007

2006
Distributed computation of transient state distributions and passage time quantiles in large semi-Markov models.
Future Generation Comp. Syst., 2006

Stochastic Ambient Calculus.
Electr. Notes Theor. Comput. Sci., 2006

Process Algebraic Non-product-forms.
Electr. Notes Theor. Comput. Sci., 2006

A general performance model interchange format.
Proceedings of the 1st International Conference on Performance Evaluation Methodolgies and Tools, 2006

Performance Optimization of Mean Response Time in a Tandem Router Network with Batch Arrivals.
Proceedings of the Management of Integrated End-to-End Communications and Services, 2006

Optimization of a tandem router network using a fluid model.
Proceedings of the 9th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, 2006

Worst-Case Analysis of Router Networks with Rival Queueing Models.
Proceedings of the Computer and Information Sciences, 2006

Performance Optimization of a Tandem Router Network Using a Fluid Model.
Proceedings of the International MultiConference of Engineers and Computer Scientists 2006, 2006

2005
Separable equilibrium state probabilities via time reversal in Markovian process algebra.
Theor. Comput. Sci., 2005

Calibration of a Queueing Model of RAID Systems.
Electr. Notes Theor. Comput. Sci., 2005

Delay Analysis of Priority Queues with Modulated Traffic.
Proceedings of the 13th International Symposium on Modeling, 2005

Optimization of a Tandem M/GI/1 Router Network with Batch Arrivals.
Proceedings of the 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), 2005

Performance Engineering and Stochastic Modelling.
Proceedings of the Formal Techniques for Computer Systems and Business Processes, 2005

2004
Compositional reversed Markov processes, with applications to G-networks.
Perform. Eval., 2004

Network traffic behaviour in switched Ethernet systems.
Perform. Eval., 2004

Uniformization and hypergraph partitioning for the distributed computation of response time densities in very large Markov models.
J. Parallel Distrib. Comput., 2004

A dynamical model of a GRID market
CoRR, 2004

Sojourn Time Distributions in Modulated G-Queues with Batch Processing.
Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004

A New Recursive Algorithm for Computing Generating Functions in Closed Multi-Class Queueing Networks.
Proceedings of the 12th International Workshop on Modeling, 2004

An Optimisation Model for a Two-Node Router Network.
Proceedings of the 12th International Workshop on Modeling, 2004

2003
Turning back time in Markovian process algebra.
Theor. Comput. Sci., 2003

G-networks with propagating resets via RCAT.
SIGMETRICS Performance Evaluation Review, 2003

A new blocking problem from Java-based schedulers.
Perform. Eval., 2003

Modelling techniques and tools for computer performance evaluation.
Perform. Eval., 2003

Performance queries on semi-Markov stochastic Petri nets with an extended continuous stochastic logic.
Proceedings of the 10th International Workshop on Petri Nets and Performance Models, 2003

HYDRA: HYpergraph-Based Distributed Response-Time Analyzer.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2003

Distributed Computation of Passage Time Quantiles and Transient State Distributions in Large Semi-Markov Models.
Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

Queueing Models with Maxima of Service Times.
Proceedings of the Computer Performance Evaluations, 2003

2002
Product-forms from a CAT and DOG.
SIGMETRICS Performance Evaluation Review, 2002

The MM CPP/GE/c G-Queue: Sojourn Time Distribution.
Queueing Syst., 2002

On the asymptotic behaviour of closed multiclass queueing networks.
Perform. Eval., 2002

Response time densities in generalised stochastic petrinet models.
Workshop on Software and Performance, 2002

Passage time distributions in large Markov chains.
Proceedings of the International Conference on Measurements and Modeling of Computer Systems, 2002

Studying Sensitivities of an EJB Performance Model.
Proceedings of the 10th International Workshop on Modeling, 2002

Network Traffic Behaviour in Switched Ethernet Systems.
Proceedings of the 10th International Workshop on Modeling, 2002

2001
The MMCPP/GE/c Queue.
Queueing Syst., 2001

Analysis of Network Traffic in Switched Ethernet Systems
CoRR, 2001

A Markov modulated multi-server queue with negative customers - The MM CPP/GE/c/L G-queue.
Acta Inf., 2001

2000
A probabilistic dynamic technique for the distributed generation of very large state spaces.
Perform. Eval., 2000

SPADES - a process algebra for discrete event simulation.
J. Log. Comput., 2000

Reliability modelling using G-queues.
European Journal of Operational Research, 2000

Optimising bandwidth of ABR sources.
Computer Networks, 2000

Performance evaluation of an enterprise JavaBean server implementation.
Workshop on Software and Performance, 2000

Performance Evaluation of a Distributed Enterprise Data Mining System.
Proceedings of the Computer Performance Evaluation: Modelling Techniques and Tools, 2000

1999
Sojourn times in a random queue with and without preemption.
European Journal of Operational Research, 1999

1998
The Ethernet and its Modelling.
Proceedings of the 12<sup>th</sup> European Simulation Multiconference - Simulation, 1998

On the Computation of Normalising Constants in Multiclass Product-Form Queueing Networks.
Proceedings of the 12<sup>th</sup> European Simulation Multiconference - Simulation, 1998

Probability, Parallelism and the State Space Exploration Problem.
Proceedings of the Computer Performance Evaluation: Modelling Techniques and Tools, 1998

Response Times in Client-Server Systems.
Proceedings of the Computer Performance Evaluation: Modelling Techniques and Tools, 1998

Automatic Generation of Verifiable Cache Coherence Simulation Models from High-Level Specifications.
Proceedings of Computing: The Fourth Australasian Theory Symposium (CATS'98), 1998

1997
Waiting Time Distribution in a Class of Discrete-Time Cyclic Service Multi-Queue Systems.
Perform. Eval., 1997

Analysis and Modelling of ATM (AAL5) Traffic Traces.
Proceedings of the Performance Analysis of ATM Networks, 1997

1996
Parallelism via Homomorphisms.
Parallel Processing Letters, 1996

Modelling and Validation of Shared Memory Coherency Protocols.
Perform. Eval., 1996

Capacity planning in client - server systems.
Distributed Systems Engineering, 1996

1995
Transformation of Polynomial Evaluation to a Pipeline via Horner's Rule.
Sci. Comput. Program., 1995

Exploiting Quasi-reversible Structures in Markovian Process Algebra Models.
Comput. J., 1995

G-Networks - New Queueing Models with Additional Control Capabilities (Panel).
Proceedings of the 1995 ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems, 1995

M/G/1 Queues with Negative Arrivals: An Iteration to Solve a Fredholm Integral Equation of the First Kind.
Proceedings of the MASCOTS '95, 1995

An Analytical Model of the Standard Coherent Interface "SCI".
Proceedings of the 1995 International Conference on Parallel Processing, 1995

Performance analysis of buffered Banyan ATM switch architectures.
Proceedings of the ATM Networks, 1995

1994
An Approximate Analysis of Asynchronous, Packet-Switched Buffered Banyan Networks with Blocking.
Perform. Eval., 1994

Response time distributions in packet-switched Banyan networks.
Proceedings of the ATM Networks, 1994

1993
Pipelines for Divide-and-Conquer Functions.
Comput. J., 1993

Response Time Distributions in Queueing Network Models.
Proceedings of the Performance Evaluation of Computer and Communication Systems, 1993

Parallel Programming Using Skeleton Functions.
Proceedings of the PARLE '93, 1993

Transmission Times in Buffered Full-Crossbar Communication Networks With Cyclic Arbitration.
Proceedings of the 1993 International Conference on Parallel Processing, 1993

Performance modelling of communication networks and computer architectures.
International computer science series, Addison-Wesley, ISBN: 978-0-201-54419-0, 1993

1992
A New Approach to Recursion Removal.
Theor. Comput. Sci., 1992

The Mechanical Transformation of Data Types.
Comput. J., 1992

A Higher-Order Approach to Parallel Algorithms.
Comput. J., 1992

On the Synthesis of Function Inverses.
Acta Inf., 1992

Transmission Times in Unbuffered Crossbars with Cyclic Arbitration.
Proceedings of the 1992 International Conference on Parallel Processing, 1992

1991
Analytic Models for Multistage Interconnection Networks.
J. Parallel Distrib. Comput., 1991

On the Expansion of Non-Linear Functions.
Acta Inf., 1991

Blocking in asynchronous, buffered banyan networks.
Proceedings of the Performance of Distributed Systems and Integrated Communication Networks, 1991

A Projection Model of Types.
Proceedings of the Functional Programming Languages and Computer Architecture, 1991

Asynchronous Packet-switched Banyan Networks with Blocking.
Proceedings of the 7th UK Computer and Telecommunications Performance Engineering Workshop, 1991

1990
The Representation of Multistage Interconnection Networks in Queuing Models of Parallel Systems
J. ACM, October, 1990

1989
A Functional Programming Environment Supporting Execution, Partial Execution and Transformation.
Proceedings of the PARLE '89: Parallel Architectures and Languages Europe, 1989

1988
Linearisation: An Optimisation for Nonlinear Functional Programs.
Sci. Comput. Program., 1988

Algebraic Transformation Techniques for Functional Languages.
Comput. J., 1988

On Hot-Spot; Contention in Interconnection Networks.
Proceedings of the 1988 ACM SIGMETRICS conference on Measurement and modeling of computer systems, 1988

Functional Programming
Addison-Wesley, ISBN: 0-201-19249-7, 1988

1987
The Representation of Switching Networks in Queueing Models of Parallel Systems.
Proceedings of the Performance '87, 1987

1986
An Enhanced Approximation by Pair-Wise Analysis of Servers for Time Delay Distributions in Queueing Networks.
IEEE Trans. Computers, 1986

Efficient compilation of linear recursive functions into object level loops.
Proceedings of the 1986 SIGPLAN Symposium on Compiler Construction, 1986

Performance Modelling of Parallel Computer Architectures.
Proceedings of the 1986 ACM SIGMETRICS joint international conference on Computer performance modelling, 1986

The parallel graph reduction machine, Alice.
Proceedings of the Graph Reduction, Proceedings of a Workshop, Santa Fé, New Mexico, USA, September 29, 1986

1985
Technical Note - On Normalizing Constants in Queueing Networks.
Operations Research, 1985

1984
An Analytic Model for Flow Control Schemes in Communication Network Nodes.
IEEE Trans. Communications, 1984

The Distribution of Cycle Times in Tree-Like Networks of Queues.
Comput. J., 1984

1983
An exact analysis of the distribution of cycle times in a class of queueing networks.
Proceedings of the International Conference on Measurements and Modeling of Computer Systems, 1983

1982
Efficient Storage Management for Functional Languages.
Comput. J., 1982

1981
Efficient table-driven implementation of the finite state machine.
Journal of Systems and Software, 1981

Approximate Analysis and Prediction of Time Delay Distributions in Networks of Queues.
Proceedings of the Seventh International Computer Measurement Group Conference, 1981

1980
System Conventions for non Procedural Languages.
Comput. J., 1980


  Loading...