Search
School of Computing
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 145-167.
Springer-Verlag, November 1994.
-
Modelling
garbage collection algorithms.
Howard Bowman, John Derrick, and Richard E. Jones.
In Proceedings of International Computing Symposium, 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, 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
1-20. 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 113-127. 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 347-365, 1994.
-
Designing
Object Systems.
S Cook and J Daniels.
Journal of Object-oriented Programming, 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. SIGS Books Inc.,
1994.
-
The World
isn't Software.
S J Cook.
Journal of Object-oriented Programming, 5(9), 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 7-13, 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 221- 235. 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 125-204. UCL Press, 1994.
-
Reasoning
about Real Digital Circuits.
Keith Hanna.
In Proc Higher Order Logic Theorem Proving and its
Applications. Springer-Verlag, 1994.
-
How
Accurate is Scientific Software?.
L Hatton and A Roberts.
IEEE Transactions on Software Engineering, 20(10):785-797, October
1994.
-
A Case
History of Automated Improvement of Software Product Quality.
Les Hatton.
Software Quality Assurance and Measurement, Fenton N (ed), 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 71-83, 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 333-347. 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 299-306. 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, Paris, France., March 1994.
-
Incorporating the Temporal Dimension in a GIS.
Zarine Kemp and Arek Kowalczyk.
In Michael Worboys, editor, Innovations in GIS 1. 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 553-568. MIT Press, January 1994.
-
A
Framework for Freeness Analysis.
A King, pages 137-149.
Implementations of Logic Programming Systems. Kluwer Academic Publishers,
Dordrecht, 1994.
-
High
Precision Sharing Analysis.
A King.
Journal of Programming Languages, 2(1):149-191, 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 363-378.
Springer-Verlag, January 1994.
-
The design
of a human memory prosthesis.
M. G. Lamming and P. J. Brown.
Computer Journal, 37(3):153-163, 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 438-452.
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), 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 80-109. 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
127-141. Springer-Verlag, Berlin, July 1994.
-
Computer aided
assessment through hypermedia.
Andrew Peel.
Active Learning, 1(1):35-37, 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 230-249. 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. Springer Verlag, 1994.
Lecture Notes in Statistics, 89.
-
Interfaces
and Extended ML.
Don Sannella, Andrzej Tarlecki, and Stefan Kahrs.
SIGPLAN Notices, 29(8):111-118, 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 73-80, 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 8/1-8/9. 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 259-272, 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.