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
 
Warning

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 Creator/Authors Name)

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
Jump to: B | E | G | H
Number of items: 17.

B

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

E

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

G

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

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.

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.

H

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.

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

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.

This list was generated on Mon Sep 15 00:54:20 2014 BST.
  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 http://eprints.ecs.soton.ac.uk/cgi/oai2

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