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 1994
(Grouped by Nothing)

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

(1994) 8th Workshop Computer Systems. Technical Report , UNSPECIFIED, Dept. of Comp. Sys, Univ. of Amsterdam.

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

Addison, C. A., Getov, V. S., Hey, A. J. G., Hockney, R. W. and Wolton, I. C. (1994) Benchmarking for Distributed Memory Parallel Systems: Gaining Insight from Numbers. In: Parallel Computing 20, 1653.

Baker, K. R., Brown, A. D. and Currie, A. J. (1994) Optimisation Efficiency in Behavioural Synthesis. IEE Proceedings-G: Circuits, Devices and Systems, 141 (5). pp. 399-406.

Baker, K. R., Currie, A. J. and Brown, A. D. (1994) VHDL as a Behavioural Language. Advances in Modelling and Analysis B, 30 (3). pp. 49-55.

Berrington, N., DeRoure, D. C., Greenwood, R. and Henderson, P. (1994) Distribution and Change: Investigating two challenges for Process Enactment Systems. In: Software Process Technology. 152--162.

Butler, M. J. and Back, R. J. R. (1994) Applications of Summation and Product Operators in the Refinement Calculus. In: 6th Nordic Workshop on Programming Theory.

Butler, M. J., Hedman, E., Nilson, P., Ruksenas, R., Waldén, M. and Zhao, Y. (1994) Specification of a Program Derivation Editor. Technical Report , Computer Science, Åbo Akademi University.

Cownie, J., Dunlop, A. N., Hellberg, S., Hey, A. J. G. and Pritchard, D. J. (1994) Portable Parallel Programming Environment - The ESPRIT PPPE Project. In: Proceedings of Conference on Massively Parallel Processing Applications and Development, Delft, Netherlands. pp. 135-142.

Duff, I., Hey, A. J. G., Colbrooke, A. and Thole, C. (1994) Guest Editor Special Issue. In: The Eurosport Experience - Porting Real Applicateions to Parallel Systems - International Journal of Supercomputer Applications and HPC.

Dunlop, A. N., Hellberg, S. A., Hey, A. J. G., Naim, O. and Pritchard, D. J. (1994) Environments, Performance Analysis and Data Visualisation. In: Invited paper in Proceedings of the Second Workshop on "Environments and Tools for Parallel Scientific Computing.

Garratt, P. W. (1994) SCAMES: an Expert system to assist in using Capability Maturity Modelling. In: Fourth International Conference on Software Quality.

Hartel, P. H. and de Jong Frz, E. K. (1994) Towards testability in smart card operating system design. In: Proc. 1st Int. Conf. Smart card research and advanced application (CARDIS). pp. 73-88.

Hartel, P. H. and Frz, E. K. d. J. (1994) Prototyping a smart card architecture in a lazy functional language. Technical Report , UNSPECIFIED, Dept. of Comp. Sys, Univ. of Amsterdam.

Hartel, P. H. and Glaser, H. (1994) An application of a functional language in Operational Research. In: Research Journal. pp. 119-121.

Hartel, P. H., Glaser, H. and Wild, J. M. (1994) Compilation of functional languages using flow graph analysis. Software---practice and experience, 24 (2). pp. 127-173. ISSN ISSN 0038-0644

Hartel, P. H. and Vree, W. G. (1994) Experiments with destructive updates in a lazy functional language. Computer languages, 20 (3). pp. 177-192. ISSN ISSN 0096-0551

Hempel, R., Hey, A. J. G., McBryan, O. and Walker, D. W. (1994) Guest Editor Special Issue. In: Message Passing Interfaces. p. 415.

Henderson, P. (1994) Software Processes are Business Processes Too. In: Proc. 3rd Int. Conf. on the Software Process. pp. 181-182.

Hey, A. J. G. (1994) The Genesis Esprit Project - An Overview. In: Parallel Computing 20, 1605.

Hey, A. J. G. (1994) Invasiveness of Performance Instrumentation Measurements on Multiprocessors. In: IFIP Transactions A - Computer Science and Technology 44, 319.

Hey, A. J. G. and Ferrante, J. (1994) Portability and Performance for Parallel Processing. John Wiley & Sons.

Hey, A. J. G., Hellberg, S., Hey, A. J. G. and Pritchard, D. J. (1994) Portable Parallel Programming Environments - The ESPRIT PPPE Project. In: Invited paper at Workshop on "Design Methodologies for Microelectronics and Signal Processing, Gliwice, Poland.

Hey, A. J. G. and McBryan, O. (1994) Guest Editor Special Issue. In: SUPRENUM and Genesis. p. 415.

Marques-Silva, J. and Sakallah, K. (1994) Dynamic Search-Space Pruning Techniques in Path Sensitization. In: Design Automation Conference, June 1994, USA. pp. 705-711.

Meseguer, J., Montanari, U. and Sassone, V. (1994) On the Model of Computation of Place/Transition Petri Nets. In: 15th International Conference on Application and Theory of Petri Nets, ICATPN '94.. pp. 16-38.

Naim, O. and Hey, A. J. G. (1994) The De-Loop-Surface: An abstract performance data visualisation. In: Proceedings of HPCN Europe '94, Munich, Germany.

Nielsen, M., Sassone, V. and Winskel, G. (1994) Relationships between Models for Concurrency. In: REX School '93. A Decade of Concurrency: Reflections and Perspectives.. pp. 425-476.

Nitsche, U. (1994) Propositional Linear Temporal Logic and Language Homomorphisms. In: Proc. 3rd Int. Symp. on Logical Foundations of Computer Science (LFCS), LNCS 813. pp. 265-277.

Nitsche, U. (1994) Simple Homomorphisms and Linear Temporal Logic. Technical Report , UNSPECIFIED, GMD.

Nitsche, U. (1994) A Verification Method Based on Homomorphic Model Abstraction. In: Proc. 13th Annual ACM Symp. on Principles of Distributed Computing (PODC). p. 393.

Nitsche, U. (1994) Verifying Temporal Logic Formulas in Abstractions of Large Reachability Graphs. In: Proc. National Workshop on Algorithms and Tools for Petri Nets (AWP). pp. 42-47.

Nitsche, U. (1994) Propositional Linear Temporal Logic and Language. In: Proceedings of the 3rd International Symposium on Logical Foundations of Computer Science (LFCS'94). 265--277.

Nitsche, U. (1994) A Verification Method Based on Homomorphic Model Abstraction. In: Proceedings of the 13th Annual ACM Symposium on Principles of Distributed Computing (PODC'94). p. 393.

Nitsche, U. (1994) Verifying Temporal Logic Formulas in Abstractions of Large Reachability Graphs. In: National Workshop on Algorithms and Tools for Petri Nets (Algorithmen und Werkzeuge für Petrinetze, AWP'94). p. 42.

Pritchard, D. J., Dunlop, A. N., Cownie, J., Hellberg, S. A. and Hey, A. J. G. (1994) A Portable Parallel Programming Environment.

Sassone, V. (1994) An Approach to the Category of Net Computations. In: 6th Nordic Workshop on Programming Theory, NWPT '94.. pp. 385-399.

Sassone, V. (1994) On the Semantics of Petri Nets: Processes, Unfoldings and Infinite Computations. Technical Report TD-6-94, Dipartimento di Informatics, Università di Pisa.

Scott, C. J., Surridge, M. and Hey, A. J. G. (1994) Simulation and modelling applications on MPP Systems. In: International Conference on "Massively Parallel Processing Applications and Development".

Sivess, V. J. D. and Glaser, H. (1994) Coherent Metaphor Sequences in the Teaching of Programming. In: Software Engineering in Higher Education. pp. 251-258.

This list was generated on Fri Apr 18 00:55: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