Peter G. Harrison
According to our database^{1},
Peter G. Harrison
authored at least 155 papers
between 1980 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepages:

at isni.org
On csauthors.net:
Bibliography
2018
Optimizing EnergyPerformance TradeOffs in SolarPowered Edge Devices.
Proceedings of the 2018 ACM/SPEC International Conference on Performance Engineering, 2018
ProductForm Queueing Networks with Batches.
Proceedings of the Computer Performance Engineering  15th European Workshop, 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 QueueBased Ethereum Mining Pools.
Proceedings of the 25th IEEE International Symposium on Modeling, 2017
2016
EnergyPerformance TradeOffs 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 splitmerge 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
PerformanceEnergy Tradeoffs in Smartphones.
Proceedings of the 19th ACM International Conference on Modeling, 2016
Variabilityaware request replication for latency curtailment.
Proceedings of the 35th Annual IEEE International Conference on Computer Communications, 2016
2015
Beyond the mean in forkjoin queues: Efficient approximation for responsetime tails.
Perform. Eval., 2015
Approximating closed forkjoin queueing networks using productform stochastic Petrinets.
Journal of Systems and Software, 2015
Adapting Hidden Markov Models for Online Learning.
Electr. Notes Theor. Comput. Sci., 2015
MomentGenerating 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
ProductForms in MultiWay 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 Multiuser Behaviour in Social Networks.
Proceedings of the IEEE 22nd International Symposium on Modelling, 2014
2013
Sojourn time distributions in tandem batchnetworks.
SIGMETRICS Performance Evaluation Review, 2013
Productforms 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: Flashbased 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
SemiProductForm 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
Productform approximation of queueing networks with phasetype 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 productform stochastic Petri nets for performance evaluation.
Journal of Systems and Software, 2012
A class of tractable models for runtime 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 productform 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 BaumWelch Algorithm.
Proceedings of the 2012 Imperial College Computing Student Workshop, 2012
Controlling Variability in SplitMerge Systems.
Proceedings of the Analytical and Stochastic Modeling Techniques and Applications, 2012
2011
ProductForm 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 Petrinets and productforms.
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
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 productforms in networks with finite capacity constraints.
Proceedings of the SIGMETRICS 2010, 2010
StateDependent Rates and SemiProductForm 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
Productforms 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 productform.
Proceedings of the 4th International Conference on Performance Evaluation Methodologies and Tools, 2009
2008
Fluid level in a reservoir with an onoff 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
Meanvariance 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 PriorityWeighted 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 semiMarkov models.
Future Generation Comp. Syst., 2006
Stochastic Ambient Calculus.
Electr. Notes Theor. Comput. Sci., 2006
Process Algebraic Nonproductforms.
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 EndtoEnd 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
WorstCase 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 Gnetworks.
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
Sojourn Time Distributions in Modulated GQueues 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 MultiClass Queueing Networks.
Proceedings of the 12th International Workshop on Modeling, 2004
An Optimisation Model for a TwoNode Router Network.
Proceedings of the 12th International Workshop on Modeling, 2004
2003
Turning back time in Markovian process algebra.
Theor. Comput. Sci., 2003
Gnetworks with propagating resets via RCAT.
SIGMETRICS Performance Evaluation Review, 2003
A new blocking problem from Javabased schedulers.
Perform. Eval., 2003
Modelling techniques and tools for computer performance evaluation.
Perform. Eval., 2003
Performance queries on semiMarkov stochastic Petri nets with an extended continuous stochastic logic.
Proceedings of the 10th International Workshop on Petri Nets and Performance Models, 2003
HYDRA: HYpergraphBased Distributed ResponseTime 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 SemiMarkov 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
Productforms from a CAT and DOG.
SIGMETRICS Performance Evaluation Review, 2002
The MM CPP/GE/c GQueue: 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
A Markov modulated multiserver queue with negative customers  The MM CPP/GE/c/L Gqueue.
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 Gqueues.
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 ProductForm 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 ClientServer Systems.
Proceedings of the Computer Performance Evaluation: Modelling Techniques and Tools, 1998
Automatic Generation of Verifiable Cache Coherence Simulation Models from HighLevel Specifications.
Proceedings of Computing: The Fourth Australasian Theory Symposium (CATS'98), 1998
1997
Waiting Time Distribution in a Class of DiscreteTime Cyclic Service MultiQueue 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 Quasireversible Structures in Markovian Process Algebra Models.
Comput. J., 1995
GNetworks  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, PacketSwitched Buffered Banyan Networks with Blocking.
Perform. Eval., 1994
Response time distributions in packetswitched Banyan networks.
Proceedings of the ATM Networks, 1994
1993
Pipelines for DivideandConquer 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 FullCrossbar 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, AddisonWesley, ISBN: 9780201544190, 1993
1992
A New Approach to Recursion Removal.
Theor. Comput. Sci., 1992
The Mechanical Transformation of Data Types.
Comput. J., 1992
A HigherOrder 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 NonLinear 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 Packetswitched 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 HotSpot; Contention in Interconnection Networks.
Proceedings of the 1988 ACM SIGMETRICS conference on Measurement and modeling of computer systems, 1988
Functional Programming
AddisonWesley, ISBN: 0201192497, 1988
1987
The Representation of Switching Networks in Queueing Models of Parallel Systems.
Proceedings of the Performance '87, 1987
1986
An Enhanced Approximation by PairWise 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 TreeLike 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 tabledriven 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