Peter G. Harrison
According to our database1, Peter G. Harrison
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepages:
-
at isni.org
On csauthors.net:
Bibliography
2018
Optimizing Energy-Performance Trade-Offs in Solar-Powered Edge Devices.
Proceedings of the 2018 ACM/SPEC International Conference on Performance Engineering, 2018
2017
Cutting Latency Tail: Analyzing and Validating Replication without Canceling.
IEEE Trans. Parallel Distrib. Syst., 2017
Swimming with Fishes and Sharks: Beneath the Surface of Queue-Based Ethereum Mining Pools.
Proceedings of the 25th IEEE International Symposium on Modeling, 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