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 Current ECS Groups > Electronic and Software Systems in 1995
(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: 13.

Al-Hashimi, B. M. (1995) The Art of SPICE Simulation: Analog and Digital. p. 250, CRC Press, The Art of SPICE Simulation: Analog and Digital. ISBN 0849378958

Al-Hashimi, B. M. (1995) Behavioral models of electronic filters. In: UNSPECIFIED. pp. 51-5.

AL-Hashimi, B. M. (1995) Current mode filters: design, simulation and implementation. In: UNSPECIFIED. pp. 61-5.

Back, R. J. R. and Butler, M. J. (1995) Exploring Summation and Product Operators in the Refinement Calculus. In: Mathematics of Program Construction.

Butler, M. J. and Morgan, C. C. (1995) Action Systems, Unbounded Nondeterminism, and Infinite Traces. Formal Aspects of Computing, 7 . pp. 37-53. ISSN 0934-5043

Debbage, M., Hill, M. B. and Nicole, D. A. (1995) An Intterface to a Reliable Packet Delivery Service for Parallel Systems. ISSN 1045-9219

Dunlop, A., Hernandez, E., Naim, O., Hey, A. J. G. and Nicole, D. (1995) A Toolkit for Optimizing Parallel Performance. In: Proceedings of HPCN Europe '95: published in Lecture Notes in Computer Science. p. 548.

Dunlop, A. N., Hey, A. J. G., Nicole, D. A. and Pritchard, D. J. (1995) Performance Estimation for Parallel Performance Optimisation. Supercomputing, 11 . pp. 19-31. ISSN 0168-7875

Garratt, P. W. (1995) The Software Management Game. Simulation & Gaming, l26 (1). pp. 105-109. ISSN ISSN 1046-8781

Gravell, A. M. (1995) A First Order Refinement Calculus. Technical Report , UNSPECIFIED, Dept. of Electronics and Computer Science, University of Southampton,UK.

Gravell, A. M. and Pratten, C. H. (1995) Formal Methods and Open Systems. Software---concepts and tools, 16 . pp. 183-188.

Gunn, S. R. and Nixon, M. S. (1995) A Dual Active Contour for Improved Snake Performance. Technical Report , UNSPECIFIED, University of Southampton.

Gunn, S. R. and Nixon, M. S. (1995) Improving Snake Performance via a Dual Active Contour. In: Computer Analysis of Images and Patterns, Prague, Czech Republic. pp. 600-605.

This list was generated on Sun Feb 7 00:55:43 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.