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 1992
(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 | G | H | L | M | S | V | W | Z
Number of items: 20.


Baker, K. R., Currie, A. J. and Nichols, K. G. (1992) Combined Control and Data Path Synthesis Based on Accurate Cost Functions. Technical Report , UNSPECIFIED, University of Southampton.

Barendregt, H. P., Beemster, M., Hartel, P. H., Hertzberger, L. O., Hofman, R. F. H., Langendoen, K. G., Li, L. L., Milikowski, R., Mulder, J. C. and Vree, W. G. (1992) Programming clustered parallel reduction machines. Technical Report , UNSPECIFIED, Dept. of Comp. Sys, Univ. of Amsterdam.

Butler, M. J. (1992) A CSP Approach to Action Systems. PhD thesis, Oxford University.


Gee, D. L. and Hey, A. J. G. (1992) Scientific Applications and Parallel Computing. In: Invited paper at the IMA Conference on Parallel Computation, Oxford.

Gravell, A. M. (1992) 1-2 trees and $\sigma$-trees: balanced structures for random sequential data. Technical Report , Dept. of Electronics and Computer Science, University of Southampton, UK.

Gravell, A. M. (1992) Constructive Refinement of First Order Specifications. In: Proc. Proceedings of the 5th BCS FACS Refinement Workshop. pp. 181-210.


Harrison, R. (1992) A software development methodology. Technical Report , UNSPECIFIED, Dept. of Electr. and Comp. Sci, Univ. of Southampton, UK.

Harrison, R. and Glass, C. A. (1992) Dynamic programming in a pure functional language. Technical Report , UNSPECIFIED, Dept. of Electr. and Comp. Sci, Univ. of Southampton, UK.

Hartel, P. H. and Vree, W. G. (1992) Arrays in a lazy functional language -- a case study: the fast Fourier transform. In: Proc. 2nd Int. Conf. Arrays, functional languages, and parallel systems (ATABLE). pp. 52-66.

Hey, A. J. G. (1992) Applications on Parallel Universal Message-Passing Machines. In: Invited paper at SERC/DTI Conference on "Transputer Applications - Progress and Prospects", Reading.

Hey, A. J. G. (1992) Parallel Universal Message-Passing and Applications. In: Invited paper at International Conference on "Transputers '92 - Advanced Research and Industrial Applications".

Hey, A. J. G. and Paris, E. (1992) Parallel and Distributed Workstation Systems. In: Future Generation Computer Systems.


Langendoen, K. G. and Hartel, P. H. (1992) FCG: a code generator for lazy functional languages. In: Compiler construction (CC 92), LNCS 641. pp. 278-296.


Meseguer, J., Montanari, U. and Sassone, V. (1992) On the Semantics of Petri Nets. In: 3rd International Conference on Concurrency Theory, CONCUR 92.. pp. 286-301.

Montanari, U. and Sassone, V. (1992) Dynamic Congruence vs. Progressing Bisimulation for CCS. Fundamenta Informaticae, 16 (2). pp. 171-199.


Shklyar, D. R., Nunn, D., Smith, A. J. and Sazhin, S. S. (1992) An investigation into the Nonlinear Frequency Shift in Magnetospherically propagated VLF Pulses. In: UNSPECIFIED. pp. 19389-402.


Verden, A. R. and Glaser, H. (1992) An AND-Parallel Distributed Prolog Executor. In: Distributed Prolog. pp. 143-158.

Verden, A. R. and Glaser, H. (1992) Intelligent Backtracking in AND-Parallel Prolog. In: Proc. PHOENIX Seminar and Workshop on Declarative Programming. pp. 116-132.


Wild, J. M., Glaser, H. and Hartel, P. H. (1992) Compiling lazy functional languages: A storage management perspective. In: Research Journal. pp. 39-42.


Zwolinski, M., Glaser, H. and Peh, K. (1992) Circuit Simulation - A Functional Programming Approach. In: Research Journal. pp. 99-102.

This list was generated on Sat Feb 6 00:54:13 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.