Items from Current ECS Groups > Electronic and Software Systems in 1995
(Grouped by Nothing)

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.