Items from Old ECS Groups > Dependable Systems and Software Engineering Research Group in 1992
(Grouped by Creator/Authors Name)

B

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.

G

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 -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.

H

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.

L

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.

M

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.

S

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.

V

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.

W

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

Z

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