© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Computer Science: Publication Index 1994
- Ipp routing architecture. Damiano Bolla. Technical Report 9-94*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, November 1994.
- A formal description technique supporting expression of quality of service and media synchronisation. H. Bowman, L. Blair, G.S. Blair, and A.G. Chetwynd. In D. Hutchison, A. Danthine, H. Leopold, and G. Coulson, editors, Multimedia Transport and Teleservices, International COST 237 Workshop, volume 882 of Lecture Notes in Computer Science, pages 182-196. Springer-Verlag, November 1994.
- Modelling garbage collection algorithms. Howard Bowman, John Derrick, and Richard E. Jones. In Proceedings of International Computing Symposium, pages 182-196, January 1994. Also in ALP-UK International Workshop on Concurrency in Computational Logic.
- Modelling garbage collection algorithms - extend abstract. Howard Bowman, John Derrick, and Richard E. Jones. In Proceedings of Principles of Distributed Computing'94, pages 182-196, January 1994. Extended abstract of CCS94.
- Towards a formal model of consistency in odp. Howard Bowman and John Derrick. Technical Report 3-94*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, March 1994.
- Electronic journals using acrobat, mosaic and guide. Heather Brown and Judith Wusteman. In Proceedings of Digital Media and Electronic Publishing, pages 182-196. BCS, January 1994.
- Real-time CSP and ET-LOTOS. J.W. Bryans, J.W. Davies, and S.A. Schneider. Technical report, Reading University, Presented at the COST 247 WG 6.1 working group meeting in Brighton, July 1994.
- Symbolic animation as a proof tool. Juanito Camilleri and Vincent Zammit. In Thomas F. Melham and Juanito Camilleri, editors, Proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and its Applications, Valletta, Malta, volume 859 of Lecture Notes in Computer Science, pages 182-196. Springer-Verlag, September 1994.
- Interdomain guardians in a distributed directory service. D W Chadwick and N Pope. In P Veiga and D Khakhar, editors, Information Networks and Data Communications - Proceedings of the IFIP TC6 International Conference on Information Networks and Data Communications, Funchal, Madeira Island, Portugal, pages 182-196, 1994.
- Designing Object Systems. S Cook and J Daniels. Journal of Object-oriented Programming, pages 182-196, 1994. Regular column.
- Designing Object Systems: Object-oriented Modelling with Syntropy. S J Cook and J Daniels. Prentice-Hall, 1994.
- Essential Techniques for Object-oriented Design. S J Cook and J Daniels. In A Carmichael, editor, Object Development Methods, pages 182-196. SIGS Books Inc., 1994.
- The World isn't Software. S J Cook. Journal of Object-oriented Programming, 5(9):182-196, January 1994. Guest Editorial.
- Indexing the world. Ian Cooper. Technical Report 10-94*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, July 1994.
- Pest: A knowledge based system for product promotions. Tony Curtis. Technical Report 6-94*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, May 1994.
- A comparison of acceleration techniques applied to the sor method. R.D. da Cunha and Tim Hopkins. Technical Report 4-94*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, March 1994.
- The Divide-and-Conquer Method for the Solution of the Symmetric Tridiagonal Eigenproblem and Transputer Implementations. M. P. G. Fachin. PhD thesis, Computing Laboratory, University of Kent at Canterbury, June 1994.
- Applying Genetic Algorithms to the Load-Balancing Problem. AA Freitas, JC Anacleto, and C Kirner. In R Baeza-Yates, editor, Computer Science 2: Research and Applications (Proc 13th Int Conf Chilean Computer Society), pages 182-196, New York: Plenum, 1994.
- Parallel Theorem Proving. F. K. Hanna and W. G. J. Howells. In C. Runciman and D. Wakeling, editors, Applications of Functional Programming, chapter 12, pages 182-196. UCL Press, 1994.
- The Veritas Proof Assistant. F. K. Hanna and W. G. J. Howells. In C. Runciman and D. Wakeling, editors, Applications of Functional Programming, chapter 8, pages 182-196. UCL Press, 1994.
- Reasoning about Real Digital Circuits. Keith Hanna. In Proc Higher Order Logic Theorem Proving and its Applications, pages 182-196. Springer-Verlag, 1994.
- How Accurate is Scientific Software?. L Hatton and A Roberts. IEEE Transactions on Software Engineering, 20(10):182-196, October 1994.
- A Case History of Automated Improvement of Software Product Quality. Les Hatton. Software Quality Assurance and Measurement, Fenton N (ed):182-196, January 1994.
- Continuation passing combinators for parsing precedence grammars. Steve Hill. Technical Report 24-94*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, November 1994.
- The functional simulation of a simple microprocessor. Steve Hill. Technical Report 17-94*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, September 1994.
- The lazy z-buffer. Steve Hill. Technical Report 16-94*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, September 1994.
- The parallel iterative methods (pim) package for the solution of systems of linear equations on parallel computers. Tim Hopkins and Rudnei Dias da Cunha. Technical Report 19-94*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, September 1994.
- Remark on applied statistics algorithm as030 half-normal plotting. Tim Hopkins and David Morse. Technical Report 28-94*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, December 1994.
- Remark on applied statistics algorithm as057 printing multidimensional tables. Tim Hopkins and David Morse. Technical Report 29-94*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, December 1994.
- A comment on the eispack machine epsilon routine. Tim Hopkins and John Slater. Technical Report 18-94*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, September 1994.
- Teaching electronic publishing: Learning software engineering. Richard E. Jones and Ian A. Utting. In Teaching Electronic Publishing 94, pages 182-196, May 1994. Also UKC Computing Laboratory Technical Report 9-93 and 2nd All-Ireland Conference on the Teaching of Computing, 5-7 September 1994, Dublin, published by the CTI for Computing.
- The definition of Extended ML. Stefan Kahrs, Don Sannella, and Andrzej Tarlecki. LFCS Report ECS-LFCS-94-300, University of Edinburgh, January 1994.
- First-class polymorphism for ML. Stefan Kahrs. In Donald Sannella, editor, Programming Languages and Systems - ESOP'94, volume 788 of Lecture Notes in Computer Science, pages 182-196. Springer, April 1994.
- Continuation Compilation for Concurrent Logic Programming. B Kemp, A King, and P Soper. In A Crespo, editor, Proceedings of the Symposium on Artificial Intelligence in Real-time Control, pages 182-196. Pergamon, October 1994.
- Incorporating Generic Temporal Capabilities in a Geographical Information System. Z. Kemp and J. Groom. In Janjaap Harts, Henk F.L. Ottens, and Henk J. Scholten, editors, Proceedings of EGIS '94, The Fifth European Conference on Geographical Information Systems, pages 182-196, Paris, France., March 1994.
- Incorporating the Temporal Dimension in a GIS. Zarine Kemp and Arek Kowalczyk. In Michael Worboys, editor, Innovations in GIS 1, pages 182-196. Taylor & Francis, London, UK., January 1994.
- Depth-k Sharing and Freeness. A. King and P. Soper. In P. Van Hentenryck, editor, International Conference on Logic Programming, pages 182-196. MIT Press, January 1994.
- A Framework for Freeness Analysis. A King, pages 182-196. Implementations of Logic Programming Systems. Kluwer Academic Publishers, Dordrecht, 1994.
- High Precision Sharing Analysis. A King. Journal of Programming Languages, 2(1):182-196, 1994.
- A Synergistic Analysis for Sharing and Groundness which traces Linearity. Andy King. In D.Sannella, editor, European Symposium on Programming, volume 788 of Lecture Notes in Computer Science, pages 182-196. Springer-Verlag, January 1994.
- The design of a human memory prosthesis. M. G. Lamming and P. J. Brown. Computer Journal, 37(3):182-196, January 1994.
- Machine discovery in the presence of incomplete or ambiguous data. S. Lange and P. Watson. In K.P. Jantke, editor, Algorithmic Learning Theory, Proceedings of the 5th International Workshop, Rheinhardsbrunn, Germany, 1994, volume 872 of Lecture Notes in Artificial Intelligence, pages 182-196. Springer Verlag, October 1994.
- On the Equivalence Between CMC and TIM. Raphael Lins, Simon Thompson, and Simon Peyton Jones. Journal of Functional Programming, 1(4):182-196, November 1994.
- Partial categorical multi-combinators and church-rosser theorems. Raphael D Lins. Technical report, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, December 1994.
- The Unix Filing System: A MooZ Specification. SRL Meira, ALC Cavalcanti, and CS Santos. In K Lano and H Haughton, editors, Object Oriented Specification Case Studies, chapter 4, pages 182-196. Prentice-Hall, 1994.
- C Language. Patrascoiu Octavian, Mitroi Nicolae, and Marian Gheorghe. Microcomputer Service Press, January 1994.
- Extending object-oriented database concepts to support a wider range of applications. Elizabeth Oxborrow. Technical Report 7-94*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, April 1994.
- Textual Tree (Prolog) Tracer: An Experimental Evaluation. M.J. Patel, C. Taylor, and J.B.H. du Boulay. In D. Gilmore, R. Winder, and F. Detienne, editors, User-Centred Requirements for Software Engineering Environments, volume 123 of NATO ASI Series (Series F: Computer and Systems Sciences), pages 182-196. Springer-Verlag, Berlin, July 1994.
- Computer aided assessment through hypermedia. Andrew Peel. Active Learning, 1(1):182-196, December 1994.
- The design and implementation of the rpc device drivers. I.A. Penny. Technical Report 5-94*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, March 1994.
- Software Quality Assurance using the SAZ Method. F A C Polack and K C Mander. In Proceedings of Z User Meeting, pages 182-196. Springer-Verlag, July 1994.
- Call management in the open distributed office. Mike Rizzo, Peter Linington, and Ian Utting. Technical Report 15-94*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, October 1994.
- Integration of location services in the Open Distributed Office. Mike Rizzo, Peter F. Linington, and Ian Utting. Technical Report 14-94*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, August 1994.
- The ODO project: a case study in integration of multimedia services. Mike Rizzo, Peter F. Linington, and Ian Utting. Technical Report 12-94*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, August 1994.
- VitKit: a voice interaction toolkit. Mike Rizzo, Peter F. Linington, and Ian Utting. Technical Report 13-94*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, August 1994.
- An agent-based model for the provision of advanced telecommunications services. Mike Rizzo and Ian A. Utting. Technical Report 25-94*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, November 1994.
- Using producer and consumer manipulators to extend stream i/o formatting in c++. Mike Rizzo. Technical Report 26-94*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, November 1994.
- A survey of sampling methods for inference on directed graphs. Andrew R. Runnalls. In P. Cheeseman and R. W. Oldford, editors, Selecting Models from Data, chapter 16, pages 182-196. Springer Verlag, 1994. Lecture Notes in Statistics, 89.
- Interfaces and Extended ML. Don Sannella, Andrzej Tarlecki, and Stefan Kahrs. SIGPLAN Notices, 29(8):182-196, November 1994.
- A Failures Semantics for ET-LOTOS. S.A. Schneider, J.W. Bryans, and J.W. Davies. Technical report, Reading University, Presented at the COST 247 - WG 6.1 working group meeting in Brighton, July 1994.
- Implementing a transputer SCSI interface. Andrew Smith. Technical Report 22-94*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, September 1994.
- What can archives offer the world wide web?. Neil Smith. Technical Report 11*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, July 1994.
- Textual Tree Trace Notation for Prolog: An Overview. C. Taylor, J.B.H. du Boulay, and M.J. Patel. In Proc. of Post-Conf. Workshop on Logic Programming and Education, Internat. Conf. on Logic Programming, pages 182-196, Santa Margherita Ligure, Italy, June 1994.
- Garbage collecting shared environment closure reducers. Stephen Thomas and Richard Jones. Technical Report 31-94, Computing Laboratory, University of Kent at Canterbury, December 1994.
- A new heuristic for ATM multicast routing. A.G. Waters. In 2nd IFIP Workshop on Performance Modelling and Evaluation of ATM Networks, pages 182-196. University of Bradford, July 1994.
- A Parallel Emulator for a Multi-processor Dataflow Machine. P.H. Welch and F. de Almeida. In A. De Gloria, M.R. Jane, and D. Marini, editors, Transputer Applications and Systems ''94, Proceedings of the 1994 World Transputer Congress, pages 182-196, Como, Italy, September 1994. IOS Press, Netherlands. ISBN 90-5199-177-0.
- Electronic journals using Acrobat, Mosaic and Guide. Judith Wusteman and Heather Brown. Technical Report 23-94*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, October 1994.
- Electronic journal provision using acrobat. Judith Wusteman. Technical Report 8-94*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, May 1994.