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 1993
(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: A | B | C | D | G | H | M | S
Number of items: 40.

A

Addison, C. A., Getov, V. S., Hockney, R. W. and Wolton, I. C. (1993) The GENESIS Distributed-Memory Benchmarks. pp. 257-271, North Holland.

Addison, C. A. and Hey, A. J. G. (1993) The Genesis Distributed Memory Benchmarks, Part 1, Methodology and General Relatively Benchmark with Results for the SUPRENHUM Computer. In: Concurrency: Practive and Experience 5, 1.

B

Baker, K. R., Currie, A. J. and Nichols, K. G. (1993) Multiple Objective Optimisation in a Behavioural Synthesis System. IEE Proceedings-G: Circuits, Systems and Devices, 140 (4). pp. 253-260.

Beemster, M., Hartel, P. H., Hertzberger, L. O., Hofman, R. F. H., Langendoen, K. G., Li, L. L., Milikowski, R., Vree, W. G., Barendregt, H. P. and Mulder, J. C. (1993) Experience with a clustered parallel reduction machine. Future Generation Computer Systems, 9 (3). pp. 175-200. ISSN ISSN 0167-739X

Butler, M. J. (1993) Feature Interaction Analysis Using Z. Technical Report , Research, Broadcom Eireann Research, Dublin. (Unpublished)

Butler, M. J. (1993) Refinement and Decomposition of Value-Passing Action Systemss in the Refinement Calculus. In: CONCUR'93.

Butler, M. and Airchinnigh, M. M. a. (1993) Service Specification Using Z. Technical Report A222BR02, SCORE Project (EU RACE Project R2017), Broadcom Eireann Research Dublin.

Butler, M. and McDonnell, E. (1993) Experiment D: Application of Z to IN-Services Test Case. Technical Report , UNSPECIFIED, SCORE Project (EU RACE Project R2017).

C

Carpenter, D. B. and Glaser, H. (1993) A Grid-based Scientific Problem, Expressed in Haskell. J. of Functional Programming, 3 (1). pp. 29-31. ISSN ISSN 0956-7968

D

Di Meglio, R. and Sassone, V. (1993) A Unification Free Introduction to Logic Programming. In: 8th Meeting on Logic Programming, GULP '93.

Dongarra, J. J., Hemel, R., Hey, A. J. G. and Walker, D. W. (1993) Proposal for a User-Level, Message Passing Interface in a Distributed Memory Environment.

Dongarra, J. J., Hempel, R., Hey, A. J. G. and WWalker, D. (1993) A Draft Standard for Message Passing on Distributed Memory Computers. In: Invited paper in Proceedings of the fifth ECMWF Workshop on the Use of Parallel Processors in Meteorology. "Parallel Supercomputing in Atrmospheric Science".

G

Garratt, P. W. and Karami, D. (1993) Software Design through Artificial Expertise. In: Proc. 1st Int. Conf. on Software Quality Management. pp. 918-834.

Getov, V. S., Brandes, T., Chapman, B., Dunlop, A., Hey, A. J. G. and Pritchard, D. J. (1993) Comparison of HPF-like Systems. In: UNSPECIFIED.

Getov, V. S., Brandes, T., Chapman, B., Dunlop, A., Hey, A. J. G. and Pritchard, D. J. (1993) Comparison of HPF-like Systems. In: UNSPECIFIED.

Getov, V. S., Hey, A. J. G., Hockney, R. W. and Wolton, I. C. (1993) The Genesis Distributed Memory Benchmarks.

Getov, V. S., Hockney, R. W. and Hey, A. J. G. (1993) Performance Analysis of Distributed Applications by Suitability Functions. In: Proceedings of Conference on Programming Models for Massively Parallel Computers, Berlin.

Glaser, H. and DeRoure, D. C. (1993) Parallel and symbolic computing in the undergraduate curriculum. In: Parallel Processing in Education.

Glaser, H. and Harrison, R. (1993) Data Abstraction in Modula 2. Information and Software Technology, 35 (11/12). pp. 619-626. ISSN ISSN 0950-5849

Glaser, H. and Roure, D. D. (1993) Parallel and symbolic computing in the undergraduate curriculum. Technical Report , Electronics & Computer Science, Dept. of Electr. and Comp. Sci, Univ. of Southampton, UK.

Glaser, H. and Sivess, V. (1993) An applicative language in the introductory programming unit. Technical Report , UNSPECIFIED, Dept. of Electr. and Comp. Sci, Univ. of Southampton, UK.

Glaser, H. and Sivess, V. (1993) Un language fonctionnel pour le cours d'initiation à la programmation. Spécif, 93 . pp. 14-25.

H

Harrison, R. (1993) Abstract data types in Standard ML. John Wiley & Sons.

Harrison, R. (1993) Object-oriented programming with functional languages. Technical Report , UNSPECIFIED, Dept. of Electr. and Comp. Sci, Univ. of Southampton, UK.

Harrison, R. (1993) The use of functional programming languages in teaching computer science. J. Functional Programming, 3 (1). pp. 67-75. ISSN ISSN 0956-7968

Hartel, P. H., Glaser, H. and Wild, J. M. (1993) FAST compiler user's guide. In: FAST: Functional programming for arrays of transputers -- The collected papers. pp. 247-264.

Hartel, P. H. and Langendoen, K. G. (1993) Benchmarking implementations of lazy functional languages. In: Proc. 6th Int. Conf. Functional programming languages and computer architecture. pp. 341-349.

Hellberg, S. A., Hey, A. J. G., Glendinning, I., Merlin, J. H. and Pritchard, D. J. (1993) Intermediate report on standards activity. In: UNSPECIFIED.

Hellberg, S. A., Hey, A. J. G., Glendinning, I. and Pritchard, D. J. (1993) Intermediate Report on Liaison on Dissemination. In: UNSPECIFIED.

Henderson, P. (1993) Functional Programming, Formal Specification and Rapid Prototyping. In: Software Engineering in Europe. pp. 241-250.

Henderson, P. (1993) Object-Oriented Specification and Design with C++. McGraw-Hill.

Henderson, P. and Pratten, G. D. (1993) Implementing Potential-for-change. ICL Technical Journal, 8 (3). pp. 383-397. ISSN ISSN 0142-1557

Hey, A. J. G. (1993) Portable Parallel Processing Environments - the Esprit PPPE Project. In: Invited paper at Unicom Seminar on "The Commercial Dimensions of Parallel Computing".

M

Meseguer, J., Montanari, U. and Sassone, V. (1993) ω-Ind Completion of Monoidal Categories and Infinite Petri Net Computations. In: Workshop on Topology and Completion in Semantics, 1993, Chartres, France. 51 pp.. (Unpublished)

Muller, H. L., Hartel, P. H. and Hertzberger, L. O. (1993) Evaluation of abstract simulation models. Technical Report , UNSPECIFIED, Dept. of Comp. Sys, Univ. of Amsterdam.

S

Sassone, V. (1993) A Note on Logic Programming Fixed-Point Semantics. In: 8th Meeting on Logic Programming, GULP '93..

Sassone, V., Nielsen, M. and Winskel, G. (1993) A Classification of Models for Concurrency. In: 4th International Conference on Concurrency Theory, CONCUR '93.. pp. 82-96.

Sassone, V., Nielsen, M. and Winskel, G. (1993) Deterministic Behavioural Models for Concurrency. In: 18th International Symposium on the Mathematical Foundations of Computer Science, MFCS '93.. pp. 682-692.

Soper, P. J., Hall, W., Pasha, M. and Heath, I. (1993) Knowledge Based Hypermedia. In: Proceedings of Workshop on Logic Programming Support Environments, University of Edinburgh.

Syed-Mustaffa, S. M. S. and Glaser, H. (1993) Predicting Optimal AND-Parallelism at Compile Time. In: Proc. Workshop on Concurrent, Distributed and Parallel Implementation of Logic Programming Systems. pp. 89-100.

This list was generated on Tue Sep 16 00:54:21 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