Peter G. Harrison

Appl. Math. Comput., 2024

2022

Facilitating Load-Dependent Queueing Analysis Through Factorization (Extended Abstract).

[BibT_eX]

[DOI]

Wai Hong Ong

SIGMETRICS Perform. Evaluation Rev., 2022

2021

Facilitating load-dependent queueing analysis through factorization.

[BibT_eX]

[DOI]

Wai Hong Ong

Perform. Evaluation, 2021

Response Time Distribution in a Tandem Pair of Queues with Batch Processing.

[BibT_eX]

[DOI]

Julianna Bor

J. ACM, 2021

2020

A semi-product-form for a pair of queues with finite batches: Equilibrium state probabilities and response time densities.

[BibT_eX]

[DOI]

Perform. Evaluation, 2020

2019

Managing Response Time Tails by Sharding.

[BibT_eX]

[DOI]

ACM Trans. Model. Perform. Evaluation Comput. Syst., 2019

Novel Solutions for Closed Queueing Networks with Load-Dependent Stations.

[BibT_eX]

[DOI]

Ong Wai Hong

SIGMETRICS Perform. Evaluation Rev., 2019

A semi-product-form for the equilibrium state probabilities in a pair of queues with finite batches.

[BibT_eX]

[DOI]

Proceedings of the 12th EAI International Conference on Performance Evaluation Methodologies and Tools, 2019

2018

Optimizing Energy-Performance Trade-Offs in Solar-Powered Edge Devices.

[BibT_eX]

[DOI]

Proceedings of the 2018 ACM/SPEC International Conference on Performance Engineering, 2018

Product-Form Queueing Networks with Batches.

[BibT_eX]

[DOI]

Proceedings of the Computer Performance Engineering - 15th European Workshop, 2018

2017

Cutting Latency Tail: Analyzing and Validating Replication without Canceling.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2017

Swimming with Fishes and Sharks: Beneath the Surface of Queue-Based Ethereum Mining Pools.

[BibT_eX]

[DOI]

Catherine E. A. Mulligan

Proceedings of the 25th IEEE International Symposium on Modeling, 2017

2016

Energy-Performance Trade-Offs via the EP Queue.

[BibT_eX]

[DOI]

ACM Trans. Model. Perform. Evaluation Comput. Syst., 2016

Higher response time moments for M/M/1 discriminatory processor sharing queues.

[BibT_eX]

[DOI]

EAI Endorsed Trans. Scalable Inf. Syst., 2016

Controlling variability in split-merge systems and its impact on performance.

[BibT_eX]

[DOI]

Iryna Tsimashenka

Ann. Oper. Res., 2016

Tackling Latency via Replication in Distributed Systems.

[BibT_eX]

[DOI]

Juan F. Pérez

Proceedings of the 7th ACM/SPEC International Conference on Performance Engineering, 2016

Performance-Energy Trade-offs in Smartphones.

[BibT_eX]

[DOI]

Proceedings of the 19th ACM International Conference on Modeling, 2016

Variability-aware request replication for latency curtailment.

[BibT_eX]

[DOI]

Juan F. Pérez

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.

[BibT_eX]

[DOI]

Juan F. Pérez

Perform. Evaluation, 2015

Approximating closed fork-join queueing networks using product-form stochastic Petri-nets.

[BibT_eX]

[DOI]

Rasha Osman

J. Syst. Softw., 2015

Moment-Generating Algorithm for Response Time in Processor Sharing Queueing Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Performance Engineering - 12th European Workshop, 2015

2014

Blending randomness in closed queueing network models.

[BibT_eX]

[DOI]

Mirco Tribastone

Perform. Evaluation, 2014

Adapting Hidden Markov Models for Online Learning.

[BibT_eX]

[DOI]

Proceedings of the Twenty-ninth and thirtieth Annual UK Performance Engineering Workshops, 2014

Product-Forms in Multi-Way Synchronizations.

[BibT_eX]

[DOI]

Comput. J., 2014

Understanding, modelling, and improving the performance of web applications in multicore virtualised environments.

[BibT_eX]

[DOI]

Proceedings of the ACM/SPEC International Conference on Performance Engineering, 2014

Modeling Multi-user Behaviour in Social Networks.

[BibT_eX]

[DOI]

Proceedings of the IEEE 22nd International Symposium on Modelling, 2014

2013

Sojourn time distributions in tandem batch-networks.

[BibT_eX]

[DOI]

SIGMETRICS Perform. Evaluation Rev., 2013

Product-forms in batch networks: Approximation and asymptotics.

[BibT_eX]

[DOI]

Richard A. Hayden

Perform. Evaluation, 2013

A Model of Speculative Parallel Scheduling in Networks of Unreliable Sensors.

[BibT_eX]

[DOI]

Proceedings of the Information Sciences and Systems 2013, 2013

Analysing and Predicting Patient Arrival Times.

[BibT_eX]

[DOI]

Proceedings of the Information Sciences and Systems 2013, 2013

Tutorial: Flash-based storage systems modelling, simulation and IO characterisation.

[BibT_eX]

[DOI]

Proceedings of the International Conference on High Performance Computing & Simulation, 2013

Performance Enhancement by Means of Task Replication.

[BibT_eX]

[DOI]

Proceedings of the Computer Performance Engineering - 10th European Workshop, 2013

Semi-Product-Form Solution for PEPA Models with Functional Rates.

[BibT_eX]

[DOI]

Nigel Thomas

Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2013

iSWoM: The Incremental Storage Workload Model Based on Hidden Markov Models.

[BibT_eX]

[DOI]

Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2013

2012

Product-form approximation of queueing networks with phase-type service.

[BibT_eX]

[DOI]

Maria Grazia Vigliotti

SIGMETRICS Perform. Evaluation Rev., 2012

Analysis of stochastic Petri nets with signals.

[BibT_eX]

[DOI]

Simonetta Balsamo

Perform. Evaluation, 2012

Storage workload modelling by hidden Markov models: Application to Flash memory.

[BibT_eX]

[DOI]

Perform. Evaluation, 2012

Methodological construction of product-form stochastic Petri nets for performance evaluation.

[BibT_eX]

[DOI]

Simonetta Balsamo

J. Syst. Softw., 2012

A class of tractable models for run-time performance evaluation.

[BibT_eX]

[DOI]

Proceedings of the Third Joint WOSP/SIPEW International Conference on Performance Engineering, 2012

Fluid queue models of renewable energy storage.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 6th International ICST Conference on Performance Evaluation Methodologies and Tools, 2012

Collecting battery data with Open Battery.

[BibT_eX]

[DOI]

Gareth L. Jones

Proceedings of the 2012 Imperial College Computing Student Workshop, 2012

Incremental HMM with an improved Baum-Welch Algorithm.

[BibT_eX]

[DOI]

Proceedings of the 2012 Imperial College Computing Student Workshop, 2012

Controlling Variability in Split-Merge Systems.

[BibT_eX]

[DOI]

Iryna Tsimashenka

Proceedings of the Analytical and Stochastic Modeling Techniques and Applications, 2012

2011

Product-Form Solution in PEPA via the Reversed Process.

[BibT_eX]

[DOI]

Nigel Thomas

Proceedings of the Network Performance Engineering, 2011

Investigating Flash memory wear levelling and execution modes.

[BibT_eX]

[DOI]

Simul., 2011

A PMIF with Petri net building blocks (abstracts only).

[BibT_eX]

[DOI]

SIGMETRICS Perform. Evaluation Rev., 2011

A PMIF with petri net building blocks.

[BibT_eX]

[DOI]

Proceedings of the ICPE'11, 2011

Hierarchically constructed Petri-nets and product-forms.

[BibT_eX]

[DOI]

Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools Communications, 2011

Fluid Queue Models of Battery Life.

[BibT_eX]

[DOI]

Proceedings of the MASCOTS 2011, 2011

AutoCAT: Automated Product-Form Solution of Stochastic Models.

[BibT_eX]

[DOI]

Proceedings of the Matrix-Analytic Methods in Stochastic Models, 2011

2010

Response time distribution of flash memory accesses.

[BibT_eX]

[DOI]

Perform. Evaluation, 2010

Turning Back Time - What Impact on Performance?

[BibT_eX]

[DOI]

Comput. J., 2010

A markovian futures market for computing power.

[BibT_eX]

[DOI]

Fernando Martínez Ortuño

Uli Harder

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.

[BibT_eX]

[DOI]

Simonetta Balsamo

Proceedings of the SIGMETRICS 2010, 2010

State-Dependent Rates and Semi-Product-Form via the Reversed Process.

[BibT_eX]

[DOI]

Nigel Thomas

Proceedings of the Computer Performance Engineering, 2010

2009

A unified approach to modelling the performance of concurrent systems.

[BibT_eX]

[DOI]

Ramón Puigjaner

Simul. Model. Pract. Theory, 2009

Product-forms and functional rates.

[BibT_eX]

[DOI]

Perform. Evaluation, 2009

Using bulk arrivals to model I/O request response time distributions in zoned disks and RAID systems.

[BibT_eX]

[DOI]

Abigail S. Lebrecht

Proceedings of the 4th International Conference on Performance Evaluation Methodologies and Tools, 2009

Response time distributions and network perturbation into product-form.

[BibT_eX]

[DOI]

Maria Grazia Vigliotti

Proceedings of the 4th International Conference on Performance Evaluation Methodologies and Tools, 2009

2008

Fluid level in a reservoir with an on-off source.

[BibT_eX]

[DOI]

Varun Gupta

SIGMETRICS Perform. Evaluation Rev., 2008

Bus Modelling in Zoned Disks RAID Storage Systems.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on the Practical Application of Stochastic Modelling, 2008

Discussant Contributions for the Computer Journal Lecture by Erol Gelenbe.

[BibT_eX]

[DOI]

Taskin Koçak

Erol Gelenbe

Comput. J., 2008

2007

Approximate analysis of a network of fluid queues.

[BibT_eX]

[DOI]

Tony Field

SIGMETRICS Perform. Evaluation Rev., 2007

Queueing models of RAID systems with maxima of waiting times.

[BibT_eX]

[DOI]

Perform. Evaluation, 2007

An approximate compositional approach to the analysis of fluid queue networks.

[BibT_eX]

[DOI]

Perform. Evaluation, 2007

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

[BibT_eX]

[DOI]

Clust. Comput., 2007

Approximate queueing network analysis of patient treatment times.

[BibT_eX]

[DOI]

Susanna W. M. Au-Yeung

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.

[BibT_eX]

[DOI]

Tien Van Do

Ram Chakka

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.

[BibT_eX]

[DOI]

Helen Yu-Zhang

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.

[BibT_eX]

[DOI]

Jeremy T. Bradley

Future Gener. Comput. Syst., 2006

Stochastic Ambient Calculus.

[BibT_eX]

[DOI]

Maria Grazia Vigliotti

Proceedings of the 4th International Workshop on Quantitative Aspects of Programming Languages, 2006

A general performance model interchange format.

[BibT_eX]

[DOI]

Ramón Puigjaner

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.

[BibT_eX]

[DOI]

Proceedings of the Management of Integrated End-to-End Communications and Services, 2006

Optimization of a tandem router network using a fluid model.

[BibT_eX]

[DOI]

Nalan Gülpinar

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.

[BibT_eX]

[DOI]

Nalan Gülpinar

Berç Rustem

Proceedings of the Computer and Information Sciences, 2006

Performance Optimization of a Tandem Router Network Using a Fluid Model.

[BibT_eX]

Proceedings of the International MultiConference of Engineers and Computer Scientists 2006, 2006

2005

Separable equilibrium state probabilities via time reversal in Markovian process algebra.

[BibT_eX]

[DOI]

Ting Ting Lee

Theor. Comput. Sci., 2005

Process Algebraic Non-product-forms.

[BibT_eX]

[DOI]

Proceedings of the Second International Workshop on the Practical Application of Stochastic Modeling, 2005

Delay Analysis of Priority Queues with Modulated Traffic.

[BibT_eX]

[DOI]

Y. Zhang

Proceedings of the 13th International Symposium on Modeling, 2005

Optimization of a Tandem M/GI/1 Router Network with Batch Arrivals.

[BibT_eX]

[DOI]

Proceedings of the 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), 2005

Performance Engineering and Stochastic Modelling.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Computer Systems and Business Processes, 2005

2004

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

[BibT_eX]

[DOI]

Perform. Evaluation, 2004

Network traffic behaviour in switched Ethernet systems.

[BibT_eX]

[DOI]

Tony Field

Uli Harder

Perform. Evaluation, 2004

Uniformization and hypergraph partitioning for the distributed computation of response time densities in very large Markov models.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 2004

Calibration of a Queueing Model of RAID Systems.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Practical Applications of Stochastic Modelling, 2004

A dynamical model of a GRID market

[BibT_eX]

[DOI]

CoRR, 2004

Sojourn Time Distributions in Modulated G-Queues with Batch Processing.

[BibT_eX]

[DOI]

Harf Zatschler

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.

[BibT_eX]

[DOI]

Ting Ting Lee

Proceedings of the 12th International Workshop on Modeling, 2004

An Optimisation Model for a Two-Node Router Network.

[BibT_eX]

[DOI]

Proceedings of the 12th International Workshop on Modeling, 2004

2003

Turning back time in Markovian process algebra.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2003

G-networks with propagating resets via RCAT.

[BibT_eX]

[DOI]

SIGMETRICS Perform. Evaluation Rev., 2003

A new blocking problem from Java-based schedulers.

[BibT_eX]

[DOI]

Perform. Evaluation, 2003

Modelling techniques and tools for computer performance evaluation.

[BibT_eX]

[DOI]

Perform. Evaluation, 2003

Performance queries on semi-Markov stochastic Petri nets with an extended continuous stochastic logic.

[BibT_eX]

[DOI]

Jeremy T. Bradley

Proceedings of the 10th International Workshop on Petri Nets and Performance Models, 2003

HYDRA: HYpergraph-Based Distributed Response-Time Analyzer.

[BibT_eX]

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.

[BibT_eX]

[DOI]

Jeremy T. Bradley

Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

Queueing Models with Maxima of Service Times.

[BibT_eX]

[DOI]

Proceedings of the Computer Performance Evaluations, 2003

2002

Product-forms from a CAT and DOG.

[BibT_eX]

[DOI]

SIGMETRICS Perform. Evaluation Rev., 2002

The MM CPP/GE/c G-Queue: Sojourn Time Distribution.

[BibT_eX]

[DOI]

Queueing Syst. Theory Appl., 2002

On the asymptotic behaviour of closed multiclass queueing networks.

[BibT_eX]

[DOI]

Sérgio Coury

Perform. Evaluation, 2002

Response time densities in generalised stochastic petrinet models.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Software and Performance, 2002

Passage time distributions in large Markov chains.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Measurements and Modeling of Computer Systems, 2002

Studying Sensitivities of an EJB Performance Model.

[BibT_eX]

[DOI]

Johannes Lüthi

Proceedings of the 10th International Workshop on Modeling, 2002

2001

The MMCPP/GE/c Queue.

[BibT_eX]

[DOI]

Ram Chakka

Queueing Syst. Theory Appl., 2001

Analysis of Network Traffic in Switched Ethernet Systems

[BibT_eX]

[DOI]

Tony Field

Uli Harder

CoRR, 2001

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

[BibT_eX]

[DOI]

Ram Chakka

Acta Informatica, 2001

2000

A probabilistic dynamic technique for the distributed generation of very large state spaces.

[BibT_eX]

[DOI]

Mark Mestern

Pieter S. Kritzinger

Perform. Evaluation, 2000

SPADES - a process algebra for discrete event simulation.

[BibT_eX]

[DOI]

B. Strulo

J. Log. Comput., 2000

Reliability modelling using G-queues.

[BibT_eX]

[DOI]

Edwige Pitel

Eur. J. Oper. Res., 2000

Optimising bandwidth of ABR sources.

[BibT_eX]

[DOI]

Madhu D. K. Bhabuta

Comput. Networks, 2000

Performance evaluation of an enterprise JavaBean server implementation.

[BibT_eX]

[DOI]

Proceedings of the Second International Workshop on Software and Performance, 2000

Performance Evaluation of a Distributed Enterprise Data Mining System.

[BibT_eX]

[DOI]

Proceedings of the Computer Performance Evaluation: Modelling Techniques and Tools, 2000

1999

Sojourn times in a random queue with and without preemption.

[BibT_eX]

[DOI]

Eur. J. Oper. Res., 1999

1998

The Ethernet and its Modelling.

[BibT_eX]

J. Parry

Proceedings of the 12th European Simulation Multiconference - Simulation, 1998

On the Computation of Normalising Constants in Multiclass Product-Form Queueing Networks.

[BibT_eX]

Proceedings of the 12th European Simulation Multiconference - Simulation, 1998

Probability, Parallelism and the State Space Exploration Problem.

[BibT_eX]

[DOI]

Mark Mestern

Pieter S. Kritzinger

Proceedings of the Computer Performance Evaluation: Modelling Techniques and Tools, 1998

Response Times in Client-Server Systems.

[BibT_eX]

[DOI]

J. Parry

Proceedings of the Computer Performance Evaluation: Modelling Techniques and Tools, 1998

Automatic Generation of Verifiable Cache Coherence Simulation Models from High-Level Specifications.

[BibT_eX]

K. Kanani

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.

[BibT_eX]

[DOI]

Sérgio Coury

Perform. Evaluation, 1997

Analysis and Modelling of ATM (AAL5) Traffic Traces.

[BibT_eX]

Madhu D. K. Bhabuta

Proceedings of the Performance Analysis of ATM Networks, 1997

1996

Parallelism via Homomorphisms.

[BibT_eX]

[DOI]

Zully N. Grant-Duff

Parallel Process. Lett., 1996

Modelling and Validation of Shared Memory Coherency Protocols.

[BibT_eX]

Andrew J. Bennett

Perform. Evaluation, 1996

Capacity planning in client - server systems.

[BibT_eX]

[DOI]

Tim Foxon

Mike Garth

Distributed Syst. Eng., 1996

1995

Transformation of Polynomial Evaluation to a Pipeline via Horner's Rule.

[BibT_eX]

[DOI]

Ronald Lyndon While

Sci. Comput. Program., 1995

Exploiting Quasi-reversible Structures in Markovian Process Algebra Models.

[BibT_eX]

[DOI]

Jane Hillston

Comput. J., 1995

G-Networks - New Queueing Models with Additional Control Capabilities (Panel).

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Edwige Pitel

Proceedings of the MASCOTS '95, 1995

An Analytical Model of the Standard Coherent Interface "SCI".

[BibT_eX]

Proceedings of the 1995 International Conference on Parallel Processing, 1995

Performance analysis of buffered Banyan ATM switch architectures.

[BibT_eX]

Demetres D. Kouvatsos

Jeffrey Wilkinson

Madhu D. K. Bhabuta

Proceedings of the ATM Networks, 1995

1994

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

[BibT_eX]

[DOI]

Perform. Evaluation, 1994

Response time distributions in packet-switched Banyan networks.

[BibT_eX]

Proceedings of the ATM Networks, 1994

1993

Pipelines for Divide-and-Conquer Functions.

[BibT_eX]

[DOI]

Inman P. de Guzmán

E. Medina

Comput. J., 1993

Response Time Distributions in Queueing Network Models.

[BibT_eX]

[DOI]

Proceedings of the Performance Evaluation of Computer and Communication Systems, 1993

Parallel Programming Using Skeleton Functions.

[BibT_eX]

[DOI]

Proceedings of the PARLE '93, 1993

Transmission Times in Buffered Full-Crossbar Communication Networks With Cyclic Arbitration.

[BibT_eX]

[DOI]

Proceedings of the 1993 International Conference on Parallel Processing, 1993

Performance modelling of communication networks and computer architectures.

[BibT_eX]

International computer science series, Addison-Wesley, ISBN: 978-0-201-54419-0, 1993

1992

A New Approach to Recursion Removal.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1992

The Mechanical Transformation of Data Types.

[BibT_eX]

[DOI]

Comput. J., 1992

A Higher-Order Approach to Parallel Algorithms.

[BibT_eX]

[DOI]

Comput. J., 1992

On the Synthesis of Function Inverses.

[BibT_eX]

[DOI]

Acta Informatica, 1992

Transmission Times in Unbuffered Crossbars with Cyclic Arbitration.

[BibT_eX]

Proceedings of the 1992 International Conference on Parallel Processing, 1992

1991

Analytic Models for Multistage Interconnection Networks.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 1991

On the Expansion of Non-Linear Functions.

[BibT_eX]

[DOI]

Acta Informatica, 1991

Blocking in asynchronous, buffered banyan networks.

[BibT_eX]

Proceedings of the Performance of Distributed Systems and Integrated Communication Networks, 1991

A Projection Model of Types.

[BibT_eX]

[DOI]

David J. Lillie

Proceedings of the Functional Programming Languages and Computer Architecture, 1991

Asynchronous Packet-switched Banyan Networks with Blocking.

[BibT_eX]

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

[BibT_eX]

[DOI]

J. ACM, October, 1990

1989

A Functional Programming Environment Supporting Execution, Partial Execution and Transformation.

[BibT_eX]

[DOI]

Proceedings of the PARLE '89: Parallel Architectures and Languages Europe, 1989

1988

Linearisation: An Optimisation for Nonlinear Functional Programs.

[BibT_eX]

[DOI]

Sci. Comput. Program., 1988

Algebraic Transformation Techniques for Functional Languages.

[BibT_eX]

[DOI]

Comput. J., 1988

On Hot-Spot; Contention in Interconnection Networks.

[BibT_eX]

[DOI]

Proceedings of the 1988 ACM SIGMETRICS conference on Measurement and modeling of computer systems, 1988

Functional Programming

[BibT_eX]

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

1987

The Representation of Switching Networks in Queueing Models of Parallel Systems.

[BibT_eX]

Proceedings of the Performance '87, 1987

1986

An Enhanced Approximation by Pair-Wise Analysis of Servers for Time Delay Distributions in Queueing Networks.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1986

Efficient compilation of linear recursive functions into object level loops.

[BibT_eX]

[DOI]

Proceedings of the 1986 SIGPLAN Symposium on Compiler Construction, 1986

Performance Modelling of Parallel Computer Architectures.

[BibT_eX]

[DOI]

Proceedings of the 1986 ACM SIGMETRICS joint international conference on Computer performance modelling, 1986

The parallel graph reduction machine, Alice.

[BibT_eX]

[DOI]

Mike Reeve

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.

[BibT_eX]

[DOI]

Oper. Res., 1985

1984

An Analytic Model for Flow Control Schemes in Communication Network Nodes.

[BibT_eX]

[DOI]

IEEE Trans. Commun., 1984

The Distribution of Cycle Times in Tree-Like Networks of Queues.

[BibT_eX]

[DOI]

Comput. J., 1984

1983

An exact analysis of the distribution of cycle times in a class of queueing networks.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Measurements and Modeling of Computer Systems, 1983

1982

Efficient Storage Management for Functional Languages.

[BibT_eX]

[DOI]

Comput. J., 1982

1981

Efficient table-driven implementation of the finite state machine.

[BibT_eX]

[DOI]

J. Syst. Softw., 1981

Approximate Analysis and Prediction of Time Delay Distributions in Networks of Queues.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Computer Measurement Group Conference, 1981

1980

System Conventions for non Procedural Languages.

[BibT_eX]

[DOI]

Raphael Haskell

Comput. J., 1980

1979

Representative queueing network models of computer systems in terms of time delay probability distributions.

[BibT_eX]

[DOI]