2009 | ||
---|---|---|
99 | EE | Peter G. Harrison, Soraya Zertal: Bus Modelling in Zoned Disks RAID Storage Systems. Electr. Notes Theor. Comput. Sci. 232: 5-16 (2009) |
2008 | ||
98 | EE | Peter G. Harrison, Taskin Koçak, Erol Gelenbe: Discussant Contributions for the Computer Journal Lecture by Erol Gelenbe. Comput. J. 51(6): 731-734 (2008) |
2007 | ||
97 | EE | Helen Yu-Zhang, Peter G. Harrison: Performance of a Priority-Weighted Round Robin Mechanism for Differentiated Service Networks. ICCCN 2007: 1198-1203 |
96 | EE | Tien Van Do, Ram Chakka, Peter G. Harrison: An integrated analytical model for computation and comparison of the throughputs of the UMTS/HSDPA user equipment categories. MSWiM 2007: 45-51 |
95 | EE | Susanna W. M. Au-Yeung, Peter G. Harrison, William J. Knottenbelt: Approximate queueing network analysis of patient treatment times. VALUETOOLS 2007: 45 |
94 | EE | Nalan Gülpinar, Uli Harder, Peter G. Harrison, Tony Field, Berç Rustem, Louis-François Pau: Mean-variance performance optimization of response time in a tandem router network with batch arrivals. Cluster Computing 10(2): 203-216 (2007) |
93 | EE | Peter G. Harrison, Soraya Zertal: Queueing models of RAID systems with maxima of waiting times. Perform. Eval. 64(7-8): 664-689 (2007) |
92 | EE | A. J. Field, Peter G. Harrison: An approximate compositional approach to the analysis of fluid queue networks. Perform. Eval. 64(9-12): 1137-1152 (2007) |
91 | EE | Tony Field, Peter G. Harrison: Approximate analysis of a network of fluid queues. SIGMETRICS Performance Evaluation Review 25(2): 30-32 (2007) |
2006 | ||
90 | Nalan Gülpinar, Peter G. Harrison, Berç Rustem, Louis-François Pau: Performance Optimization of a Tandem Router Network Using a Fluid Model. IMECS 2006: 986-986 | |
89 | EE | Nalan Gülpinar, Peter G. Harrison, Berç Rustem: Worst-Case Analysis of Router Networks with Rival Queueing Models. ISCIS 2006: 897-907 |
88 | EE | Nalan Gülpinar, Peter G. Harrison: Optimization of a tandem router network using a fluid model. MSWiM 2006: 199-206 |
87 | EE | Nalan Gülpinar, Peter G. Harrison, Berç Rustem, Louis-François Pau: Performance Optimization of Mean Response Time in a Tandem Router Network with Batch Arrivals. NOMS 2006 |
86 | EE | Peter G. Harrison, Catalina M. Lladó, Ramón Puigjaner: A general performance model interchange format. VALUETOOLS 2006: 6 |
85 | EE | Peter G. Harrison: Process Algebraic Non-product-forms. Electr. Notes Theor. Comput. Sci. 151(3): 61-76 (2006) |
84 | EE | Maria Grazia Vigliotti, Peter G. Harrison: Stochastic Ambient Calculus. Electr. Notes Theor. Comput. Sci. 164(3): 169-186 (2006) |
83 | EE | Jeremy T. Bradley, Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt: Distributed computation of transient state distributions and passage time quantiles in large semi-Markov models. Future Generation Comp. Syst. 22(7): 828-837 (2006) |
2005 | ||
82 | EE | Peter G. Harrison: Performance Engineering and Stochastic Modelling. EPEW/WS-FM 2005: 1-14 |
81 | EE | Nalan Gülpinar, Peter G. Harrison, Berç Rustem, Louis-François Pau: Optimization of a Tandem M/GI/1 Router Network with Batch Arrivals. IPDPS 2005 |
80 | EE | Peter G. Harrison, Y. Zhang: Delay Analysis of Priority Queues with Modulated Traffic. MASCOTS 2005: 280-287 |
79 | EE | Peter G. Harrison, Soraya Zertal: Calibration of a Queueing Model of RAID Systems. Electr. Notes Theor. Comput. Sci. 128(4): 145-164 (2005) |
78 | EE | Peter G. Harrison, Ting Ting Lee: Separable equilibrium state probabilities via time reversal in Markovian process algebra. Theor. Comput. Sci. 346(1): 161-182 (2005) |
2004 | ||
77 | Doug DeGroot, Peter G. Harrison, Harry A. G. Wijshoff, Zary Segall: 12th International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS 2004), 4-8 October 2004, Vollendam, The Netherlands IEEE Computer Society 2004 | |
76 | EE | Nalan Gülpinar, Peter G. Harrison, Berç Rustem, Louis-François Pau: An Optimisation Model for a Two-Node Router Network. MASCOTS 2004: 147-156 |
75 | EE | Peter G. Harrison, Ting Ting Lee: A New Recursive Algorithm for Computing Generating Functions in Closed Multi-Class Queueing Networks. MASCOTS 2004: 231-238 |
74 | EE | Peter G. Harrison, Harf Zatschler: Sojourn Time Distributions in Modulated G-Queues with Batch Processing. QEST 2004: 90-99 |
73 | EE | Uli Harder, Peter G. Harrison, Maya Paczuski, Tejas Shah: A dynamical model of a GRID market CoRR cs.MA/0410005: (2004) |
72 | EE | Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt: Uniformization and hypergraph partitioning for the distributed computation of response time densities in very large Markov models. J. Parallel Distrib. Comput. 64(8): 908-920 (2004) |
71 | EE | Peter G. Harrison: Compositional reversed Markov processes, with applications to G-networks. Perform. Eval. 57(3): 379-408 (2004) |
70 | EE | Tony Field, Uli Harder, Peter G. Harrison: Network traffic behaviour in switched Ethernet systems. Perform. Eval. 58(2-3): 243-260 (2004) |
2003 | ||
69 | EE | Peter G. Harrison, Soraya Zertal: Queueing Models with Maxima of Service Times. Computer Performance Evaluation / TOOLS 2003: 152-168 |
68 | EE | Jeremy T. Bradley, Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt: Distributed Computation of Passage Time Quantiles and Transient State Distributions in Large Semi-Markov Models. IPDPS 2003: 281 |
67 | Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt: HYDRA: HYpergraph-Based Distributed Response-Time Analyzer. PDPTA 2003: 215-219 | |
66 | Peter G. Harrison, Catalina M. Lladó: A new blocking problem from Java-based schedulers. Perform. Eval. 51(2/4): 229-246 (2003) | |
65 | EE | Tony Field, Peter G. Harrison, Jeremy T. Bradley, Uli Harder: Modelling techniques and tools for computer performance evaluation. Perform. Eval. 54(2): 77-78 (2003) |
64 | EE | Peter G. Harrison: G-networks with propagating resets via RCAT. SIGMETRICS Performance Evaluation Review 31(2): 3-5 (2003) |
63 | Peter G. Harrison: Turning back time in Markovian process algebra. Theor. Comput. Sci. 290(3): 1947-1986 (2003) | |
2002 | ||
62 | Tony Field, Peter G. Harrison, Jeremy T. Bradley, Uli Harder: Computer Performance Evaluation, Modelling Techniques and Tools 12th International Conference, TOOLS 2002, London, UK, April 14-17, 2002, Proceedings Springer 2002 | |
61 | EE | Catalina M. Lladó, Johannes Lüthi, Peter G. Harrison: Studying Sensitivities of an EJB Performance Model. MASCOTS 2002: 277-280 |
60 | EE | Tony Field, Uli Harder, Peter G. Harrison: Network Traffic Behaviour in Switched Ethernet Systems. MASCOTS 2002: 33-42 |
59 | EE | Peter G. Harrison, William J. Knottenbelt: Passage time distributions in large Markov chains. SIGMETRICS 2002: 77-85 |
58 | EE | Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt: Response time densities in generalised stochastic petrinet models. Workshop on Software and Performance 2002: 46-54 |
57 | Peter G. Harrison, Sérgio Coury: On the asymptotic behaviour of closed multiclass queueing networks. Perform. Eval. 47(2/3): 131-138 (2002) | |
56 | Peter G. Harrison: The MM CPP/GE/c G-Queue: Sojourn Time Distribution. Queueing Syst. 41(3): 271-298 (2002) | |
55 | EE | Peter G. Harrison: Product-forms from a CAT and DOG. SIGMETRICS Performance Evaluation Review 30(3): 41-43 (2002) |
2001 | ||
54 | EE | Ram Chakka, Peter G. Harrison: A Markov modulated multi-server queue with negative customers - The MM CPP/GE/c/L G-queue. Acta Inf. 37(11-12): 881-919 (2001) |
53 | EE | Tony Field, Uli Harder, Peter G. Harrison: Analysis of Network Traffic in Switched Ethernet Systems CoRR cs.PF/0107001: (2001) |
52 | Ram Chakka, Peter G. Harrison: The MMCPP/GE/c Queue. Queueing Syst. 38(3): 307-326 (2001) | |
2000 | ||
51 | EE | Peter G. Harrison, Catalina M. Lladó: Performance Evaluation of a Distributed Enterprise Data Mining System. Computer Performance Evaluation / TOOLS 2000: 117-131 |
50 | EE | Catalina M. Lladó, Peter G. Harrison: Performance evaluation of an enterprise JavaBean server implementation. Workshop on Software and Performance 2000: 180-188 |
49 | EE | Madhu D. K. Bhabuta, Peter G. Harrison: Optimising bandwidth of ABR sources. Computer Networks 34(1): 115-128 (2000) |
48 | Peter G. Harrison, B. Strulo: SPADES - a process algebra for discrete event simulation. J. Log. Comput. 10(1): 3-42 (2000) | |
47 | William J. Knottenbelt, Peter G. Harrison, Mark Mestern, Pieter S. Kritzinger: A probabilistic dynamic technique for the distributed generation of very large state spaces. Perform. Eval. 39(1-4): 127-148 (2000) | |
1998 | ||
46 | A. J. Field, Peter G. Harrison, K. Kanani: Automatic Generation of Verifiable Cache Coherence Simulation Models from High-Level Specifications. CATS 1998: 261-276 | |
45 | EE | William J. Knottenbelt, Mark Mestern, Peter G. Harrison, Pieter S. Kritzinger: Probability, Parallelism and the State Space Exploration Problem. Computer Performance Evaluation (Tools) 1998: 165-179 |
44 | EE | A. J. Field, Peter G. Harrison, J. Parry: Response Times in Client-Server Systems. Computer Performance Evaluation (Tools) 1998: 75-92 |
43 | Peter G. Harrison: On the Computation of Normalising Constants in Multiclass Product-Form Queueing Networks. ESM 1998: 747-750 | |
42 | Peter G. Harrison, J. Parry: The Ethernet and its Modelling. ESM 1998: 806-813 | |
1997 | ||
41 | Madhu D. K. Bhabuta, Peter G. Harrison: Analysis and Modelling of ATM (AAL5) Traffic Traces. Modelling and Evaluation of ATM Networks 1997: 22-47 | |
40 | Sérgio Coury, Peter G. Harrison: Waiting Time Distribution in a Class of Discrete-Time Cyclic Service Multi-Queue Systems. Perform. Eval. 29(4): 223-243 (1997) | |
1996 | ||
39 | Andrew J. Bennett, A. J. Field, Peter G. Harrison: Modelling and Validation of Shared Memory Coherency Protocols. Perform. Eval. 27/28(4): 541-563 (1996) | |
1995 | ||
38 | A. J. Field, Peter G. Harrison: An Analytical Model of the Standard Coherent Interface "SCI". ICPP (1) 1995: 173-177 | |
37 | Peter G. Harrison, Edwige Pitel: M/G/1 Queues with Negative Arrivals: An Iteration to Solve a Fredholm Integral Equation of the First Kind. MASCOTS 1995: 423-426 | |
36 | Demetres D. Kouvatsos, Jeffrey Wilkinson, Peter G. Harrison, Madhu D. K. Bhabuta: Performance analysis of buffered Banyan ATM switch architectures. Modelling and Evaluation of ATM Networks 1995: 287-323 | |
35 | Erol Gelenbe, Peter G. Harrison, Edwige Pitel, Onno J. Boxma, Jean-Michel Fourneau: G-Networks - New Queueing Models with Additional Control Capabilities (Panel). SIGMETRICS 1995: 58-59 | |
34 | Peter G. Harrison, Jane Hillston: Exploiting Quasi-reversible Structures in Markovian Process Algebra Models. Comput. J. 38(7): 510-520 (1995) | |
33 | Peter G. Harrison, R. Lyndon While: Transformation of Polynomial Evaluation to a Pipeline via Horner's Rule. Sci. Comput. Program. 24(1): 83-95 (1995) | |
1994 | ||
32 | Afonso de C. Pinto, Peter G. Harrison: Response time distributions in packet-switched Banyan networks. Modelling and Evaluation of ATM Networks 1994: 384-408 | |
31 | Peter G. Harrison, Afonso de C. Pinto: An Approximate Analysis of Asynchronous, Packet-Switched Buffered Banyan Networks with Blocking. Perform. Eval. 19(2-3): 223-258 (1994) | |
1993 | ||
30 | A. J. Field, Peter G. Harrison: Transmission Times in Buffered Full-Crossbar Communication Networks With Cyclic Arbitration. ICPP 1993: 189-196 | |
29 | John Darlington, A. J. Field, Peter G. Harrison, Paul H. J. Kelly, David W. N. Sharp, Qian Wu: Parallel Programming Using Skeleton Functions. PARLE 1993: 146-160 | |
28 | Peter G. Harrison: Response Time Distributions in Queueing Network Models. Performance/SIGMETRICS Tutorials 1993: 147-164 | |
27 | Inman P. de Guzmán, Peter G. Harrison, E. Medina: Pipelines for Divide-and-Conquer Functions. Comput. J. 36(3): 254-268 (1993) | |
1992 | ||
26 | A. J. Field, Peter G. Harrison: Transmission Times in Unbuffered Crossbars with Cyclic Arbitration. ICPP (1) 1992: 132-137 | |
25 | Peter G. Harrison, Hessam Khoshnevisan: On the Synthesis of Function Inverses. Acta Inf. 29(3): 211-239 (1992) | |
24 | Peter G. Harrison, Hessam Khoshnevisan: The Mechanical Transformation of Data Types. Comput. J. 35(2): 138-147 (1992) | |
23 | Peter G. Harrison: A Higher-Order Approach to Parallel Algorithms. Comput. J. 35(6): 555-566 (1992) | |
22 | Peter G. Harrison, Hessam Khoshnevisan: A New Approach to Recursion Removal. Theor. Comput. Sci. 93(1): 91-113 (1992) | |
1991 | ||
21 | Peter G. Harrison, Afonso de C. Pinto: Asynchronous Packet-switched Banyan Networks with Blocking. Computer and Telecommunications Performance Engineering 1991: 146-149 | |
20 | David J. Lillie, Peter G. Harrison: A Projection Model of Types. FPCA 1991: 259-288 | |
19 | Peter G. Harrison, Afonso de C. Pinto: Blocking in asynchronous, buffered banyan networks. Performance of Distributed Systems and Integrated Communication Networks 1991: 169-188 | |
18 | Peter G. Harrison: On the Expansion of Non-Linear Functions. Acta Inf. 28(6): 559-574 (1991) | |
17 | Peter G. Harrison: Analytic Models for Multistage Interconnection Networks. J. Parallel Distrib. Comput. 12(4): 357-369 (1991) | |
1990 | ||
16 | EE | Peter G. Harrison, Naresh M. Patel: The Representation of Multistage Interconnection Networks in Queuing Models of Parallel Systems J. ACM 37(4): 863-898 (1990) |
1989 | ||
15 | John Darlington, Peter G. Harrison, Hessam Khoshnevisan, Lee McLoughlin, Nigel Perry, Helen Pull, Mike Reeve, Keith Sephton, R. Lyndon While, Sue Wright: A Functional Programming Environment Supporting Execution, Partial Execution and Transformation. PARLE (1) 1989: 286-305 | |
1988 | ||
14 | A. J. Field, Peter G. Harrison: Functional Programming Addison-Wesley 1988 | |
13 | Naresh M. Patel, Peter G. Harrison: On Hot-Spot; Contention in Interconnection Networks. SIGMETRICS 1988: 114-123 | |
12 | Peter G. Harrison, Hessam Khoshnevisan: Algebraic Transformation Techniques for Functional Languages. Comput. J. 31(3): 229-242 (1988) | |
11 | Peter G. Harrison: Linearisation: An Optimisation for Nonlinear Functional Programs. Sci. Comput. Program. 10(3): 281-318 (1988) | |
1987 | ||
10 | Peter G. Harrison, Naresh M. Patel: The Representation of Switching Networks in Queueing Models of Parallel Systems. Performance 1987: 497-512 | |
1986 | ||
9 | Peter G. Harrison, Mike Reeve: The parallel graph reduction machine, Alice. Graph Reduction 1986: 181-202 | |
8 | Peter G. Harrison, A. J. Field: Performance Modelling of Parallel Computer Architectures. SIGMETRICS 1986: 18-27 | |
7 | EE | Peter G. Harrison, Hessam Khoshnevisan: Efficient compilation of linear recursive functions into object level loops. SIGPLAN Symposium on Compiler Construction 1986: 207-218 |
6 | Peter G. Harrison: An Enhanced Approximation by Pair-Wise Analysis of Servers for Time Delay Distributions in Queueing Networks. IEEE Trans. Computers 35(1): 54-61 (1986) | |
1984 | ||
5 | Peter G. Harrison: The Distribution of Cycle Times in Tree-Like Networks of Queues. Comput. J. 27(1): 27-36 (1984) | |
1982 | ||
4 | Peter G. Harrison: Efficient Storage Management for Functional Languages. Comput. J. 25(2): 264-271 (1982) | |
1981 | ||
3 | Peter G. Harrison: Approximate Analysis and Prediction of Time Delay Distributions in Networks of Queues. Int. CMG Conference 1981: 70-80 | |
2 | EE | Peter G. Harrison: Efficient table-driven implementation of the finite state machine. Journal of Systems and Software 2(3): 201-211 (1981) |
1980 | ||
1 | R. Haskell, Peter G. Harrison: System Conventions for non Procedural Languages. Comput. J. 23(2): 132-141 (1980) |