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

Article

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. 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. and Pratten, C. H. (1995) Formal Methods and Open Systems. Software---concepts and tools, 16 . pp. 183-188.

Conference or Workshop Item

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.

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.

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.

Book

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

Technical Report

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

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