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

Article

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

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

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 Sivess, V. (1993) Un language fonctionnel pour le cours d'initiation à la programmation. Spécif, 93 . pp. 14-25.

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

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

Conference or Workshop Item

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.

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

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

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

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.

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

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)

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.

Book

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

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

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

Technical Report

(1993) Annual report 1992. Technical Report , UNSPECIFIED, Dept. of Comp. Sys, Univ. of Amsterdam.

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

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

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.

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

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.

Other

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.

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

This list was generated on Thu Oct 23 00:54:30 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