The University of Southampton
University of Southampton Institutional Repository

Items where Division is "Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems" and Year is 1995

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
[tool] Add To Shelf...
Group by: No Grouping | Authors/Creators | Item Type
Number of items: 13.


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

Debbage, M, Hill, M B and Nicole, D A (1995) An Intterface to a Reliable Packet Delivery Service for Parallel Systems Default journal

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.

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

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


Al-Hashimi, B.M. (1995) The Art of SPICE Simulation: Analog and Digital: 1st, CRC Press, The Art of SPICE Simulation: Analog and Digital

Conference or Workshop Item

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

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

Back, R.J.R. and Butler, M.J., (1995) Exploring Summation and Product Operators in the Refinement Calculus Möller, B. (ed.) At Mathematics of Program Construction.

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

Gunn, S.R. and Nixon, M.S., (1995) Improving Snake Performance via a Dual Active Contour Hlavac, V. and Sara, R. (eds.) At Computer Analysis of Images and Patterns, Czech Republic. , pp. 600-605.


Gravell, A. M. (1995) A First Order Refinement Calculus s.n.

Gunn, S.R. and Nixon, M.S. (1995) A Dual Active Contour for Improved Snake Performance s.n.

This list was generated on Thu Apr 13 10:45:34 2017 BST.
Atom RSS 1.0 RSS 2.0

Contact ePrints Soton:

ePrints Soton supports OAI 2.0 with a base URL of

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.