© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Computer Science: Publication Index 1990
- Deduction with Modularity, Equality and Sortedness. W. Atkinson, J. Cunningham, and S. Kent. In FOREST Research Deliverable Report WP3.R1, pages 182-196. Department of Computing, Imperial College of Science, Technology and Medicine, London, January 1990.
- Factorisation of the factorial - an algorithm discovered by playing with transformations. E.A. Boiten. Technical Report 90-18, Dept. of Informatics, University of Nijmegen, November 1990.
- Assessing the quality of hypertext documents (keynote address to ECHT''90). P. J. Brown. In A. Rizk et al., editors, Hypertext: Concepts, Systems and Applications, pages 182-196. Cambridge University Press, January 1990.
- The 1992 directory standards - implications for earlier implementations of the directory. D W Chadwick. In Colloquium on the Global Directory, London, pages 182-196. IEE, April 1990.
- The directory and its implications for name registration. D W Chadwick. In Proceedings of the Open Systems and Interoperability Conference, London, pages 182-196. Blenheim Online Publications, March 1990.
- Tutorial on x.500 - the directory. D W Chadwick. In IFIP TCC 3rd Int Conf on Information Network and Data Communication, Lillehammer, pages 182-196, March 1990.
- A generally configurable multigrid implementation for the solution of three-dimensional elliptic equations on a transputer network. Mohamed Osama El-Giar and Tim Hopkins. Technical Report 79*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, October 1990.
- Specification and Verification using Dependent Types. F. K. Hanna, N. Daeche, and M. Longley. IEEE Trans. Software Engineering, SE-16(9):182-196, September 1990.
- Distributing matrix eigenvalue calculations over transputer arrays. Tim Hopkins and Barry Vowden. Technical Report 81*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, October 1990.
- Nag spline fitting routines on a graphics workstation - the story so far. Tim Hopkins. Technical Report 76*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, July 1990.
- Tail recursion without space leaks. Richard Jones. Technical Report 72*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, March 1990.
- Implementing SASL using Categorical Multi-combinators. Rafael D Lins and Simon Thompson. Technical Report 47*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, February 1990.
- Case studies in equational reasoning. U.H. Martin, D.A. Cohen, M.K.F. Lai, K.J. Norrie, and P. Watson. Technical report, Royal Holloway and Bedford New College, University of London, January 1990.
- Modular Object-Oriented Z Specifications. SRL Meira and ALC Cavalcanti. In JE Nicholls, editor, Z User Workshop, pages 182-196, Oxford, UK, 1990. Springer-Verlag.
- Diffusion Limited Aggregation: an Example of Real-Time Parallelisation. D.R. Morse, A.M. Welch, and P.H. Welch. In H.S.M. Zedan, editor, Real-Time Systems with Transputers, Proceedings of OUG 13, pages 182-196, University of York, UK, September 1990. Occam User Group, IOS Press, Netherlands. ISBN 90 5199 041 3.
- On restricted forms of enumeration reducibility. P. Watson. Annals of Pure and Applied Logic, 49:182-196, January 1990.
- A Generalized FFT Algorithm on Transputers. P.H. Welch and H. Roebbers. In Transputer Research and Applications 4, Proceedings of NATUG 4, pages 182-196, Ithaca, New York, October 1990. North America Transputer User Group, IOS Press, Netherlands. ISBN 90 5199 040 4.
- Transputer Models for a High-Performance Local Area Network Bridge. P.H. Welch and A.M. Sarrafan. In Tools and Techniques for Transputer Applications, Proceedings of OUG 12, pages 182-196, University of Exeter, UK, April 1990. Occam User Group, IOS Press, Netherlands. ISBN 90 5199 029 4.
- Multi-Priority Scheduling for Transputer-Based Real-Time Control. P.H. Welch. In H.S.M. Zedan, editor, Real-Time Systems with Transputers, Proceedings of OUG 13, pages 182-196, University of York, UK, September 1990. Occam User Group, IOS Press, Netherlands. ISBN 90 5199 041 3.
- Parallel Algorithms and Safety-Critical Standards. P.H. Welch. In Proceedings of the 10th Benelux Meeting on Systems and Control, pages 182-196, Eindhoven, Netherlands, March 1990.