Publications
254 results found
Harrison P, 2005, Performance Engineering and Stochastic Modelling, European Performance Engineering Workshop (EPEW 2005) and International Workshop on Web Services and Formal Methods (WS-FM 2005), Versailles, France, September 1-3, 2005, Publisher: Springer, Pages: 1-14
Performance engineering has become a central plank in the design of complex, time-critical systems. It is supported by stochastic modelling, a brief history of which is given, going back to Erlang as long ago as 1909. This in turn developed according to successive new generations of communication and computer architectures and other operational systems. Its evolution through queues and networks is reviewed, culminating in the unification of many specification and solution techniques in a common formalism, stochastic process algebra. Recent results are given on the automatic computation of separable solutions for the equilibrium state probabilities in systems specified in such a formalism. A performance engineering support environment is proposed to integrate these methods with others such as response time analysis and fluid models, which are better suited to large scale aggregation of similar components in a continuous space.
Harrison P, Zhang Y, 2005, Delay Analysis of Priority Queues with Modulated Traffic, MASCOTS 2005, IEEE International Symposium on Modelling, Analysis, and Simulation of Computer and Telecommunication Systems, Publisher: IEEE Computer Society Press, Pages: 280-287
Gulpinar N, Harrison P, Rustem B, et al., 2005, Optimization of a Tandem M/GI/1 Router Network with Batch Arrivals, PMEO-PDS 2005, 4th International Workshop on Performance Modelling, Evaluation, and Optimization of Parallel and Distributed Systems, Publisher: IEEE Computer Society Press
Harrison PG, Zertal S, 2005, Calibration of a queueing model of RAID systems, Electronic Notes in Theoretical Computer Science, Vol: 128, Pages: 145-164, ISSN: 1571-0661
A recent queueing-based modelling methodology of RAID systems compared the mean disk access times of the two most common variants, RAID0-1 and RAID5, as well as a multi-RAID system in which they coexist. Accesses to multiple disks occur concurrently for each logical (user) request and complete only when every disk involved has completed. The models therefore needed to estimate the mean value of the maximum of the individual disk response times, each of which is modelled by the waiting time of an M/G/1 queue. This mean-max value was approximated in terms of the second moment of queueing time which in turn required the third moment of disk service time, itself a function of seek time, rotational latency and block transfer time. To achieve consistently good agreement with an event-driven simulator of the physical hardware and system software requires careful calibration of the resulting model's parameters and validation of its assumptions. This calibration and validation process involves detailed analysis of sub-models to reveal the restrictions necessary on the domain of real-world operating parameters that facilitate a viable predictive model. The process yields significant insight into several of the abstract subsystems involved that may be utilised in a range of practical modelling studies; for example, the effect of approximating a bank of parallel queues with synchronised arrivals by a bank of identical, independent queues. The final comparison against the hardware simulator shows excellent agreement, far surpassing that of the original model.
Field AJ, Harder U, Harrison PG, 2004, Measurement and modelling of self-similar traffic in computer networks, IEE PROCEEDINGS-COMMUNICATIONS, Vol: 151, Pages: 355-363, ISSN: 1350-2425
- Author Web Link
- Cite
- Citations: 28
Dingle N, Harrison P, Knottenbelt W, 2004, Uniformization and Hypergraph Partitioning for the Distributed Computation of Response Time Densities in Very Large Markov Models, Journal of Parallel and Distributed Computing, Vol: 64, Pages: 908-920
Harrison PG, 2004, Compositional reversed Markov processes, with applications to G-networks, PERFORMANCE EVALUATION, Vol: 57, Pages: 379-408, ISSN: 0166-5316
- Author Web Link
- Cite
- Citations: 35
Harrison PG, Zatschler H, 2004, Sojourn time distributions in modulated G-queues with batch processing, Los Alamitos, 1st international conference on the quantitative evaluation of systems (QEST 2004), Enschede, Netherlands, Publisher: IEEE Computer Soc, Pages: 90-99
Gulpinar N, Harrison P, Rustem B, et al., 2004, An optimisation model for a two-node router network, Los Alamitos, 12th annual international symposium on modeling, analysis, and simulation of computer and telecommunications systems (MASCOTS 2004), Volendam, Netherlands, Publisher: IEEE Computer Soc, Pages: 147-156
Harder U, Harrison PG, Paczuski M, et al., 2004, A dynamical model of a GRID market, Technical Report, Publisher: The Computing Research Repository (CoRR)
Harrison P, 2004, Reversed Processes, product forms and some non-product forms, Linear Algebra and Its Applications
Harrison PG, Lee TT, 2004, A new recursive algorithm for computing generating functions in closed multi-class queueing networks, Los Alamitos, 12th annual international symposium on modeling, analysis, and simulation of computer and telecommunications systems (MASCOTS 2004), Volendam, Netherlands, Publisher: IEEE Computer Soc, Pages: 231-238
Field AJ, Harder U, Harrison P, 2004, Network traffic behaviour in switched ethernet systems, Performance Evaluation, Vol: 58, Pages: 243-260, ISSN: 0166-5316
Field AJ, Harrison PG, Bradley JT, et al., 2003, Modelling techniques and tools for computer performance evaluation, Performance Evaluation, Vol: 54, Pages: 77-78, ISSN: 0166-5316
Harrison P, 2003, G-networks with Propagating Resets via RCAT, MAMA 2003, Special issue on the 5th workshop on Mathematical Performance Modeling and Analysis, Publisher: ACM Press, Pages: 3-5
Stationary Markovian networks, defined by a collection of cooperating agents, can be solved for their equilibrium state probability distribution by a new compositional method that computes their reversed Markov process, under appropriate conditions. We apply this approach to G-networks with chains of triggers and generalised resets, which have some quite distinct properties from the resets proposed recently.\r\n
Harrison P, 2003, Reversed processses, product forms, non-product forms and a new proof of the BCMP theorem, International Conference on the Numerical Solution of Markov Chains (NSMC 2003), Urbana IL, USA, September 2-5 2003, Pages: 289-304
Harrison P, Zertal S, 2003, Queueing Models with Maxima of Service Times., Computer Performance Evaluations, Modelling Techniques and Tools. 13th International Conference, TOOLS 2003, Urbana, IL, USA, September 2-5, 2003, Pages: 152-168
Bradley JT, Dingle NJ, Harrison PG, et al., 2003, Distributed computation of transient state distributions and passage time quantiles in large semi-Markov models, PMEO-PDS 2003, International Workshop on Performance Modeling, Evaluation, and Optimization of Parallel and Distributed Systems, Publisher: IEEE, Pages: 281-837, ISSN: 1530-2075
Semi-Markov processes (SMPs) are expressive tools for modelling parallel and distributed systems; they are a generalisation of Markov processes that allow for arbitrarily distributed sojourn times. This paper presents an iterative technique for transient and passage time analysis of large structurally unrestricted semi-Markov processes. Our method is based on the calculation and subsequent numerical inversion of Laplace transforms and is amenable to a highly scalable distributed implementation. Results for a distributed voting system model with up to 1.1 million states are presented and validated against simulation. (C) 2006 Elsevier B.V. All rights reserved.
Bradley J, Dingle N, Harrison P, et al., 2003, Distributed Computation of Passage Time Quantiles and Transient State Distributions in Large Semi-Markov Models, PMEO-PDS 2003, International Workshop on Performance Modeling, Evaluation, and Optimization of Parallel and Distributed Systems, Publisher: IEEE Computer Society Press
Harrison PG, Lladó CM, 2003, A new blocking problem from Java-based schedulers, PERFORMANCE EVALUATION, Vol: 51, Pages: 229-246, ISSN: 0166-5316
- Author Web Link
- Cite
- Citations: 2
Harrison PG, 2003, Turning back time in Markovian process algebra, THEORETICAL COMPUTER SCIENCE, Vol: 290, Pages: 1947-1986, ISSN: 0304-3975
- Author Web Link
- Cite
- Citations: 64
Bradley JT, Dingle NJ, Harrison PG, et al., 2003, Performance queries on semi-markov stochastic petri nets with an extended continuous stochastic logic, Los Alamitos, 10th international workshop on Petri Nets and performance models (PNPM 2003), Publisher: IEEE Computer Society, Pages: 62-71
Harrison PG, 2003, Stochastic Process Algebra, reversed processes and product-forms, Boca Raton, 17th international symposium on computer and information sciences, University of Central Florida, Orlando, Florida, 2002, Publisher: CRC Press Inc, Pages: 12-17
Dingle NJ, Harrison PG, Knottenbelt WJ, 2003, HYDRA: hypergraph-based distributed response-time analyser, Athens, International conference on parallel and distributed processing techniques and applications, Las Vegas, Nevada, 2003, Publisher: C S R e A Press, Pages: 215-219
Harrison PG, Lee TT, 2003, Reversed processes of multiple agent cooperations, 19th UK performance engineering workshop (UKPEW 2003), Warwick, 9-10 July 2003
Bradley JT, Dingle NJ, Harrison PG, et al., 2003, Performance queries on semi-markov stochastic petri nets with an extended continuous stochastic logic, Los Alamitos, 10th international workshop on Petri Nets and performance models (PNPM 2003), Urbana, Illinois, Publisher: IEEE Computer Soc, Pages: 62-71
Harrison P, Thornley D, Zatschler H, 2003, Geometrically batched networks, Boca Raton, 17th international symposium on computer and information sciences, University of Central Florida, Orlando, Florida, 2002, Publisher: Crc Press Inc, Pages: 108-112
Harrison PG, 2003, Reversed processes, product forms, non-product forms and a new proof of the BCMP theorem, International conference on the numerical solution of Markov chains (NSMC 2003), Urbana IL, USA, 2 - 5 September 2003
Thornley DJ, Zatschler H, Harrison PG, 2003, An automated formulation of queues with multiple geometric batch processes, Proceedings of HETNETS'03
Ge H, Harder U, Harrison PG, 2003, Parameter estimation for MMPPs using the EM algorithm, Proceedings of UKPEW 2003, Pages: 293-306
This data is extracted from the Web of Science and reproduced under a licence from Thomson Reuters. You may not copy or re-distribute this data in whole or in part without the written consent of the Science business of Thomson Reuters.