Publications by Neil Davies

This is a list of all publications (co-)authored by Neil Davies that are contained in the publications database of the Department of Computer Science, University of Bristol. To perform an alternative search of the publications database, please go to the publications database home page.

2000

• J Bradley, N Davies, A Matrix-based Method for Analysing Stochastic Process Algebras . Proceedings in Informatics -- PAPM'2000, Process Algebra and Performance Modelling. ISSN 1894145070, pp. 579–590. July 2000. PDF, 117 Kbytes.

1999

• Neil Davies, Judy Holyer, Peter Thompson, A Queueing Theory Model that Enables Control of Loss and Delay at a Network Switch. CSTR-99-011, Department of Computer Science, University of Bristol. November 1999. PDF, 266 Kbytes.
• Neil Davies, Judy Holyer, Adam Stephens, Peter Thompson, Generating Service Level Agreements from User Requirements. CSTR-99-010, Department of Computer Science, University of Bristol. November 1999. PDF, 34 Kbytes.
• J Bradley, N Davies, Reliable Performance Modelling with Approximate Synchronisations. PAPM'99, Process Algebra and Performance Modelling. ISSN 8477335133, pp. 99–118. September 1999. PDF, 384 Kbytes.
• J. Napier, J. May, G. Hughes, Implementing SOftware On-Line Diagnostics in SafetY Critical Systems. Fifteenth Annual UK Performance Engineering Workshop. J. T. Bradley, N. J. Davies, (eds.). ISBN 0 9524027 8 5, pp. 355–366. July 1999. No electronic version available.
• Neil Davies, Judy Holyer, Peter Thompson, End-to-End Management of Mixed Applications Across Networks. IEEE Workshop on Internet Applications, San Jose, 26-27 July 1999. ISBN 0-7695-0197-4, pp. 12–19. July 1999. PDF, 221 Kbytes.
• J Bradley, N Davies, Measuring Improved Reliability in Stochastic Systems. Proceedings of the 15th Annual UK Performance Engineering Workshop. ISSN 0952402785, pp. 121–130. July 1999. PDF, 201 Kbytes.
• Proceedings of the Fifteenth Annual UK Performance Engineering Workshop. J Bradley, N Davies, (eds.). Department of Computer Science, University of Bristol. ISSN 0952402785. July 1999. No electronic version available. External information
• N Davies, J Holyer, P Thompson, End-to-End Management of Mixed Applications Across Networks. CSTR-99-008, Department of Computer Science, University of Bristol. May 1999. No electronic version available.
• Neil Davies, Judy Holyer, Adam Stephens, Peter Thompson, Generating Service Level Agreements from User Requirements. Proceedings of the Third IFIP workshop on the Management and Design of ATM Networks, pp. 4–12. April 1999. No electronic version available.
• Neil Davies, Judy Holyer, Peter Thompson, An Operational Model to Control Loss and Delay of Traffic at a Network Switch. Third IFIP workshop on the Management and Design of ATM Networks. ISBN 0-7695-0197-4, pp. 218–231. March 1999. PDF, 232 Kbytes.
• Neil Davies, Judy Holyer, Adam Stephens, Peter Thompson, Generating Service Level Agreements from User Requirements. CSTR-99-004, Department of Computer Science, University of Bristol. March 1999. No electronic version available.
• Neil Davies, Judy Holyer, Peter Thompson, An Operational Model to Control Loss and Delay of Traffic at a Network Switch. CSTR-99-005, Department of Computer Science, University of Bristol. March 1999. No electronic version available.
• J Bradley, N Davies, An Aggregation Technique for Analysing Some Generally Distributed Stochastic Processes. CSTR-99-003, Department of Computer Science, University of Bristol. March 1999. PDF, 705 Kbytes.
• J Bradley, N Davies, Reliable Performance Modelling with Approximate Synchronisations. CSTR-99-002, Department of Computer Science, University of Bristol. February 1999. PDF, 438 Kbytes.

1998

• J Bradley, N Davies, Performance Modelling and Synchronisation. CSTR-98-009, Superseded by CSTR-99-002, Department of Computer Science, University of Bristol. December 1998. PDF, 433 Kbytes.
• I Holyer, N Davies, E Spiliopoulou, Distribution in a Demand Driven Style. The First International Workshop on Component-based software development in Computational Logic; COCL, pp. 29–41. September 1998. PDF, 168 Kbytes.
• P Francis-Cobley, N Davies, Performance Implications of QoS Mapping in Heterogeneous Networks Involving ATM. Proc. ICATM'98, IEEE International Conference on ATM. ISBN 0 9524027 6, pp. 529–535. June 1998. PDF, 104 Kbytes.
• J Bradley, N Davies, Compositional BDD Construction: A Lazy Algorithm. CSTR-98-005, Department of Computer Science, University of Bristol. April 1998. PDF, 226 Kbytes.
• Neil Davies, Peter Thompson, Large Valency Serial Wormhole Routing Networks as a Scalable Multimedia Switching Infrastructure. Advances in Information Technologies: The Business Challenge. ISBN 90 5199 385 4, pp. 883–890. January 1998. No electronic version available. External information

1997

• A. M. Jones, N. J. Davies, M. A. Firth, C. J. Wright, The Network Designer's Handbook. IOS Press. ISBN 90 5199 380 3. October 1997. No electronic version available.
• J Bradley, N Davies, Using Successive Approximations of Equivalences to Model Reliability in Safety-Critical Design. CSTR-97-006, Department of Computer Science, University of Bristol. August 1997. PDF, 201 Kbytes.
• N. Davies, P. Francis-Cobley, A Quality of Service Decision Model for ATM-LAN/MAN Interconnection. Proc. of the 5th IFIP Workshop on Performance Modelling and Evaluation of ATM Networks. ISBN 0 9524027 3 4, pp. 69001–69007. July 1997. PDF, 23 Kbytes.
• J Bradley, N Davies, Equivalences within Non-Finite State Systems. Proceedings of the Fifth IFIP Workshop on Performance Modelling and Evaluation of ATM Networks. ISBN 0 9524027 3 4, pp. 82001–82010. July 1997. PDF, 169 Kbytes.
• Eleni Spiliopoulou, Ian Holyer, Neil Davies, Distributed Programming, a purely functional approach. Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming. ISBN 0-89791-918-1, pp. 1–1. June 1997. PDF, 49 Kbytes.
• P. Francis-Cobley, N. Davies, Quality of Service Issues in Heterogeneous Network Systems. Proc. of the 14th UK Teletraffic Symposium on Performance Engineering..., pp. 11001–11004. March 1997. No electronic version available.

1995

• Jeremy Bradley, Neil Davies, Analysis of the SSL Protocol. CSTR-95-021, Department of Computer Science, University of Bristol. June 1995. PDF, 145 Kbytes.
• Ian Holyer, Neil Davies, Chris Dornan, The Brisk Project: Concurrent and Distributed Functional Systems. CSTR-95-015, Department of Computer Science, University of Bristol. June 1995. PDF, 126 Kbytes.
• Neil Davies, Andrew Jones, GSPN Models of C104 Networks. CSTR-95-010, Department of Computer Science, University of Bristol. June 1995. PDF, 59 Kbytes.

1994

• Neil Davies, The Performance and Scalability of Parallel Systems. PhD thesis. Department of Computer Science, University of Bristol. December 1994. PDF, 1037 Kbytes.
• Neil Davies, Use of an Observationally-based Performance Model for Informing Scheduling Decisions. CSTR-94-11, Department of Computer Science, University of Bristol. September 1994. PDF, 134 Kbytes.

1993

• Neil Davies, Developing Systems with Awareness of Performance. Proceedings of Workshop on Process Algebra and Performance Modelling, pp. 7–10. July 1993. No electronic version available.