Intranet Tools

nb. next round of REF2013 will NOT be using data from eprints.ecs, but the central university REF interface.

RSS 1.0 Feed
RSS 2.0 Feed
Atom Feed

Important message for ECS staff
From 1st March 2012 ECS EPrints will be merging with the central Southampton EPrints Repository (ePrints Soton) and will no longer be accepting new publications - click here to find out more.

Items from Old ECS Groups > Dependable Systems and Software Engineering Research Group in 1990
(Grouped by Item Type)

Up a level
Export as [feed] Atom [feed] EPP RSS 2.0 [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Creator/Authors Name
Number of items: 17.


Edmunds, G. (1990) Experiences using CAAPE: computer assisted assessment of programming exercises. Computers & Education, 15 (1-3). pp. 45-48. ISSN ISSN 0360-1315

Hartel, P. H. (1990) A comparison of three garbage collection algorithms. Structured programming, 11 (3). pp. 117-127. ISSN ISSN 0935-1183

Conference or Workshop Item

Butler, M. J. (1990) Service Extension at the Specification Level. In: Z User Meeting.

Garratt, P. W. (1990) MULTIPLAN: A 'what-if' planning tool for system development projects. In: International Conference on Management Technology.

Garratt, P. W., Sims, G. and Smith, S. (1990) Computer Science Systems Laboratory. In: Research Journal. pp. 183-184.

Glaser, H. (1990) Implementing Functional Languages on the Transputer. In: Research Journal. pp. 49-52.

Glaser, H., Cox, S. M. and Reeve, M. J. (1990) Implementing Functional Languages on the Transputer. In: Proc. Workshop on Functional Programming. pp. 287-295.

Glaser, H., Hartel, P. H. and Wild, J. M. (1990) A pragmatic approach to the analysis and compilation of lazy functional languages. In: Proc. 2nd Int. Conf. Parallel and distributed processing. pp. 169-184.

Gravell, A. M. (1990) Minimisation in Formal Specification and Design. In: Proc. Z User Workshop. pp. 32-45.

Hey, A. J. G. (1990) Concurrent Supercomputing in Europe. In: Invited paper at 5th Distributed Memory Computing Conference, South Carolina.

Hey, A. J. G. (1990) Experience with MIMD Message-Passing Systems - Towardsd General Purpose Parallel Computing. In: Invited paper at the Prisma Conference, Noordwijk.

Hey, A. J. G. (1990) Parallel Processing - Window on a New World. In: BCS Computer Bulletin 2, 8.

Hey, A. J. G. (1990) Scientific Applications on Transputer Arrays - Some Experiments in MIMD Parallelism". In: Invited paper at the 3rd Transputer/Occam International Conference.

Hey, A. J. G. (1990) Supercomputing with Transputers - Past, Present and Future". In: Invited paper at the 1990 International Conference on "Supercomputers", Amsterdam.

Hey, A. J. G. and Kabir, P. K. (1990) Nuclear Polorization Transfer in High Energy Electron Scattering. In: UNSPECIFIED.

Technical Report

Garratt, P. W. (1990) Predicting the Effects of CASE tools by Simulation. Technical Report , UNSPECIFIED, Dept. of Electr. and Comp. Sci, Univ. of Southampton, UK.

Harrison, R. and Glaser, H. (1990) The Gamma model as a functional programming tool. Technical Report , UNSPECIFIED, Dept. of Electr. and Comp. Sci, Univ. of Southampton, UK.

This list was generated on Sat Feb 13 00:53:54 2016 GMT.
  Welcome from Deputy Head of School (Research) Research Prospectus Industrial Partnerships New Research Students Notes for Guidance New Research Students Notes for Guidance
The ECS EPrints Repository supports OAI 2.0 with a base URL of

EPrints is free software developed by the University of Southampton to facilitate Open Access to research.