Computing Publications

Publications Home » Keywords » AESOP

: What are feeds?; All feeds

AESOP

Books

.: Elsevier; February, 2011
Performance Modelling of Communication Networks and Computer Architectures: Peter G. Harrison, Naresh M. Patel; pp.1–472; Addison-Wesley; January, 1993
Functional Programming: A. J. Field, Peter G. Harrison; pp.1–616; Addison-Wesley; July, 1988

Book Chapters

GPA - A multiformalism, multisolution approach to efficient analysis of large scale population models: Jeremy T. Bradley, Marcel C. Guenther, Richard Hayden, Anton Stefanek; Theory and Application of Multi-Formalism Modeling; IGI Global; To appear 2013
Scalable Stochastic Modelling for Resilience: Jeremy T. Bradley, Lucia Cloth, Richard Hayden, Leïla Kloul, Philipp Reinecke, Markus Siegle, Nigel Thomas, Katinka Wolter; Resilience Assessment and Evaluation of Computing Systems; Springer; June, 2012
Product-Form Solution in PEPA via the Reversed Process: Peter G. Harrison, Nigel Thomas; Network Performance Engineering: A Handbook on Convergent Multi-Service Networks and Next Generation Internet; Volume 5233, pp.343–356; Lecture Notes in Computer Science, Springer; June, 2011
Modelling a Grid Market Economy: Fernando Martinez Ortuno, Uli Harder, Peter G. Harrison; Performance Models and Risk Management in Communication Systems; Springer; 2010
Performance Trees: A Query Specification Formalism for Quantitative Performance Analysis: William J. Knottenbelt, Nicholas J. Dingle, Tamas Suto; Parallel, Distributed and Grid Computing for Engineering; Volume 21, pp.165–198; Computational Science, Engineering and Technology, Saxe-Coburg Publications; April, 2009
Automated formulation and solution of Markov modulated queues with geometric processes: Demetres D. Kouvatsos, David Thornley, Harf Zatschler, Peter G. Harrison; Traffic and performance engineering for heterogeneous networks; pp.419–458; River Publishers, NY; March, 2009
Modelling tools and techniques for the performance analysis of wireless protocols: Ashok Argent-Katwala, Jeremy T. Bradley, Nil Geisweiller, Stephen Gilmore, Nigel Thomas; Advances in Wireless Networks: Performance Modelling, Analysis and Enhancement; Issue 1; Nova Science Publishers, Inc; October, 2007
Tackling Large State Spaces in Performance Modelling: William J. Knottenbelt, Jeremy T. Bradley; Formal Methods for Performance Evaluation; Volume 4486, pp.318–370; Lecture Notes in Computer Science, Springer; June, 2007
Response Time Densities and Quantiles in Large Markov and Semi-Markov Models: Jeremy T. Bradley, Nicholas J. Dingle, Uli Harder, Peter G. Harrison, William J. Knottenbelt; Performance Evaluation of Parallel, Distributed and Emergent Systems; Volume 1, pp.3–41; Nova Science Publishers, Inc; 2006
Quantiles of Sojourn Times: Peter G. Harrison, William J. Knottenbelt; Computer System Performance Modeling in Perspective: A Tribute to the Work of Prof Kenneth C Sevcik; pp.156–194; Imperial College Press; September, 2006
A Methodology for the Performance Modelling of Distributed Cache Coherent Multiprocessors: A. J. Field, Peter G. Harrison; The State-of-the-art in Performance Modeling and Simulation; Issue 4, pp.55–92; Gordon and Breach; 1998
A Fixed-Point Model of a Distributed Memory Consistency Protocol: A. J. Field, Peter G. Harrison; Quantitative Methods in Parallel Systems; pp.237–247; ESPRIT Basic Research Series, Springer Verlag; 1995
M/G/1 Queues with FCFS Negative Arrivals: Peter G. Harrison, E. Pitel; Quantitative Methods in Parallel Systems; ESPRIT Basic Research Series, Springer; 1995
Temporal logic in a stochastic environment: Ben Strulo, Dov Gabbay, Peter G. Harrison; Time and logic: a computational approach; pp.229–247; UCL Press Ltd.; 1995
An Exercise in the Synthesis of Parallel Functional Programs for Message Passing Architectures: A. J. Field; Parallel Computing: From Theory to Sound Practice; pp.452–463; 1992
The Design and Implementation of ALICE - a Parallel Graph Reduction Machine: Martin Cripps, John Darlington, A. J. Field, Peter G. Harrison, Mike Reeve; Selected Reprints on Dataflow and Reduction Architectures; pp.300–327; IEEE Computer Society Press; 1987
The Unification of Functional and Logic Languages: John Darlington, A. J. Field, Helen Pull; Logic Programming: Functions, Relations and Equations, DeGroot D. and Lindstrom, G. eds.; pp.37–70; Prentice Hall; 1986

Journal Articles

Database System Performance Evaluation Models: A Survey: Rasha Osman, William J. Knottenbelt; Performance Evaluation; Elsevier; 2012
Predicting the outcomes of tennis matches using a low-level point model: Demetris Spanias, William J. Knottenbelt; IMA Journal of Management Mathematics; IOS Press; 2012
A common-opponent stochastic model for predicting the outcome of professional tennis matches: William J. Knottenbelt, Demetris Spanias, Agnieszka M. Madurska; Computers & Mathematics with Applications. An InternationalJournal; Elsevier; 2012
Analysis of stochastic Petri nets with signals: Andrea Marin, Simonetta Balsamoa, Peter G. Harrison; Performance Evaluation; July, 2012
Comparative Evaluation of Independent Private Values Distributions on Internet Auction Performance: Timothy Leung, William J. Knottenbelt; International Journal of E-Entrepreneurship and Innovation; Volume 3, Issue 1, pp.59–72; IGI Global; January, 2012
Fluid computation of passage time distributions in large Markov models: Richard Hayden, Anton Stefanek, Jeremy T. Bradley; Theoretical Computer Science; Volume 413, Issue 1, pp.106–141; Elsevier; January, 2012
Storage workload modelling by hidden Markov models: Application to Flash memory: Peter G. Harrison, Sarah K. Harrison, Naresh M. Patel, Soraya Zertal; Performance Evaluation; January, 2012
Fluid computation of the performance-energy trade-off in large scale Markov models: Anton Stefanek, Richard Hayden, Jeremy T. Bradley; SIGMETRICS Performance Evaluation Review; December, 2011
Investigating Flash memory wear levelling and execution modes: Soraya Zertal, Peter G. Harrison; SIMULATION; Volume 87, Issue 12, pp.1081–1091; Sage Publications, Inc.; December, 2011
Mean-field approximations for performance models with generally-timed transitions: Richard Hayden; SIGMETRICS Performance Evaluation Review; December, 2011
Performance specification and evaluation with Unified Stochastic Probes and fluid analysis: Richard Hayden, Jeremy T. Bradley, Allan Clark; IEEE Transactions on Software Engineering; IEEE Computer Society; December, 2011
Invited Response to Computer Journal Lecture by Prof. Jane Hillston: Jeremy T. Bradley, Nigel Thomas, Richard Hayden, Anton Stefanek; The Computer Journal; Oxford Journals; November, 2011
Analytical and Simulation Modelling of Zoned RAID Systems: Abigail Lebrecht, Nicholas J. Dingle, William J. Knottenbelt; The Computer Journal; Volume 54, Issue 5, pp.691–707; Oxford Journals; May, 2011
Passage-time Computation and Aggregation Strategies for Large Semi-Markov Processes: Marcel C. Guenther, Nicholas J. Dingle, Jeremy T. Bradley, William J. Knottenbelt; Performance Evaluation; Volume 68, Issue 3, pp.211–236; Elsevier; March, 2011
A generalized method of moments for closed queueing networks: Giuliano Casale; Performance Evaluation; Volume 68, Issue 2, pp.180–200; Springer; February, 2011
Consumer-to-Consumer Internet Auction Models: Timothy Leung, William J. Knottenbelt; International Journal of Online Marketing; Volume 1, Issue 3, pp.17–28; ICEIS; 2011
Extracting State-Based Performance Metrics using Asynchronous Iterative Techniques: Douglas de Jager, Jeremy T. Bradley; Performance Evaluation; Volume 67, Issue 12, pp.1353–1372; Elsevier; December, 2010
Modelling infection spread using location tracking: Andrew Mason, Nicholas J. Dingle, William J. Knottenbelt, Derek Bell, William Buchanan, Christoph Thuemmler; International Journal of Healthcare Technology and Management; Volume 11, Issue 6, pp.442–461; Inderscience Enterprises Ltd.; 2010
A fluid analysis framework for a Markovian process algebra: Richard Hayden, Jeremy T. Bradley; Theoretical Computer Science; Volume 411, Issues 22–24, pp.2260–2297; Elsevier; May, 2010
Busy periods in fluid queues with multiple emptying input states: A. J. Field, Peter G. Harrison; Journal of Applied Probability; Volume 47, Issue 2, pp.474–497; April, 2010
Evaluating fluid semantics for passive stochastic process algebra cooperation: Richard Hayden, Jeremy T. Bradley; Performance Evaluation; Volume 67, Issue 4, pp.260–284; Elsevier; April, 2010
Product-forms and functional rates: Peter G. Harrison; Performance Evaluation; Volume 66, Issue 11, pp.660–663; Elsevier; November, 2009
Predicting patient arrivals to an accident and emergency department: Susanna Wau Men Au-Yeung, Uli Harder, Emma McCoy, William J. Knottenbelt; Emergency Medicine Journal; Volume 26, Issue 4, pp.241–244; BMJ Publishing Group Limited; April, 2009
Turning back time - what impact on performance?: Peter G. Harrison; The Computer Journal; Oxford Journals; April, 2009
Probabilistic Mobile Ambients: Marta Z. Kwiatkowska, Gethin Norman, David Parker, Maria Vigliotti; Volume 410, Issues 12–13, pp.1272–1309; Theoretical Computer Science, Elsevier; 2009
Analysing distributed Internet worm attacks using continuous state-space approximation of process algebra models: Jeremy T. Bradley, Stephen Gilmore, Jane Hillston; Journal of Computer and System Sciences; Volume 74, Issue 6, pp.1013–1032; Elsevier; September, 2008
Efficient computation of passage time densities and distributions in Markov chains using Laguerre method: Harini Kulatunga, William J. Knottenbelt; Electronics Letters; Volume 44, Issue 15; The Institution of Engineering and Technology; July, 2008
Geometric Bounds: A Noniterative Analysis Technique for Closed Queueing Networks: Giuliano Casale, Richard Muntz, Giuseppe Serazzi; IEEE Transactions on Computers; Volume 57, Issue 6, pp.780–794; IEEE Computer Society; June, 2008
Symmetric Electoral Systems for Ambient Calculi: Iain Phillips, Maria Vigliotti; Information and Computation; Volume 206, Issue 1, pp.34–72; Elsevier; January, 2008
Tutorial on separation results in process calculi via leader election problems: Maria Vigliotti, Iain Phillips, Catuscia Palamidessi; Theoretical Computer Science; Volume 388, Issues 1–3, pp.267–289; Elsevier; December, 2007
Queueing models of RAID systems with maxima of waiting times: Peter G. Harrison, Soraya Zertal; Performance Evaluation; Volume 64, Issues 7–8, pp.664–689; Elsevier; August, 2007
Mean-variance performance optimization of response time in a tandem router network with batch arrivals: Nalan Gulpinar, Uli Harder, Peter G. Harrison, A. J. Field, Berc Rustem, Louis-François Pau; Cluster Computing; Volume 10, Issue 2, pp.203–216; Springer Verlag; June, 2007
Adaptive joint detection and estimation in fading MIMO CDMA channels: A Hybrid systems approach: Harini Kulatunga, Visakan Kadirkamanathan; IEEE Transactions on Signal Processing; IEEE Signal Processing Society; 2006
Multiple H-infinity filter based Deterministic Sequence Estimation in non-Gaussian Channels: Harini Kulatunga, Visakan Kadirkamanathan; IEEE Signal Processing Letters; IEEE Signal Processing Society; 2006
Phytoplankton co-existence: Results from an individual-based simulation model: Enrique Nogueira, John Woods, Chris Harris, A. J. Field, Sarah Talbot; Ecological Modelling; Volume 198, Issues 1–2, pp.1–22; Elsevier; September, 2006
Distributed Computation of Transient State Distributions and Passage Time Quantiles in Large Semi-Markov Models: Jeremy T. Bradley, Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt; Future Generation Computer Systems; Volume 22, Issue 7, pp.828–837; Elsevier; August, 2006
Leader election in rings of ambient processes: Iain Phillips, Maria Vigliotti; Theoretical Computer Science; Volume 356, Issue 3, pp.468–494; Elsevier; 2006
Correlated dynamics in human printing behaviour: Uli Harder, Maya Paczuski; Physica A; Volume 361, Issue 1, pp.329–336; Elsevier; 2006
Separable equilibrium state probabilities via time reversal in Markovian process algebra: Peter G. Harrison, Ting Ting Lee; Theoretical Computer Science; Volume 346, Issue 1, pp.161–182; Elsevier; November, 2005
Iterative Convergence of Passage-time Densities in Semi-Markov Performance Models: Jeremy T. Bradley, Helen Wilson; Performance Evaluation; Volume 60, Issues 1–4, pp.237–254; Elsevier; May, 2005
Semi-Markov PEPA: Modelling with Generally Distributed Actions: Jeremy T. Bradley; International Journal of Simulation; Volume 6, Issues 3–4, pp.43–51; IJSIM; February, 2005
Network Traffic Behaviour in Switched Ethernet Systems: A. J. Field, Uli Harder, Peter G. Harrison; Performance Evaluation; Volume 58, Issues 2–3, pp.243–260; Elsevier; November, 2004
Stochastic Analysis of Scheduling Strategies in a Grid-based Resource Model: Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt; IEE Proceedings - Software; Volume 151, Issue 5, pp.232–239; IEE; October, 2004
Measurement and modelling of self-similar traffic in computer networks: A. J. Field, Uli Harder, Peter G. Harrison; IEE Proceedings - Communications; Volume 151, Issue 4, pp.355–363; IEE; August, 2004
Uniformization and Hypergraph Partitioning for the Distributed Computation of Response Time Densities in Very Large Markov Models: Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt; Journal of Parallel and Distributed Computing; Volume 64, Issue 8, pp.908–920; Elsevier; August, 2004
Compositional reversed Markov processes, with applications to G-networks: Peter G. Harrison; Performance Evaluation; Volume 57, Issue 3, pp.379–408; Elsevier; July, 2004
Hypergraph-based Parallel Computation of Passage Time Densities in Large Semi-Markov Models: Jeremy T. Bradley, Nicholas J. Dingle, William J. Knottenbelt, Helen Wilson; Linear Algebra and Its Applications; Volume 386, pp.311–334; Elsevier; July, 2004
Reversed processes, product forms and a non-product form: Peter G. Harrison; Linear Algebra and Its Applications; Volume 386, pp.359–381; Elsevier; July, 2004
On cost-efficiency of the global container shipping network: Dongping Song, Jie Zhang, Jonathan carter, A. J. Field, A. James Marshall, John Polak, Kimberley Schumacher, Proshun Sinha-Ray, John Woods; Maritime Policy & Management; Volume 32, Issue 1, pp.15–30; 2004
An approximate solution of PEPA models using component substitution: Nigel Thomas, Jeremy T. Bradley, David Thornley; IEE Proceedings - Computers and Digital Techniques; Volume 150, Issue 2, pp.67–74; March, 2003
A new blocking problem from Java-based schedulers: Peter G. Harrison, Catalina Lladó; Performance Evaluation; Volume 51, pp.229–246; Elsevier; January, 2003
Turning back time in Markovian process algebra: Peter G. Harrison; Theoretical Computer Science; Volume 290, Issue 3, pp.1947–1986; Elsevier; January, 2003
On the asymptotic behaviour of closed multiclass queueing networks: Sergio Coury, Peter G. Harrison; Performance Evaluation; Volume 47, pp.131–138; Elsevier; January, 2002
The MM CPP/GE/c G-Queue: sojourn time distribution: Peter G. Harrison; Queueing Systems; Volume 41, pp.271–298; Kluwer Academic Publishers; January, 2002
THEMIS: Component dependence metadata in adaptive parallel computations: Paul Kelly, Olav Beckmann, A. J. Field, Scott Baden; Parallel Processing Letters; Volume 11, Issue 4, pp.455–470; World Scientific; December, 2001
Performance analysis of three implementation strategies for distributed lock management: William J. Knottenbelt, Soraya Zertal, Peter G. Harrison; IEE Proceedings - Computers and Digital Techniques; Volume 158, Issues 4–5, pp.176–186; IEE; September, 2001
A Markov Modulated Multi-server Queue with Negative Customers - The MM CPP/GE/c/L G-Queue: Ram Chakka, Peter G. Harrison; Acta Informatica; Volume 37, Issues 11–12, pp.881–919; Springer-Verlag; August, 2001
A Simple Recursive Tesselator: Adrian Chung, A. J. Field; Journal of Graphics Tools; Volume 5, Issue 3, pp.1–9; Academic Press; 2001
The MMCPP/GE/c Queue: Ram Chakka, Peter G. Harrison; Queueing Systems; Volume 38, Issue 3, pp.307–326; Kluwer; 2001
Reliability modelling using G-queues: Peter G. Harrison, Naresh M. Patel, E. Pitel; European Journal of Operational Research; Volume 126, Issue 2, pp.273–287; October, 2000
Optimising bandwidth of ABR sources: Madhu D. K. Bhabuta , Peter G. Harrison; Computer Networks; Volume 34, Issue 1, pp.115–128; Elsevier Science Bv; July, 2000
A Probabilistic Dynamic Technique for the Distributed Generation of Very Large State Spaces: William J. Knottenbelt, Peter G. Harrison, Mark Mestern, Pieter Kritzinger; Performance Evaluation; Volume 39, Issues 1–4, pp.127–148; Elsevier; February, 2000
SPADES - a Process Algebra for Discrete Event Simulation: Peter G. Harrison, Ben Strulo; Journal of Logic and Computation; Volume 10, Issue 1, pp.3–42; Oxford University Press; January, 2000
Teaching M/G/1 theory with extension to priority queues: Peter G. Harrison; IEE Proceedings - Computers and Digital Techniques; Volume 147, Issue 1, pp.23–26; January, 2000
Sojourn Times in a Random Queue With and Without Preemption: A. J. Field, Peter G. Harrison; European Journal of Operational Research; Volume 112, pp.646–653; February, 1999
Automatic Generation of Verifiable Cache Coherence Simulation Models from High-level Specifications: A. J. Field, Peter G. Harrison, K. Kanani; Australian Computer Science Communications; Volume 20, Issue 3, pp.261–275; 1998
Asymptotic properties of queuing networks: Sergio Coury, Peter G. Harrison; IEE Proceedings - Computers and Digital Techniques; Volume 144, Issue 5, pp.249–254; IEE; September, 1997
Waiting time distribution in a class of discrete-time cyclic service multi-queue systems: Sergio Coury, Peter G. Harrison; Perform. Eval.; Volume 29, Issue 4, pp.223–243; May, 1997
Rendering Radiosity Solutions by Adaptive Gathering: Adrian Chung, A. J. Field; Journal of Graphics Tools; Volume 2, Issue 2, pp.31–44; 1997
Stochastic Model of Cache Coherency Overhead in SCI Rings: A. J. Field, Peter G. Harrison; IEE Proceedings - Computers and Digital Techniques; Volume 144, Issue 3, pp.175–186; 1997
Modelling and validation of shared memory coherency protocols: Andrew Bennett, A. J. Field, Peter G. Harrison; Performance Evaluation; Volume 27, pp.541–563; Elsevier; October, 1996
Countless Simson Line Configurations: Christopher J. Bradley, Jeremy T. Bradley; The Mathematical Gazette; Volume 80, Issue 488, pp.314–321; July, 1996
The M/G/1 queue with negative customers: Peter G. Harrison, E. Pitel; Advances in Applied Probability; Volume 28, pp.540–566; June, 1996
Capacity planning in client-server systems: Tim Foxon, Mike Garth, Peter G. Harrison; Distributed Systems Engineering; Volume 3, Issue 1, pp.32–38; IOP; March, 1996
Parallelism via homomorphisms: Zully N. Grant-Duff, Peter G. Harrison; Parallel Processing Letters; Volume 6, Issue 2, pp.279–295; January, 1996
Performance analysis of buffered banyan ATM switch architectures: Demetres D. Kouvatsos, J. Wilkinson, Peter G. Harrison, Madhu D. K. Bhabuta; ATM networks: performance modelling and evaluation; Volume 2, pp.287–323; Chapman & Hall; 1996
On the Breathers of a¹_n Affine Toda Field Theory: Uli Harder, Alexander Iskandar, William McGhee; International Journal of Modern Physics A; Volume 10, Issue 13, pp.1879–1904; World Scientific; May, 1995
Response time distributions in tandem G-networks: Peter G. Harrison, E. Pitel; Journal of Applied Probability; Volume 32, Issue 1, pp.224–246; March, 1995
Transformation of polynomial evaluation to a pipeline via Horner's rule: Peter G. Harrison, R. Lyndon While; Science of Computer Programming; Volume 24, Issue 1, pp.83–95; Elsevier Science Bv; February, 1995
Exploiting Quasi-reversible Structures in Markovian Process Algebra Models: Peter G. Harrison, Jane Hillston; The Computer Journal; Volume 38, Issue 7, pp.510–520; Oxford University Press; 1995
An approximate analysis of asynchronous, packet-switched buffered Banyan networks with blocking: Peter G. Harrison, Afonso de C. Pinto; Performance Evaluation; Volume 19, Issue 3, pp.223–258; Elsevier; March, 1994
Sojourn Times in Single-Server Queues with Negative Customers: Peter G. Harrison, E. Pitel; Journal of Applied Probability; Volume 30, Issue 4, pp.943–963; December, 1993
Pipelines for Divide-and-Conquer Functions: I. P. de Guzmán, Peter G. Harrison, E. Medina; The Computer Journal; Volume 36, Issue 3, pp.254–268; Oxford University Press; 1993
A Higher-Order Approach to Parallel Algorithms: Peter G. Harrison; The Computer Journal; Volume 35, Issue 6, pp.555–566; Oxford Journals; December, 1992
The mechanical transformation of data types: Peter G. Harrison, Hessam Khoshnevisan; The Computer Journal; Volume 35, Issue 2, pp.138–147; Oxford Journals; April, 1992
On the synthesis of function inverses: Peter G. Harrison, Hessam Khoshnevisan; Acta Informatica; Volume 29, Issue 3, pp.211–239; Springer Verlag; March, 1992
A new approach to recursion removal: Peter G. Harrison, Hessam Khoshnevisan; Theoretical Computer Science; Volume 93, Issue 1, pp.91–113; Elsevier; February, 1992
Fixed point model for adaptive token passing bus protocol: Peter G. Harrison, F. Naraghi; IEE Proceedings - Computers and Digital Techniques; Volume 139, Issue 1, pp.50–58; IEE/IOP/BCS; January, 1992
On the expansion of non-linear functions: Peter G. Harrison; Acta Informatica; Volume 28, Issue 6, pp.559–574; Springer-Verlag; September, 1991
Analytic models for multistage interconnection networks: Peter G. Harrison; Journal of Parallel and Distributed Computing; Volume 12, Issue 4, pp.357–369; Elsevier; August, 1991
On nonuniform packet switched delta networks and the hot-spot effect: Peter G. Harrison; IEE Proceedings - Computers and Digital Techniques; Volume 138, Issue 3, pp.123–130; May, 1991
The Representation of Multistage Interconnection Networks in Queueing Models of Parallel Systems: Peter G. Harrison, Naresh M. Patel; Journal of the ACM; Volume 37, Issue 4, pp.863–898; ACM Press; October, 1990
Laplace Transform Inversion and Passage-Time Distributions in Markov Processes: Peter G. Harrison; Journal of Applied Probability; Volume 27, Issue 1, pp.74–87; Applied Probability Trust; March, 1990
Algebraic transformation techniques for functional languages: Peter G. Harrison, Hessam Khoshnevisan; The Computer Journal; Volume 31, Issue 3, pp.229–242; Oxford Journals; June, 1988
Linearisation: An optimisation for nonlinear functional programs: Peter G. Harrison; Science of Computer Programming; Volume 10, Issue 3, pp.281–318; Elsevier; June, 1988
An Enhanced Approximation by Pair-Wise Analysis of Servers for Time Delay Distributions in Queueing Networks: Peter G. Harrison; IEEE Transactions on Computers; Volume 35, Issue 1, pp.54–61; IEEE Computer Society Press; January, 1986
Functional Programming using FP: Peter G. Harrison, Hessam Khoshnevisan; Byte; Volume 10, Issue 8, pp.219–234; August, 1985
On normalizing constants in queueing-networks: Peter G. Harrison; Operations Research; Volume 33, Issue 2, pp.464–468; INFORMS; March, 1985
An analytic model for flow-control schemes in communication-network nodes: Peter G. Harrison; IEEE Transactions on Communications; Volume 32, Issue 9, pp.1013–1019; September, 1984
A note on cycle times in tree-like queueing systems: Peter G. Harrison; Advances in Applied Probability; Volume 16, pp.216–219; Applied Probability Trust; January, 1984
The Distribution of Cycle Times in Tree-Like Networks of Queues: Peter G. Harrison; The Computer Journal; Volume 27, Issue 1, pp.27–36; Oxford Journals; 1984
Convergent discrete form for the time-delay distributions in networks of queues: Peter G. Harrison; Computer Performance; Volume 3, Issue 3, pp.167–175; 1982
Efficient Storage Management for Functional Languages: Peter G. Harrison; The Computer Journal; Volume 25, Issue 2, pp.264–271; Oxford Journals; 1982
Efficient table-driven implementation of the finite state machine: Peter G. Harrison; Journal of Systems and Software; Volume 2, Issue 3, pp.201–211; Elsevier; September, 1981
Transient Behaviour of Queueing Networks: Peter G. Harrison; Journal of Applied Probability; Volume 18, pp.482–490; 1981
System conventions for non procedural languages: R Haskell, Peter G. Harrison; The Computer Journal; Volume 23, Issue 2, pp.132–141; Oxford Journals; 1980

Journal Special Issue Articles

Product-form approximation of queueing networks with phase-type service: Giuliano Casale, Peter G. Harrison, Maria Vigliotti; SIGMETRICS Performance Evaluation Review; Volume 39, Issue 4, p.36; April, 2012
Response Time Distribution of Flash Memory Accesses: Peter G. Harrison, Naresh M. Patel, Soraya Zertal; Performance Evaluation; Volume 67, Issue 4, pp.248–259; Elsevier; 2010
A unified approach to modelling the performance of concurrent systems.: Peter G. Harrison, Catalina Lladó, Ramon Puigjaner; Simulation Modelling Practice and Theory; Volume 17, Issue 9, pp.1445–1456; Elsevier; October, 2009
PIPE2: A Tool for the Performance Evaluation of Generalised Stochastic Petri Nets: Nicholas J. Dingle, William J. Knottenbelt, Tamas Suto; Special Issue on Tools for Computer Performance Modelling and Reliability Analysis; Volume 36, Issue 4, pp.34–39; ACM SIGMETRICS Performance Evaluation Review, ACM Press; March, 2009
An Approximate Compositional Approach to the Analysis of Fluid Queue Networks: A. J. Field, Peter G. Harrison; Performance Evaluation; Volume 64, Issues 9–12, pp.1137–1152; Elsevier; October, 2007

Electronic Journal Articles

Automated Customer-Centric Performance Analysis of Generalised Stochastic Petri Nets Using Tagged Tokens: Nicholas J. Dingle, William J. Knottenbelt; Volume 232, pp.75–88; Electronic Notes in Theoretical Computer Science; March, 2009
Bus Modelling in Zoned Disks RAID Storage Systems: Peter G. Harrison, Soraya Zertal; PASM 2008. Proceedings of the Third International Workshop on the Practical Application of Stochastic Modelling, Palma-de-Mallorca, September 2008; Volume 232, pp.5–16; Electronic Notes in Theoretical Computer Science, Elsevier; March, 2009

Conference and Workshop Papers

Analysing and Predicting Patient Arrival Times in Hospitals using Hidden Markov Models: Tiberiu Chis, Peter G. Harrison; 28th International Symposium on Computer and Information Sciences (ISCIS '13); Lecture Notes in Engineering and Computer Science, Springer; To appear October, 2013
iSWoM: The incremental Storage Workload Model using Hidden Markov Models: Tiberiu Chis, Peter G. Harrison; 20th International Conference on Analytical and Stochastic Modelling Techniques and Applications (ASMTA '13); Lecture Notes in Computer Science, Springer; To appear July, 2013
Journey data based arrival forecasting for bicycle hire schemes: Marcel C. Guenther, Jeremy T. Bradley; 20th International Conference on Analytical & Stochastic Modelling Techniques & Applications (ASTMA'13); Lecture Notes in Computer Science, Springer; To appear 2013
Mean-field Analysis of Data Flows in Wireless Sensor Networks: Marcel C. Guenther, Jeremy T. Bradley; ICPE'13: Fourth Joint WOSP/SIPEW International Conference on Performance Engineering; 2013
Deriving the rate equations characterising product-form models and application to propagating synchronisations: Peter G. Harrison, Andrea Marin; 6th International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS 2012); IEEE; October, 2012
Collecting battery data with Open Battery: Gareth Jones, Peter G. Harrison; Imperial College Computing Student Workshop (ICCSW 2012); Schloss Dagstuhl; September, 2012
Incremental HMM with an improved Baum-Welch Algorithm: Tiberiu Chis, Peter G. Harrison; September, 2012
Mean field for performance models with deterministically-timed transitions: Richard Hayden; 9th International Conference on Quantitative Evaluation of Systems (QEST 2012); 2012
Specification and efficient computation of passage-time distributions in GPA: Matej Kohut, Anton Stefanek, Richard Hayden, Jeremy T. Bradley; 9th International Conference on Quantitative Evaluation of Systems (QEST 2012); 2012
Moment closures for performance models with highly non-linear rates: Marcel C. Guenther, Anton Stefanek, Jeremy T. Bradley; EPEW 2012, 9th European Performance Engineering Workshop; 2012
Controlling Variability in Split-Merge Systems: Iryna Tsimashenka, William J. Knottenbelt, Peter G. Harrison; Analytical and Stochastic Modeling Techniques and Applications (ASMTA 2012); Springer; June, 2012
Mean-field analysis of Markov models with reward feedback: Anton Stefanek, Richard Hayden, Marc Mac Gonagle, Jeremy T. Bradley; ASMTA 2012, 19th International Conference on Analytic and Stochastic Modelling Techniques and Applications; Lecture Notes in Computer Science, Springer Verlag; 2012
A Class of Tractable Models for Run-Time Performance Evaluation: Giuliano Casale, Peter G. Harrison; 3rd ACM/SPEC International Conference on Performance Engineering (ICPE 2012); April, 2012
Automatic Synchronisation Detection in Petri Net Performance Models Derived from Location Tracking Data: Nikolas Anastasiou, William J. Knottenbelt, Andrea Marin; 8th European Performance Engineering Workshop (EPEW 2011); October, 2011
GPA - A tool for fluid scalability analysis of massively parallel systems: Anton Stefanek, Richard Hayden, Jeremy T. Bradley; QEST'11, 8th International Conference on Quantitative Evaluation of Systems; pp.147–148; IEEE; October, 2011
Higher moment analysis of a spatial stochastic process algebra: Marcel C. Guenther, Jeremy T. Bradley; EPEW 2011, 8th European Performance Engineering Workshop; Volume 6977, pp.87–101; Lecture Notes in Computer Science, Springer; October, 2011
A PMIF with Petri Net Building Blocks: Catalina Lladó, Peter G. Harrison; ICPE '11 Proceeding of the second joint WOSP/SIPEW international conference on Performance engineering; ACM; September, 2011
Fluid Queue Models of Battery Life: Gareth Jones, Peter G. Harrison, Uli Harder, A. J. Field; IEEE 19th International Symposium on Modelling, Analysis & Simulation of Computer and Telecommunication Systems (MASCOTS 2011); July, 2011
The Effect of Private Valuation on E-Auction Revenues: Timothy Leung, William J. Knottenbelt; Digital Enterprise and Information Systems (DEIS 2011); July, 2011
Data Allocation Strategies for the Management of Quality of Service in Virtualised Storage Systems: Felipe Franciosi, William J. Knottenbelt; IEEE Conference on Mass Storage Systems and Technologies (MSST 2011); pp.1–6; May, 2011
Deriving Generalised Stochastic Petri Net performance models from high-precision location tracking data: Nikolas Anastasiou, Tzu-Ching Horng, William J. Knottenbelt; Fifth International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS 2011); May, 2011
Fluid analysis of energy consumption using rewards in massively parallel Markov models: Anton Stefanek, Richard Hayden, Jeremy T. Bradley; ICPE 2011, 2nd ACM/SPEC International Conference on Performance Engineering, March 14-16, 2011, Karlsruhe, Germany; pp.121–131; ACM; March, 2011
LocTrackJINQS: An Extensible Location-aware Simulation Tool for Multiclass Queueing Networks: Tzu-Ching Horng, Nikolas Anastasiou, A. J. Field, William J. Knottenbelt; Electronic Notes in Theoretical Computer Science; Volume 275, Issue 27, pp.93–104; March, 2011
Stochastic Modelling and Optimisation of Internet Auction Processes: Timothy Leung, William J. Knottenbelt; Fifth International Workshop on the Practical Application of Stochastic Modelling (PASM); Electronic Notes in Theoretical Computer Science; March, 2011
Global B2C and C2C Online Auction Models: Timothy Leung, William J. Knottenbelt; Annual Conference on Innovations in Business & Management; January, 2011
GPU-Enabled Steady-State Solution of Large Markov Models: Bruno Magalhaes, Nicholas J. Dingle, William J. Knottenbelt; 6th International Workshop on the Numerical Solution of Markov Chains (NSMC'10); pp.63–66; September, 2010
Product-Form Approximation of Tandem Queues via Matrix Geometric Methods: Giuliano Casale, Peter G. Harrison, Maria Vigliotti; 6th International Workshop on the Numerical Solution of Markov Chains (NSMC 2010); September, 2010
Semi-Product-Form Solution for Models with State-Dependent Rates: Nigel Thomas, Andrea Marin, Peter G. Harrison; 9th Workshop on Process Algebra and Stochastically Timed Activities (PASTA 2010); September, 2010
State-dependent rates and semi-product-form via the reversed process: Nigel Thomas, Peter G. Harrison; European Performance Engineering Workshop (EPEW 2010); Lecture Notes in Computer Science, Springer-Verlag; September, 2010
A Unifying Approach to Product-forms in Networks with Finite Capacity Constraints: Simonetta Balsamo, Peter G. Harrison, Andrea Marin; ACM Sigmetrics 2010; pp.25–36; ACM SIGMETRICS Performance Evaluation Review, ACM; June, 2010
A new tool for the performance analysis of massively parallel computer systems: Anton Stefanek, Richard Hayden, Jeremy T. Bradley; Eighth Workshop on Quantitative Aspects of Programming Languages (QAPL 2010), March 27-28, 2010, Paphos, Cyprus; Volume 28, pp.159–181; Electronic Proceedings in Theoretical Computer Science; March, 2010
A general result for deriving product-form solutions in Markovian models: Andrea Marin, Maria Vigliotti; First Joint WOSP/SIPEW International; ACM International Conference Proceedings, ACM; 2010
A Markovian Futures Market for Computing Power: Fernando Martinez Ortuno, Peter G. Harrison, Uli Harder; WOSP/SIPEW; January, 2010
CoBiC: Context-dependent Bioambient Calculus: Luca Borlolussi, Maria Vigliotti; international Workshop on Quantitative Aspects of Programming Languages; Volume 253, pp.187–201; Electronic Notes in Theoretical Computer Science, Elsevier; 2009
Data Placement And Migration Strategies For Virtualised Data Storage Systems: Henry Bond, Nicholas J. Dingle, Felipe Franciosi, Peter G. Harrison, William J. Knottenbelt; 23rd Annual European Simulation and Modelling Conference (ESM 2009); October, 2009
Response time distributions and network perturbation into product-form: Peter G. Harrison, Maria Vigliotti; 4th International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS 2009).; October, 2009
Using Bulk Arrivals to Model I/O Request Response Time Distributions in Zoned Disks and RAID Systems: Abigail Lebrecht, Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt, Soraya Zertal; 4th International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS 2009); October, 2009
A Performance Model of Zoned Disk Drives with I/O Request Reordering: Abigail Lebrecht, Nicholas J. Dingle, William J. Knottenbelt; 6th International Conference on Quantitative Evaluation of Systems (QEST 2009); pp.97–106; September, 2009
PageRank: Splitting Homogeneous Singular Linear Systems of Index One: Douglas de Jager, Jeremy T. Bradley; ICTIR'09, 2nd International Conference on the Theory of Information Retrieval; Volume 5766, pp.17–28; Lecture Notes in Computer Science, Springer Verlag; September, 2009
Shared Transaction Markov Chains for Fluid Analysis of Massively Parallel Systems: Richard Hayden, Jeremy T. Bradley; MASCOTS '09, 17th Annual Meeting of the IEEE International Symposium on Modelling, Analysis and Simulation of Computer and Telecommunication Systems; IEEE Computer Society; September, 2009
A likelihood based framework for assessing network evolution models tested on real network data: Richard Clegg, Raul Landa, Miguel Rio, Uli Harder; Workshop on Simplifying Complex Network for Practitioners; pp.1–6; ACM; July, 2009
A more realistic Peer-to-Peer Grid Market Model: Uli Harder, Fernando Martinez Ortuno; EPEW'09, 6th European Performance Engineering Workshop Imperial College London, 9-10 July; Volume 5652; Lecture Notes in Computer Science, Springer-Verlag; July, 2009
Modelling Zoned RAID Systems using Fork-Join Queueing Simulation: Abigail Lebrecht, Nicholas J. Dingle, William J. Knottenbelt; 6th European Performance Engineering Workshop (EPEW 2009); Volume 5652, pp.16–29; Lecture Notes in Computer Science, Springer Verlag; July, 2009
Aggregation strategies for large semi-Markov processes: Marcel C. Guenther, Nicholas J. Dingle, Jeremy T. Bradley, William J. Knottenbelt; 3rd International Symposium on Semi-Markov Models: Theory and Applications; June, 2009
From X to Pi: Representing Classical Sequent Calculus in Pi-calculus: Luca Cardelli, Steffen van Bakel, Maria Vigliotti; International Workshop on Classical Logic and Computation (CL&C'08); 2009
Towards The Automated Inference Of Queueing Network Models From High-Precision Location Tracking Data: Nicholas J. Dingle, Adam Jackson, William J. Knottenbelt; 23rd European Conference on Modelling and Simulation (ECMS 2009); pp.664–674; June, 2009
Towards a QoS-aware Virtualised Storage System: Felipe Franciosi, William J. Knottenbelt; UKPEW 2009; pp.56–67; April, 2009
Node-level Architecture Design and Simulation of the MAGOG Grid Middleware: Jeremy Cohen, Colin Richardson, Uli Harder, Fernando Martinez Ortuno, John Darlington; Conferences in Research and Practice in Information Technology; Volume 99, pp.57–66; Australian Computer Society; January, 2009
Fluid level in a reservoir with an on-off source: Varun Gupta, Peter G. Harrison; 10th workshop on mathematical performance modeling and analysis (MAMA 2008); Volume 36, Issue 2, pp.128–130; Performance Evaluation Review, ACM; December, 2008
Fluid semantics for passive stochastic process algebra cooperation: Richard Hayden, Jeremy T. Bradley; VALUETOOLS'08, 3rd International Conference on Performance Evaluation Methodologies and Tools; ACM; October, 2008
Safety and Response-Time Analysis of an Automotive Accident Assistance Service: Ashok Argent-Katwala, Allan Clark, Howard Foster, Stephen Gilmore, Philip Mayer, Mirco Tribastone; ISOLA'08, 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation; Volume 17, Issue 6, pp.191–205; Communications in Computer and Information Science, Springer; October, 2008
Service Level Agreement Specification, Compliance Prediction And Monitoring With Performance Trees: Nicholas J. Dingle, William J. Knottenbelt, Lei Wang; 22nd Annual European Simulation and Modelling Conference (ESM'08); pp.137–144; October, 2008
Simulation And Modelling Of RAID 0 System Performance: Francis Wan, Nicholas J. Dingle, William J. Knottenbelt, Abigail Lebrecht; 22nd Annual European Simulation and Modelling Conference (ESM'08); pp.145–149; October, 2008
A Parallel and Distributed Analysis Pipeline for Performance Tree Evaluation: Darren K. Brien, Nicholas J. Dingle, William J. Knottenbelt, Harini Kulatunga, Tamas Suto; QEST'08, 5th International Conference on the Quantitative Evaluation of Systems; pp.237–238; IEEE Computer Society; September, 2008
A Ticking Clock: Performance Analysis of a Circadian Rhythm with Stochastic Process Algebra: Jeremy T. Bradley; EPEW'08, 5th European Performance Evaluation Workshop; Volume 5261, pp.79–94; Lecture Notes in Computer Science, Springer Verlag; September, 2008
Automated Customer-Centric Performance Analysis of Generalised Stochastic Petri Nets Using Tagged Tokens: Nicholas J. Dingle, William J. Knottenbelt; Third International Workshop on Practical Applications of Stochastic Modelling (PASM'08), Palma de Mallorca, Spain; September, 2008
Modelling and Validation of Response Times in Zoned RAID: Abigail Lebrecht, Nicholas J. Dingle, William J. Knottenbelt; 16th Annual Meeting of the IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS); September, 2008
Natural Language Specification of Performance Trees: Lei Wang, Nicholas J. Dingle, William J. Knottenbelt; 5th European Performance Engineering Workshop (EPEW 2008); Issue 5261, pp.141–151; Lecture Notes in Computer Science; September, 2008
Distributed Response Time Analysis of GSPN Models with MapReduce: Oliver Haggarty, William J. Knottenbelt, Jeremy T. Bradley; SPECTS'08, International Symposium on Performance Evaluation of Computer and Telecommunication Systems, Edinburgh, 16-18 June 2008; pp.82–90; SCS; 2008
Parallelization of a Simulation of a peer to peer market for Grid Computing: Fernando Martinez Ortuno; 24th UK Performance Engineering Workshop (UKPEW 2008); July, 2008
A Response Time Distribution Model for Zoned RAID: Abigail Lebrecht, Nicholas J. Dingle, William J. Knottenbelt; The 15th International Conference on Analytical and Stochastic Modelling Techniques and Applications (ASMTA '08); pp.144–157; Lecture Notes in Computer Science; June, 2008
BAM: BioAmbient Machine: Vinod Muganthan, Andrew Phillips, Maria Vigliotti; 8th International Conference on Application of Concurrency to System (ACDS'08); IEEE Computer Society Press, IEEE; 2008
Extracting Response Times from Fluid Analysis of Performance Models: Jeremy T. Bradley, Richard Hayden, William J. Knottenbelt, Tamas Suto; SIPEW'08, SPEC International Performance Evaluation Workshop, Darmstadt, 27-28 June 2008; Volume 5119, pp.29–43; Lecture Notes in Computer Science, Springer; June, 2008
Non-linear seek distance for optimal accuracy of zoned disks seek time in Multi-RAID storage systems: Soraya Zertal, Peter G. Harrison; High Performance Computing & Simulation Conference (HPCS 2008); June, 2008
Response time distributions via reversed processes.: Peter G. Harrison, Maria Vigliotti; Imperial College; Imperial College; 2008
Simulation of a peer to peer market for Grid Computing: Uli Harder, Fernando Martinez Ortuno; The 15th International Conference on ANALYTICAL and STOCHASTIC MODELLING TECHNIQUES and APPLICATIONS, ASMTA 2008; Volume 5055, pp.234–248; Lecture Notes in Computer Science, Springer-Verlag; 2008
Performance Trees: Implementation And Distributed Evaluation: Darren K. Brien, Nicholas J. Dingle, William J. Knottenbelt, Harini Kulatunga, Tamas Suto; PDMC'08, 7th International Workshop on Parallel and Distributed Methods in Verification; March, 2008
Machine learned regression for abductive DNA sequencing: David Thornley, Maxim Zverev, Stavros Petridis; The 2007 International Conference on Machine Learning and Applications; IEEE; December, 2007
Continuous PEPA Queues: Individual behaviour in continuous queueing networks: Ashok Argent-Katwala, Jeremy T. Bradley; VALUETOOLS'07, 2nd International Conference on Performance Evaluation Methodologies and Tools, Nantes, 23-25 October 2007; Issue 54; ACM Press; November, 2007
Location-Aware Quality of Service Measurements for Service-Level Agreements: Ashok Argent-Katwala, Jeremy T. Bradley, Allan Clark, Stephen Gilmore; TGC'07, Trustworthy Global Computing; Volume 4912, pp.222–239; Lecture Notes in Computer Science, Springer; November, 2007
Novel anisotropic multidimensional convolutional filters for derivative estimation and reconstruction: David Thornley; Proceedings of The 2007 IEEE International Conference on Signal Processing and Communications (ICSPC 2007); November, 2007
An Integrated Analytical Model for Computation and Comparison of the Throughputs of the UMTS/HSDPA User Equipment Categories: Tien Van Do, Ram Chakka, Peter G. Harrison; MSWiM 2007, Proceedings of the 10th ACM Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, Crete, October 22-26, 2007; pp.45–51; ACM; October, 2007
Approximate Queueing Network Analysis of Patient Treatment Times: Susanna Wau Men Au-Yeung, Peter G. Harrison, William J. Knottenbelt; 2nd International Conference on Performance Evaluation Methodologies and Tools; October, 2007
Note on a simple type system for non-interference.: Steffen van Bakel, Maria Vigliotti; Nordic Workshop on Programming Theory (NWPT'07), Oslo, October 10-12, 2007.; 2007
Cluster Grid based Response-time Analysis Module for the PIPE Tool: Harini Kulatunga, Ashok Argent-Katwala, William J. Knottenbelt; QEST 2007, 4th International Conference on the Quantitative Evaluation of Systems; pp.51–52; IEEE Computer Society; September, 2007
PEPA Queues: Capturing customer behaviour in queueing networks: Ashok Argent-Katwala, Jeremy T. Bradley; QAPL'07, 5th Workshop on Quantitative Aspects of Programming Languages; Volume 190, Issue 3, pp.3–25; Electronic Notes in Theoretical Computer Science, Elsevier; September, 2007
Performance Trees: Expressiveness And Quantitative Semantics: Tamas Suto, Jeremy T. Bradley, William J. Knottenbelt; QEST'07, 4th International Conference on the Quantitative Evaluation of Systems; pp.41–50; IEEE Computer Society; September, 2007
Performance of a Priority-Weighted Round Robin Mechanism for Differentiated Service Networks: Yu Zhang, Peter G. Harrison; International Workshop on Performance Modeling and Evaluation in Computer and Telecommunication Networks (PMECT07) in conjunction with IEEE ICCCN2007.; IEEE; August, 2007
Decoding Trace Peak Behaviour - A Neuro-Fuzzy Approach: David Thornley, Stavros Petridis; IEEE International Conference on Fuzzy Systems; July, 2007
Approximate Analysis of a Network of Fluid Queues: A. J. Field, Peter G. Harrison; Workshop on Mathematical performance Modeling and Analysis (MAMA 2007); Volume 35, Issue 2, pp.30–32; Performance Evaluation Review, ACM; June, 2007
Asynchronous Iterative Solution for State-Based Performance Metrics: Douglas de Jager, Jeremy T. Bradley; SIGMETRICS'07, ACM SIGMETRICS Conference on Measurement and Modeling of Computer Systems. 12-16 June, San Diego.; pp.373–374; ACM Press; June, 2007
Multi-RAID Queueing Model with Zoned Disks: Soraya Zertal, Peter G. Harrison; 2007 High Performance Computing & Simulation Conference (HPCS 2007) June 4 - 6, 2007 Prague, Czech Republic; June, 2007
Stochastic Ambient Logic: Maria Vigliotti; international Workshop on Quantitative Aspects of Programming Languages (QAPL'07); 2007
Stochastic Ambient Calculus: Maria Vigliotti, Peter G. Harrison; International Workshop on Quantitative Aspects of Programming Languages (QAPL'06); Volume 164, pp.169–186; ENTCS, Elsevier; 2006
Worst-case Analysis of Router Networks with Rival Queueing Models: Nalan Gulpinar, Peter G. Harrison, Berc Rustem; 21st International Symposium on Computer and Information Sciences (ISCIS 2006), Istanbul, Turkey; Volume 4263, pp.897–907; Lecture Notes in Computer Science, Springer-Verlag; November, 2006
A General Performance Model Interchange Format: Peter G. Harrison, Catalina Lladó, Ramon Puigjaner; 1st International Conference on Performance Evaluation Methodologies and Tools (Valuetools 2006), Pisa, Italy; Volume 180; ACM International Conference Proceedings, ACM; October, 2006
A Queueing Network Model of Patient Flow in an Accident and Emergency Department: Susanna Wau Men Au-Yeung, Peter G. Harrison, William J. Knottenbelt; 20th Annual European and Simulation Modelling Conference; pp.60–67; October, 2006
Automated product-forms with Meercat: Ashok Argent-Katwala; SMCtools 2006, Tools for solving Structured Markov Chains; Volume 201, Issue 10; ACM International Conference Proceedings, ACM; October, 2006
Optimization of a Tandem Router Network Using a Fluid Model: Nalan Gulpinar, Peter G. Harrison; 9th ACM/IEEE International Symposium on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWiM 2006), Terromolinos, Spain. 2-6 October, 2006; pp.199–206; ACM; October, 2006
Exploring accuracy and correctness in solution to matrix polynomial equations in queues: David Thornley, Harf Zatschler; QEST 2006; September, 2006
Machine Learning in Basecalling - Decoding trace peak behaviour: David Thornley, Stavros Petridis; IEEE Symposium on Computational Intelligence in Bioinformatics and Computational Biology 2006; September, 2006
Performance Trees: A New Approach To Quantitative Performance Specification: Tamas Suto, Jeremy T. Bradley, William J. Knottenbelt; MASCOTS'06, 14th International Symposium on Modelling, Analysis, and Simulation of Computer and Telecommunication Systems; pp.303–313; IEEE Computer Society; September, 2006
Space-Time Block Coding: Joint Detection and Channel Estimation using Multiple Model Theory: Harini Kulatunga, Visakan Kadirkamanathan; IEEE Workshop on Signal Processing Advances in Wireless Communications; IEEE Signal Processing Society; July, 2006
A tandem network of fluid queues with on-off arrivals: Peter G. Harrison, P. M. Lonsdale; 5th Workshop on Process Algebra and Stochastically Timed Activities 2006 (PASTA 2006); June, 2006
Expanding The Boundaries Of Performance Requirement Representation With Performance Trees: Tamas Suto; PASTA'06, 5th Workshop on Process Algebra and Stochastically Timed Activities; Imperial College London, Department of Computing; June, 2006
Functional Performance Specification with Stochastic Probes: Ashok Argent-Katwala, Jeremy T. Bradley; EPEW'06, 3rd European Performance Evaluation Workshop; Volume 4054, pp.31–46; Lecture Notes in Computer Science, Springer; June, 2006
Modelling along the DNA template in the Sanger method: inhibition through competition and form: David Thornley; Process Algebra and Stochastically Timed Activities 2006; June, 2006
Observing Internet Worm and Virus Attacks with a Small Network Telescope: Uli Harder, Matthew Johnson, Jeremy T. Bradley, William J. Knottenbelt; PASM 2005, 2nd International Workshop on the Practical Application of Stochastic Modelling; Volume 151, Issue 3, pp.47–59; Electronic Notes in Theoretical Computer Science, Elsevier; June, 2006
Performance Optimization of a Tandem Router Network Using a Fluid Model: Nalan Gulpinar, Peter G. Harrison, Berc Rustem, Louis-François Pau; International MultiConference of Engineers and Computer Scientists 2006, (IMECS'06), June 20-22, 2006, Hong Kong; p.986; Lecture Notes in Engineering and Computer Science; June, 2006
Process algebraic non-product-forms: Peter G. Harrison; Practical Aspects of Stochastic Modelling (PASM'05), Newcastle, July 2005; Volume 151, Issue 3, pp.61–76; Electronic Notes in Theoretical Computer Science, Elsevier; June, 2006
Stochastic simulation methods applied to a secure electronic voting model: Jeremy T. Bradley, Stephen Gilmore; PASM 2005, 2nd International Workshop on the Practical Application of Stochastic Modelling; Volume 151, Issue 3, pp.5–25; Electronic Notes in Theoretical Computer Science, Elsevier; June, 2006
Visualising Dynamic Memory Allocators: Andrew Cheadle, A. J. Field, J.W. Ayres, N. Dunn, Richard Hayden, J. Nystrom-Persson; ISMM'06, ACM International Symposium on Memory Management; pp.115–125; ACM Press; June, 2006
Performance analysis of Stochastic Process Algebra models using Stochastic Simulation: Jeremy T. Bradley, Stephen Gilmore, Nigel Thomas; PMEO-PDS'06, Proceedings of Performance Modelling, Evaluation and Optimization of Parallel and Distributed Systems; p.321; IEEE Computer Society Press; April, 2006
Performance Optimization of Mean Response Time in a Tandem Router Network with Batch Arrivals: Nalan Gulpinar, Peter G. Harrison, Berc Rustem, Louis-François Pau; 10th IEEE/IFIP Network Operations and Management Symposium, 2006 (NOMS 2006); April, 2006
Parallel Visualization using the Domain-Specific Interpreter Pattern: Karen Osmond, Olav Beckmann, A. J. Field, Paul Kelly; CPC 2006. Workshop on Compilers for Parallel Computers; January, 2006
Delay Analysis of Priority Queues with Modulated Traffic: Peter G. Harrison, Yu Zhang; MASCOTS 2005, IEEE International Symposium on Modelling, Analysis, and Simulation of Computer and Telecommunication Systems; pp.280–287; IEEE Computer Society Press; September, 2005
GRAIL: Grid-Enabled Performance Analysis Using Stochastic Logics: Tamas Suto; PASTA'05, 4th Workshop on Process Algebra and Stochastically Timed Activities; University of Edinburgh; September, 2005
Hypergraph Partitioning for Faster Parallel PageRank Computation: Jeremy T. Bradley, Douglas de Jager, William J. Knottenbelt, Aleksandar Trifunovic; EPEW'05, Proceedings of the 2nd European Performance Evaluation Workshop; Volume 3670, pp.155–171; Lecture Notes in Computer Science, Springer-Verlag; September, 2005
Performance Engineering and Stochastic Modelling: Peter G. Harrison; European Performance Engineering Workshop (EPEW 2005) and International Workshop on Web Services and Formal Methods (WS-FM 2005), Versailles, France, September 1-3, 2005; Volume 3670, pp.1–14; Lecture Notes in Computer Science, Springer; September, 2005
Robust Multiuser Detection in Flat Fading Non-Gaussian Channels: Harini Kulatunga, Visakan Kadirkamanathan; IEEE SPAWC 2005; June, 2005
Calibration of a Queueing Model of RAID Systems: Peter G. Harrison, Soraya Zertal; PASM 2004, 1st International Workshop on Practical Applications of Stochastic Modelling; Volume 128, Issue 4, pp.145–164; Electronic Notes in Theoretical Computer Science, Elsevier; April, 2005
Leader Election in Rings of Ambient Processes: Iain Phillips, Maria Vigliotti; Electronic Notes in Theoretical Computer Science; Volume 128, Issue 2, pp.185–199; Elsevier; April, 2005
Optimization of a Tandem M/GI/1 Router Network with Batch Arrivals: Nalan Gulpinar, Peter G. Harrison, Berc Rustem, Louis-François Pau; PMEO-PDS 2005, 4th International Workshop on Performance Modelling, Evaluation, and Optimization of Parallel and Distributed Systems; p.270; IEEE Computer Society Press; April, 2005
Optimising Parallel Pattern-matching by Source-level Program Transformation: R. Lyndon While, A. J. Field; ACSC'05, 28th Australasian Computer Science Conference; Volume 38, pp.239–248; ACM International Conference Proceedings, Australian Computer Society; January, 2005
Hybrid systems approach to adaptive multi-user detection in MIMO CDMA channels: Harini Kulatunga, Visakan Kadirkamanathan; The IMA Conference on Mathematics in Signal Processing VI; December, 2004
Robust equalization using multiple H-infinity filters: Harini Kulatunga, Visakan Kadirkamanathan; The IMA Conference on Mathematics in Signal Processing VI; December, 2004
An optimisation model for a two-node router network: Nalan Gulpinar, Peter G. Harrison, Berc Rustem, Louis-François Pau; 12th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems (MASCOTS 2004), Volendam, Netherlands; pp.147–156; IEEE Computer Soc; October, 2004
Experimental Evaluation of the UML Profile for Schedulability, Performance and Time: Andrew Bennett, A. J. Field, Murray Woodside; UML 2004, 7th International Conference on the Unified Modeling Language; Volume 3273, pp.143–157; Lecture Notes in Computer Science, Springer; October, 2004
Exploring the Barrier to Entry - Incremental Generational Garbage Collection for Haskell: Andrew Cheadle, A. J. Field, Simon Marlow, Simon Peyton Jones, R. Lyndon While; ISSM'04, ACM SIGPLAN International Symposium on Memory Management; pp.163–174; ACM Press; October, 2004
How Synchronisation Strategy Approximation in PEPA Implementations affects Passage Time Performance Results: Jeremy T. Bradley, Stephen Gilmore, Nigel Thomas; EPEW'04, European Performance Evaluation Workshop; Volume 3236, pp.128–142; Lecture Notes in Computer Science, Springer-Verlag; October, 2004
Overcoming Barriers to Restructuring in a Modular Visualisation Environment: Olav Beckmann, A. J. Field, Gerard Gorman, Andrew Huff, Marc Hull, Paul Kelly; LCR 2004. Proceedings of the 7th workshop on Workshop on Languages, Compilers, and Run-time Support for Scalable Systems; Volume 81, pp.110–116; ACM International Conference Proceedings, ACM Press; October, 2004
Parkway 2.0: A Parallel Multilevel Hypergraph Partitioning Tool: Aleksandar Trifunovic, William J. Knottenbelt; 19th International Symposium on Computer and Information Sciences (ISCIS 2004); Volume 3280, pp.789–800; Lecture Notes in Computer Science, Springer-Verlag; October, 2004
Performance Engineering with the UML Profile for Schedulability, Performance and Time: a Case Study: Andrew Bennett, A. J. Field; 12th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems (MASCOTS'04); pp.67–75; IEEE Communications Society; October, 2004
Sojourn time distributions in modulated G-queues with batch processing: Peter G. Harrison, Harf Zatschler; 1st International Conference on Quantitative Evaluation of Systems (QEST) 2004, University of Twente; September, 2004
The ipc/HYDRA Tool Chain for the Analysis of PEPA Models: Jeremy T. Bradley, William J. Knottenbelt; QEST'04, 1st IEEE International Conference on the Quantitative Evaluation of Systems; pp.334–335; IEEE Computer Society Press; September, 2004
A Parallel Algorithm for Multilevel k-way Hypergraph Partitioning: Aleksandar Trifunovic, William J. Knottenbelt; ISPDC 2004, 3rd International Symposium on Parallel and Distributed Computing; pp.114–121; IEEE Computer Society; July, 2004
Towards a Parallel Disk-Based Algorithm for Multilevel k-way Hypergraph Partitioning: Aleksandar Trifunovic, William J. Knottenbelt; 5th Workshop on Parallel and Distributed Scientific and Engineering Computing; 2004
Cross-component restructuring in the MayaVi visualisation pipeline: Olav Beckmann, A. J. Field, Paul Kelly; Compilers for parallel computing (CPC2004), July 2004; 2004
Efficient Approximation of Response Time Densities and Quantiles in Stochastic Models: Susanna Wau Men Au-Yeung, Nicholas J. Dingle, William J. Knottenbelt; 4th ACM Workshop on Software and Performance (WOSP 2004), Redwood City, California, USA, January 2004, pp. 151-155.; January, 2004
Electoral systems in ambient calculi: Iain Phillips, Maria Vigliotti; 7th International Conference on Foundations of Software Science and Computation Structures, Barcelona, Spain; Volume 2987, pp.408–422; Lecture Notes in Computer Science, Springer-Verlag; 2004
Expressing Performance Requirements using Regular Expressions to specify Stochastic Probes over Process Algebra Models: Ashok Argent-Katwala, Jeremy T. Bradley, Nicholas J. Dingle; WOSP'04, 4th International Workshop on Software and Performance; Volume 29, Issue 1, pp.49–58; ACM SIGSOFT Software Engineering Notes, ACM; January, 2004
Multiple models for blind multiuser detection in MIMO DS/CDMA systems: Harini Kulatunga, Visakan Kadirkamanathan; The IEEE Global Communications Conference; Volume 22, Issue 1, pp.2453–2457; IEEE Communications Society; December, 2003
Derivation of Passage-time Densities in PEPA Models using ipc: the Imperial PEPA Compiler: Jeremy T. Bradley, Nicholas J. Dingle, Stephen Gilmore, William J. Knottenbelt; MASCOTS'03, 11th IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunications Systems; pp.344–351; IEEE Computer Society Press; October, 2003
G-networks with Propagating Resets via RCAT: Peter G. Harrison; MAMA 2003, Special issue on the 5th workshop on Mathematical Performance Modeling and Analysis; Volume 31, Issue 2, pp.3–5; ACM SIGMETRICS Performance Evaluation Review, ACM Press; September, 2003
Hypergraph-based Parallel Computation of Passage Time Densities in Large Semi-Markov Models: Jeremy T. Bradley, Nicholas J. Dingle, William J. Knottenbelt, Helen Wilson; NSMC 2003, 4th International Workshop on Numerical Solution of Markov Chains; pp.99–120; September, 2003
Performance Queries on Semi-Markov Stochastic Petri Nets with an Extended Continuous Stochastic Logic: Jeremy T. Bradley, Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt; PNPM 2003, 10th International Workshop on Petri Nets and Performance Models, Urbana IL, USA; pp.62–71; IEEE Computer Society Press; September, 2003
Queueing Models with Maxima of Service Times.: Peter G. Harrison, Soraya Zertal; Lecture Notes in Computer Science; Volume 2794, pp.152–168; September, 2003
Reversed processses, product forms, non-product forms and a new proof of the BCMP theorem: Peter G. Harrison; International Conference on the Numerical Solution of Markov Chains (NSMC 2003), Urbana IL, USA, September 2-5 2003; pp.289–304; September, 2003
Analysis and enhancement of network solutions using geometrically batched traffic: David Thornley, Harf Zatschler; UKPEW'03; July, 2003
An automated formulation of queues with multiple geometric batch processes: David Thornley, Harf Zatschler, Peter G. Harrison; HETNETS'03; July, 2003
A novel approximated joint activity transition structure in a tandem feedback unreliable server queue: David Thornley, Harf Zatschler, Nigel Thomas; UKPEW'03; July, 2003
Exact Aggregation Strategies for Semi-Markov Performance Models: Jeremy T. Bradley, Nicholas J. Dingle, William J. Knottenbelt; SPECTS 2003, International Symposium on Performance Evaluation of Computer and Telecommunication Systems, Montreal, Canada, July 20-24 2003; pp.755–762; SCS; July, 2003
Synchronized negative customers in an unreliable server queue: David Thornley; HETNETS'03; July, 2003
Approximate solution of a class of queueing networks with breakdowns: Nigel Thomas, David Thornley, Harf Zatschler; European Simulation Multiconference, Nottingham; June, 2003
HYDRA: HYpergraph-based Distributed Response-time Analyser: Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt; International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA 2003); pp.215–219; June, 2003
Distributed Computation of Passage Time Quantiles and Transient State Distributions in Large Semi-Markov Models: Jeremy T. Bradley, Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt; PMEO-PDS 2003, International Workshop on Performance Modelling, Evaluation, and Optimization of Parallel and Distributed Systems; p.281; IEEE Computer Society Press; April, 2003
Geometrically batched networks: Peter G. Harrison, David Thornley, Harf Zatschler; 17th International Symposium On Computer and Information Sciences (ISCIS 2002); October, 2002
Network Traffic Behaviour in Switched Ethernet Systems: A. J. Field, Uli Harder, Peter G. Harrison; MASCOTS 2002, 10th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems; pp.32–42; IEEE Computer Society; October, 2002
Studying Sensitivities of an EJB Performance Model: Catalina Lladó, Johannes Lüthi, Peter G. Harrison; MASCOTS'02, 10th IEEE International Symposium on Modelling, Analysis, and Simulation of Computer and Telecommunications Systems; pp.277–280; IEEE Computer Society Press; October, 2002
Barbs and congruences for safe mobile ambients: Maria Vigliotti, Iain Phillips; Electronic Notes in Theoretical Computer Science; Volume 66, Issue 3, pp.37–51; Elsevier; September, 2002
Optimising shared reduction variables in MPI programs: A. J. Field, Paul Kelly, Thomas Hansen; 8th International Euro-Par Conference on Parallel Processing, Paderborn, Germany, 2002; Volume 2400, p.630; Lecture Notes in Computer Science, Springer-Verlag; August, 2002
Queues with simultaneous loss on breakdown: David Thornley; Eighteenth Annual UK Performance Engineering Workshop, University of Glasgow (UKPEW 2002); July, 2002
Response Time Densities in Generalised Stochastic Petri Net Models.: Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt; 3rd International Workshop on Software and Performance (WOSP 2002), Rome, Italy, July 24-26 2002; pp.46–54; July, 2002
Passage Time Distributions in Large Markov Chains: Peter G. Harrison, William J. Knottenbelt; SIGMETRICS'02, ACM SIGMETRICS conference on Measurement and Modeling of Computer Systems; Volume 30, Issue 1, pp.77–85; ACM SIGMETRICS Performance Evaluation Review, ACM Press; June, 2002
A Passage-time Preserving Equivalence for Semi-Markov Processes: Jeremy T. Bradley; TOOLS 2002, Computer Performance Evaluation: Modelling Techniques and Tools; Volume 2324, pp.178–187; Lecture Notes in Computer Science, Springer-Verlag; April, 2002
GILK: A Dynamic Instrumentation Tool for the Linux Kernel: David Pearce, Paul Kelly, A. J. Field, Uli Harder; TOOLS 2002, 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools; Volume 2324, pp.220–226; Lecture Notes in Computer Science, Springer-Verlag; April, 2002
On reduction semantics for the push and pull ambient calculus: Iain Phillips, Maria Vigliotti; 2nd IFIP international conference on theoretical computer science (TCS 2002) held in conjunction with the 17th world computer congress, Montreal, Canada, 2002; pp.550–562; Kluwer Academic Publishers; 2002
Two Solution Methods for Models of Parallel Queues: Nigel Thomas, Jeremy T. Bradley; ESM'01, Fifteenth European Simulation Multiconference; pp.741–745; SCS; July, 2001
Putting Quality of Service into a Network by making the Traffic Markovian: Jeremy T. Bradley, Nigel Thomas; ESM'01, Fifteenth European Simulation Multiconference; pp.746–750; SCS; June, 2001
Non-stop Haskell: Andrew Cheadle, A. J. Field, Simon Marlow, Simon Peyton Jones, R. Lyndon While; ICFP'00, 5th ACM SIGPLAN International Conference on Functional Programming; pp.257–267; ACM Press; September, 2000
Performance evaluation of an enterprise JavaBean server implementation: Catalina Lladó, Peter G. Harrison; WOSP 2000, 2nd International Workshop on Software and Performance; pp.180–188; ACM Press; September, 2000
A Matrix-based Method for Analysing Stochastic Process Algebras: Jeremy T. Bradley, Neil Davies; PAPM'00, 8th International Workshop on Process Algebra and Performance Modelling. ICALP Workshops; pp.579–590; Carleton Scientific; July, 2000
Approximating variance in non-product form decomposed models: Nigel Thomas, Jeremy T. Bradley; PAPM'00, 8th International Workshop on Process Algebra and Performance Modelling. ICALP Workshops.; pp.607–619; Carleton Scientific; July, 2000
Decomposing Models of Parallel Queues: Nigel Thomas, Jeremy T. Bradley; QNETS'00, Fourth International Workshop on Queueing Networks with Finite Capacity; pp.381–388; July, 2000
Performance Evaluation of a Distributed Enterprise Data Mining System: Peter G. Harrison, Catalina Lladó; TOOLS 2000, 11th International Conference for Computer Performance Evaluation. Modelling Techniques and Tools; Volume 1786, pp.117–131; Springer-Verlag; March, 2000
Run-time fusion of MPI calls in a parallel C++ library: A. J. Field, Thomas Hansen, Paul Kelly; LCPC2000, The 13th International Workshop on Languages and Compilers for High-Performance Computing, Yorktown Heights; 2000
Distributed Disk-based Solution Techniques for Large Markov Models: William J. Knottenbelt, Peter G. Harrison; NSMC'99, 3rd International Workshop on the Numerical Solution of Markov Chains; pp.58–75; September, 1999
Parallel Simulation of Plankton Ecology: Samir Al-Battran, A. J. Field, Roger Wiley, John Woods; IASTED 1999 International Conference on Modelling and Simulation; pp.259–263; May, 1999
Response times in G-nets: Peter G. Harrison; 13th International Symposium on Computer and Information Sciences (ISCIS 1998); pp.9–16; October, 1998
Probability, Parallelism and the State Space Exploration Problem: William J. Knottenbelt, Mark Mestern, Peter G. Harrison, Pieter Kritzinger; TOOLS'98, 10th International Conference on Modelling, Techniques and Tools; Volume 1469, pp.165–179; Lecture Notes in Computer Science, Springer Verlag; September, 1998
Response Times in Client-Server Systems: A. J. Field, Peter G. Harrison, Andrew Parry; TOOLS'98, 10th International Conference on Modelling, Techniques and Tools. Palma de Mallorca, Spain, September 1998; Volume 1469, pp.75–92; Lecture Notes in Computer Science, Springer; September, 1998
M-Tree: A Parallel Abstract Data Type for Block-Irregular Adaptive Applications: A. J. Field, Paul Kelly, Qian Wu; EuroPar'97; Springer; 1997
Performance Modelling and Verification of Cache Coherency Protocols using Stochastic Process Algebra: K. Kanani, A. J. Field, Peter G. Harrison; 4th Workshop on Process Algebras and Performance Modelling, 1996.; 1996
An Analytical Model of the Standard Coherent Interface "SCI".: A. J. Field, Peter G. Harrison; 1995 International Conference on Parallel Processing, August 14-18, 1995, Urbana-Champain, Illinois, USA; pp.173–177; August, 1995
A Uniform Memory Access Model of a Distributed Coherent Cache System: A. J. Field, Peter G. Harrison; U.K. Performance Engineering Workshop, September 1994; September, 1994
Transmission Times in Buffered Full-Crossbar Communication Networks with Cyclic Arbitration: A. J. Field, Peter G. Harrison; ICPP'93, IEEE/ACM International Conference on Parallel Processing. 16-20 August 1993, Syracuse University, NY; Volume 1, pp.189–196; IEEE Computer Society; August, 1993
Parallel Programming Using Skeleton Functions: John Darlington, A. J. Field, Peter G. Harrison, Paul Kelly, D W N Sharp, Qiang Wu, R. Lyndon While; PARLE'93, 5th International PARLE Conference on Parallel Architectures and Languages Europe; Volume 694, pp.146–160; Lecture Notes in Computer Science, Springer; June, 1993
Process Algebra for Discrete Event Simulation: Peter G. Harrison, Ben Strulo; QMIPS'93, Qualitative Methods in Parallel Systems, Erlangen; pp.115–142; March, 1993
Transmission Times in Unbuffered Crossbars with Cyclic Arbitration: A. J. Field, Peter G. Harrison; ICPP'92, IEEE/ACM International Conference on Parallel Processing. An Arbor, Michigan, August 17-21, 1992; Volume 1, pp.132–137; August, 1992
Blocking in asynchronous, buffered Banyan networks: Peter G. Harrison, Afonso de C. Pinto; IFIP Trans. C-Commun. Syst.; Volume 5, pp.169–188; North-Holland; September, 1991
A projection model of types: David J Lillie, Peter G. Harrison; 5th ACM conference on Functional programming languages and computer architecture; Volume 523, pp.259–288; Lecture Notes in Computer Science, Springer; August, 1991
Asynchronous Packet-switched Banyan Networks with Blocking: Peter G. Harrison, Afonso de C. Pinto; 7th UK Computer and Telecommunications Performance Engineering Workshop; pp.146–149; Workshops in Computing, Springer; July, 1991
A Functional Programming Environment Supporting Execution, Partial Execution and Transformation: John Darlington, Peter G. Harrison, Hessam Khoshnevisan, Lee McLoughlin, Nigel Perry, Helen Pull, Mike Reeve, Keith Sephton, R. Lyndon While, Sue Wright; PARLE'89 Parallel Architectures and Languages Europe. Volume I. Eindhoven, The Netherlands, June 12-16; Volume 365, pp.286–305; Lecture Notes in Computer Science, Springer; June, 1989
On Hot-spot Contention in Interconnection Networks: Naresh M. Patel, Peter G. Harrison; SIGMETRICS'88, ACM SIGMETRICS conference on Measurement and Modeling of Computer Systems; Volume 16, Issue 1, pp.114–123; ACM SIGMETRICS Performance Evaluation Review, ACM Press; May, 1988
The Representation of Switching Networks in Queueing Models of Parallel Systems: Peter G. Harrison, Naresh M. Patel; Performance'87, 12th International Symposium on Computer Performance Modelling, Measurement and Evaluation; pp.497–512; North-Holland; December, 1987
The Parallel Graph Reduction Machine, ALICE: Peter G. Harrison, Mike Reeve; Proceedings of a Workshop on Graph Reduction; Volume 279, pp.181–202; Lecture Notes in Computer Science, Springer; October, 1986
Efficient compilation of linear recursive functions into object level loops: Peter G. Harrison, Hessam Khoshnevisan; SIGPLAN Symposium on Compiler Construction 1986, Palo Alto, June; pp.207–218; ACM Press; June, 1986
Performance modelling of parallel computer architectures: Peter G. Harrison, A. J. Field; SIGMETRICS'86, Joint International Conference on Computer Performance Modelling, Measurement and Evaluation; Volume 14, Issue 1, pp.18–27; ACM SIGMETRICS Performance Evaluation Review, ACM Press; May, 1986
An exact analysis of the distribution of cycle times in a class of queueing networks: Peter G. Harrison; SIGMETRICS'83, ACM SIGMETRICS conference on Measurement and Modeling of Computer Systems; pp.224–242; ACM; August, 1983
Approximate Analysis and Prediction of Time Delay Distributions in Networks of Queues: Peter G. Harrison; 7th International Computer Measurement Group Conference, New Orleans, December 1-4, 1981; pp.70–80; Computer Measurement Group; December, 1981

Tutorials

Basic Theory and Some Applications of Martingales: Richard Hayden; 12th Joint ACM SIGMETRICS/IFIP Performance Conference on Measurement and Modeling of Computer Systems; 2012
Separation Results via Leader Election Problems: Maria Vigliotti, Iain Phillips, Catuscia Palamidessi; 4th International Symposium on Formal Methods for Objects and Components (FMCO 2005), 1-4 November 2005, CWI, Amsterdam, The Netherlands; Volume 4111, pp.172–194; Lecture Notes in Computer Science, Springer-Verlag; September, 2006
Response Time Distributions in Queueing Network Models: Peter G. Harrison; Joint Tutorial Papers of Performance/SIGMETRICS'93: Performance Evaluation of Computer and Communication Systems; Volume 729, pp.147–164; Lecture Notes in Computer Science, Springer; May, 1993

Seminars

Scalable Performance Analysis of Massively Parallel Stochastic Systems: Richard Hayden; Seminar Series on Advances in Telecommunications, Networking and Computing, Budapest University of Technology and Economics (BME); November, 2012
Scalable Performance Analysis of Massively Parallel Stochastic Systems: Richard Hayden; Laboratory for Foundations of Computer Science, University of Edinburgh; October, 2012
Scalable Performance Analysis of Massively Parallel Stochastic Systems: Richard Hayden; 11th INFORMS Telecommunications Conference 2012; March, 2012
Anaytical Models for Multi-Stage Interconnection Networks: Peter G. Harrison; International Seminars on the Teaching of Computing Science: System Modelling; 1990

Journal Special Issues Edited

Performance Engineering: Ashok Argent-Katwala, Jeremy T. Bradley, Nicholas J. Dingle, Uli Harder, William J. Knottenbelt; IET Software; Volume 3, Issue 6, pp.443–521; IET; December, 2009
Modelling Techniques and Tools for Computer Performance Evaluation: A. J. Field, Peter G. Harrison, Jeremy T. Bradley, Uli Harder; Performance Evaluation; Volume 54, Issue 2, pp.77–206; Elsevier; October, 2003

Proceedings Edited

Practical Applications of Stochastic Modelling 2009: Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt, Nicholas J. Dingle, Uli Harder; PASM 2009, Practical Applications of Stochastic Modelling, Imperial College London; Volume 261, pp.1–4; Electronic Notes in Theoretical Computer Science, Elsevier; February, 2010
Proceedings of EPEW 2009, Computer Performance Engineering. 6th European Workshop Performance Engineering Modelling: Jeremy T. Bradley; EPEW 2009. Computer Performance Engineering. Imperial College London, 9-10 July 2009; Volume 5652; Lecture Notes in Computer Science, Springer Verlag; July, 2009
Proceedings of PASM 2008, 3rd International Workshop on the Practical Application of Stochastic Modelling: Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt; Volume 232, pp.1–178; Electronic Notes in Theoretical Computer Science, Elsevier; March, 2009
Proceedings of UKPEW 2008, 24th Annual UK Performance Engineering Workshop: Ashok Argent-Katwala, Nicholas J. Dingle, Uli Harder; UKPEW 2008, UK Performance Engineering Workshop. 3-4 July 2008, Imperial College London; UKPEW; July, 2008
Proceedings of PASM 2004, 1st International Workshop on Practical Applications of Stochastic Modelling: Jeremy T. Bradley, William J. Knottenbelt; PASM 2004, Practical Applications of Stochastic Modelling; Volume 128, Issue 4, pp.1–164; Electronic Notes in Theoretical Computer Science, Elsevier; April, 2005
Practical Applications of Stochastic Modelling 2004: Jeremy T. Bradley, William J. Knottenbelt; PASM 2004, Practical Applications of Stochastic Modelling, Imperial College London; September, 2004
Proceedings of TOOLS 2002, 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools: A. J. Field, Peter G. Harrison, Jeremy T. Bradley, Uli Harder; Volume 2324; Lecture Notes in Computer Science, Springer-Verlag; April, 2002

Position Paper

Research Challenges in Future Health Care Systems: Harini Kulatunga; eHealth 2008 - Electronic healthcare for the 21st century; ICST Lecture Notes, Springer; September, 2008

National Workshop Papers

Energy Consumption in The Office: Anton Stefanek, Uli Harder, Jeremy T. Bradley; 28th UK Performance Engineering Workshop (UKPEW 2012); July, 2012
PCTMC models of Wireless Sensor Network protocols: Marcel C. Guenther, Jeremy T. Bradley; UKPEW'12, 28th UK Performance Engineering Workshop; 2012
Mean-field models for interacting battery-powered devices: Richard Hayden; Imperial College Energy and Performance Colloquium (ICEP); May, 2012
Using Fluid Queues to Model Energy Storage and Distribution: Gareth Jones, Peter G. Harrison; Imperial College Energy and Performance Colloquium (ICEP); May, 2012
MASSPA-Modeller: A Spatial Stochastic Process Algebra modelling tool: Marcel C. Guenther, Jeremy T. Bradley; Imperial College Computing Student Workshop (ICCSW); September, 2011
Normal and inhomogeneous moment closures for stochastic process algebras: Anton Stefanek, Marcel C. Guenther, Jeremy T. Bradley; 10th Workshop on Process Algebra and Stochastically Timed Activities 2011 (PASTA'11); September, 2011
Toward efficient parameter sweeping and optimisation of fluid performance models by Taylor-model based symbolic numerical integration: Richard Hayden; 10th Workshop on Process Algebra and Stochastically Timed Activities (PASTA 2011); September, 2011
Convergence of ODE approximations and bounds on performance models in the steady-state: Richard Hayden; 9th Workshop on Process Algebra and Stochastically Timed Activities (PASTA 2010); September, 2010
Hybrid analysis of large scale PEPA models: Anton Stefanek, Richard Hayden, Jeremy T. Bradley; 9th Workshop on Process Algebra and Stochastically Timed Activities (PASTA 2010); September, 2010
An Empirical Study of the Scalability of Performance Analysis Tools in the Cloud: Nicholas J. Dingle; 26th UK Performance Engineering Workshop (UKPEW 2010); pp.9–16; July, 2010
A Stochastic Calculus Model for the Spot Price of Computing Power: Fernando Martinez Ortuno, Uli Harder; UKPEW 2010; July, 2010
GPA - Tool for rapid analysis of very large scale PEPA models: Anton Stefanek, Richard Hayden, Jeremy T. Bradley; UKPEW'10, 26th UK Performance Engineering Workshop. 7-8th July, University of Warwick; pp.91–101; University of Warwick; July, 2010
A functional central limit theorem for PEPA: Richard Hayden, Jeremy T. Bradley; 8th Workshop on Process Algebra and Stochastically Timed Activities; pp.13–23; August, 2009
Analysis of Storage System Activity: Nicholas J. Dingle, Uli Harder; UKPEW 2009; pp.39–48; July, 2009
Truncation of Passage-time Calculations in Semi-Markov Models: Marcel C. Guenther, Jeremy T. Bradley, Nicholas J. Dingle, William J. Knottenbelt; UKPEW'09, 25th UK Performance Engineering Workshop; pp.17–28; July, 2009
Extracting Fluid Response times from PEPA models: Jeremy T. Bradley, Richard Hayden, William J. Knottenbelt, Tamas Suto; PASTA'08, 7th Workshop on Process Algebra and Stochastically Timed Activities; July, 2008
ODE-based general moment approximations for PEPA: Richard Hayden, Jeremy T. Bradley; PASTA'08, 7th Workshop on Process Algebra and Stochastically Timed Activities; July, 2008
State-Space Size Estimation By Least-Squares Fitting: Nicholas J. Dingle, William J. Knottenbelt; 24th UK Performance Engineering Workshop (UKPEW 2008); pp.347–357; July, 2008
Validation of Large Zoned RAID Systems: Abigail Lebrecht, Nicholas J. Dingle, William J. Knottenbelt; 24th UK Performance Engineering Workshop (UKPEW 2008); pp.246–261; July, 2008
PIPE v2.5: A Petri Net Tool for Performance Modelling: Pere Bonet, Catalina Lladó, Ramon Puigjaner, William J. Knottenbelt; 23rd Latin American Conference on Informatics (CLEI 2007); October, 2007
A peer-to-peer Market for Grid Computing: Uli Harder; 6th Workshop on Process Algebra and Stochastically Timed Activities; pp.105–109; July, 2007
Exploration of the network spun by website users: Ashok Argent-Katwala, Tim Evans, Uli Harder; 23rd Annual UK Performance Engineering Workshop (UKPEW 2007), Edge Hill University, UK, July 9th-10th, 2007; pp.118–121; July, 2007
Fluid-flow solutions in PEPA to the state space explosion problem: Richard Hayden, Jeremy T. Bradley; PASTA 2007, 6th Workshop on Process Algebra and Stochastically Timed Activities; pp.25–37; July, 2007
PerformDB: Community-driven performance modelling and analysis: Ashok Argent-Katwala, Jeremy T. Bradley; UKPEW 2007, 23rd Annual UK Performance Engineering Workshop; pp.86–94; July, 2007
Response Time Approximations in Fork-Join Queues: Abigail Lebrecht, William J. Knottenbelt; 23rd Annual UK Performance Engineering Workshop (UKPEW); July, 2007
A Continuous State Space Approximation for PEPA Queues: Ashok Argent-Katwala, Jeremy T. Bradley; Process Algebra and Stochastically Timed Activities 2006; June, 2006
PEPA queues: Ashok Argent-Katwala; Process Algebra and Stochastically Timed Activities 2005; September, 2005
Observing Internet Worm and Virus Attacks with a Small Network Telescope: Uli Harder, Matthew Johnson, Jeremy T. Bradley, William J. Knottenbelt; PASM 2005, Proceedings of the 2nd Workshop on Practical Applications of Stochastic Modelling; pp.113–126; July, 2005
Stochastic Simulation Methods applied to a Secure Electronic Voting Model: Jeremy T. Bradley, Stephen Gilmore, Nigel Thomas; PASM'05, Proceedings of 2nd Workshop on Practical Applications of Stochastic Modelling; pp.127–149; July, 2005
Semi-blind scheduling in a finite capacity system: Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt; UKPEW'04, 20th Annual UK Performance Evaluation Workshop; July, 2004
Iterative Transient State Distribution Calculation in Semi-Markov Processes: Nicholas J. Dingle; 3rd Workshop on Process Algebras and Stochastically Timed Activities (PASTA'04); pp.1–9; June, 2004
Extracting Passage Times from PEPA models with the HYDRA Tool: A Case Study: Jeremy T. Bradley, Nicholas J. Dingle, Stephen Gilmore, William J. Knottenbelt; UKPEW 2003, 19th UK Performance Engineering Workshop; pp.79–90; July, 2003
Parameter estimation for MMPPs using the EM algorithm: Haifang Ge, Uli Harder, Peter G. Harrison; 19th UK Performance Engineering Workshop (UKPEW 2003); pp.293–306; July, 2003
Reversed Processes of Multiple Agent Cooperations: Peter G. Harrison, Ting Ting Lee; 19th UK Performance Engineering Workshop (UKPEW 2003), Warwick, July 9-10 2003; pp.257–265; July, 2003
An approximate solution of PEPA models using component substitution: Nigel Thomas, Jeremy T. Bradley, David Thornley; 28th UK Performance Engineering Workshop (UKPEW 2002); July, 2002
Distributed Solution of Large Markov Models Using Asynchronous Iterations and Graph Partitioning: Nicholas J. Dingle, William J. Knottenbelt; 18th UK Performance Engineering Workshop (UKPEW 2002), Glasgow July 10-11, 2002; pp.27–34; July, 2002
Network Traffic Measurements in a Switched Ethernet Environment: A. J. Field, Uli Harder, Peter G. Harrison; UKPEW 2002; pp.47–58; July, 2002
Performance modelling in the pub - speculative computation and dynamic pricing: Ashok Argent-Katwala; UK Performance Evaluation Workshop 2002, University of Glasgow; July, 2002
A queueing network model of Oracle Parallel Server: Uli Harder, Peter G. Harrison; UKPEW 1999; pp.69–80; July, 1999
Predicting buffer hit ratios with neural networks: Uli Harder, Tim MacLeod; UKPEW 1999; pp.333–342; July, 1999

PhD Theses

Scalable Performance Analysis of Massively Parallel Stochastic Systems: Richard Hayden; Imperial College London; April, 2011
Queueing network models of Zoned RAID system performance: Abigail Lebrecht; Imperial College London; January, 2010
Asynchronous Iterative Solution for Dominant Eigenvectors with Applications in Performance Modelling and PageRank: Douglas de Jager; Imperial College London; December, 2009
Performance Trees: A Query Specification Formalism for Quantitative Performance Analysis: Tamas Suto; Imperial College London, Department of Computing; August, 2008
Response Times in Healthcare Systems: Susanna Wau Men Au-Yeung; Imperial College London; January, 2008
A compositional, collaborative performance pipeline: Ashok Argent-Katwala; Department of Computing, Imperial College London, University of London; November, 2006
Parallel Algorithms for Hypergraph Partitioning: Aleksandar Trifunovic; Imperial College London; February, 2006
Parallel Computation of Response Time Densities and Quantiles in Large Markov and Semi-Markov Models: Nicholas J. Dingle; Department of Computing, Imperial College London. University of London.; October, 2004
Steady-State and Response Time Analysis of Modulated Queues and Networks with Batches: Harf Zatschler; University of London; August, 2004
Performance Evaluation of Enterprise JavaBeans Architectures: Catalina Lladó; Department of Computing, Imperial College of Science, Technology and Medicine. University of London.; December, 2001
Parallel Performance Analysis of Large Markov Models: William J. Knottenbelt; Department of Computing, Imperial College of Science, Technology and Medicine. University of London.; December, 1999
Analysis of Trace Data from Fluoresence Based Sanger Sequencing: David Thornley; Department of Computing, Imperial College London; September, 1997
Process Algebra for Discrete Event Simulation: Ben Strulo; Department of Computing, Imperial College of Science, Technology and Medicine. University of London.; October, 1993
Representative Queueing Network Models of Computer Systems in Terms of Time Delay Probability Distributions: Peter G. Harrison; 1979

Department of Computing Technical Reports

Anisotropic Multidimensional Savitzky Golay kernels for Smoothing, Differentiation and Reconstruction: David Thornley; Issue 8; Department of Computing, Imperial College London; July, 2006
Trace modelling for abduction basecalling: David Thornley; Issue 7; Imperial College of Science, Technology and Medicine, Department of Computing; July, 2006

Technical Reports

Proceedings of Imperial College Energy and Performance Colloquium (ICEP 2012): Jeremy T. Bradley, Richard Hayden; Department of Computing, Imperial College London; Department of Computing, Imperial College London; June, 2012
Capturing the energy-performance trade-off in virtualised computing models: Anton Stefanek, Richard Hayden, Jeremy T. Bradley; Dept of Computing, Imperial College London; 2011
Methodological Construction of Product-Form Stochastic Petri-Nets for Performance Evaluation: Simonetta Balsamo, Peter G. Harrison, Andrea Marin; December, 2010
Shared Transaction Markov Chains for Fluid Analysis of Massively Parallel Systems (extended version): Imperial College London; June, 2009
Evaluating and Optimising Models of Network Growth: Richard Clegg, Raul Landa, Uli Harder, Miguel Rio; Computer Science > Networking and Internet Architecture - arXiv.org; arxiv.org; April, 2009
A compositional construction of product-form Petri-nets using Ercat: Peter G. Harrison, Andrea Marin; 2009
RCAT: From PEPA to Product form: Jeremy T. Bradley; Department of Computing, Imperial College London; Volume 2007, Issue 2, pp.1–8; March, 2007
A dynamical model of a GRID market: Uli Harder, Peter G. Harrison, Maya Paczuski, Tejas Sudhir Shah; The Computing Research Repository (CoRR); arxiv.org; October, 2004
Convergence and Correctness of an Iterative Scheme for Calculating Passage Times in Semi-Markov Processes: Helen Wilson; Department of Applied Maths, University of Leeds, Woodhouse Lane, Leeds, LS2 9JT, UK; Volume 2004, Issue 1; February, 2004
Network traffic behaviour in switched ethernet systems: A. J. Field, Uli Harder, Peter G. Harrison; June, 2002

Posters

Fluid Queue Models of Renewable Energy Storage: Gareth Jones, Peter G. Harrison, Uli Harder, A. J. Field; 6th International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS 2012); October, 2012
Mean-field performance analysis of a hazard detection Wireless Sensor Network: Marcel C. Guenther, Jeremy T. Bradley; VALUETOOLS'12; 2012
Large spatial performance models: Think global, Analyse local!: Marcel C. Guenther, Jeremy T. Bradley; Graduate School Summer Research Symposium 2012; July, 2012
Sojourn time distributions in networks of queues with batches: Peter G. Harrison, Maria Vigliotti; IFIP WG 7.3 International Symposium on Computer Performance, Modeling, Measurements and Evaluation (Performance 2010); November, 2010
Intracellular Fate of FGFRs with BioAmbients: Maria Vigliotti, Steffen van Bakel, John Heath; Spatial 2009 - Overcoming Distance in Signaling Networks.; 2009
Towards a Performance Model for Virtualised Multi-Tier Storage Systems: Abigail Lebrecht, Peter G. Harrison, William J. Knottenbelt; 6th USENIX Conference on File and Storage Technologies (FAST 2008); February, 2008
A dynamic model of a GRID market: Uli Harder, Peter G. Harrison, Maya Paczuski, Tejas Sudhir Shah; MASCOTS 2004 (Invited poster); October, 2004

Book Review

A resurgence in product-forms: Peter G. Harrison; The Computer Journal; Volume 51, Issue 6, pp.731–734; Oxford Journals; March, 2008

Masters' Theses

Augmenting The Core Functionality Of An e-Science Grid Multi-Tier Front-End: GridSphere-Based Reengineering Of EPIC: Tamas Suto; Imperial College London, Department of Computing; June, 2004
Generalised Markovian Analysis of Timed Transition Systems: William J. Knottenbelt; Department of Computer Science, University of Cape Town; June, 1996

Undergraduate projects

Hidden Markov Models: Applications to Flash Memory data and Hospital Arrival times: Tiberiu Chis; Department of Computing, Imperial College London; June, 2011
Aggregation and Numerical Techniques for Passage-Time Calculations in Large Semi-Markov Models: Marcel C. Guenther; Imperial College London; Distinguished project; July, 2009
Continuous and spatial extension of stochastic pi-calculus: Anton Stefanek; Imperial College London; Distinguished project; July, 2009
Addressing the state space explosion problem for PEPA models through fluid-flow approximation: Richard Hayden; Imperial College London; Distinguished project; July, 2007

BibTeX file for these publications

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.