Items where Division is "Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems" and Year is 1995
|Up a level|
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.