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, 37-53.
Debbage, M, Hill, M B and Nicole, D A (1995) An Intterface to a Reliable Packet Delivery Service for Parallel Systems.
Dunlop, A N, Hey, A J G, Nicole, D A and Pritchard, D J (1995) Performance Estimation for Parallel Performance Optimisation. Supercomputing, 11, 19-31.
Garratt, P. W. (1995) The Software Management Game. Simulation & Gaming, l26, (1), 105-109.
Gravell, A. M. and Pratten, C. H. (1995) Formal Methods and Open Systems. Software---concepts and tools, 16, 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. UNSPECIFIED IEE Colloquium on Digital and Analogue Filters and Filtering Systems, 61-5.
Al-Hashimi, B.M. (1995) Behavioral models of electronic filters. UNSPECIFIED IEE Colloquium on Analogue Simulation, 51-5.
Back, R.J.R. and Butler, M.J. (1995) Exploring Summation and Product Operators in the Refinement Calculus. In, Mathematics of Program Construction Springer-Verlag.
Dunlop, A, Hernandez, E, Naim, O, Hey, A J G and Nicole, D (1995) A Toolkit for Optimizing Parallel Performance. Proceedings of HPCN Europe '95: published in Lecture Notes in Computer Science Springer-Verlag, 548.
Gunn, S.R. and Nixon, M.S. (1995) Improving Snake Performance via a Dual Active Contour. Computer Analysis of Images and Patterns, Prague, Czech Republic, Springer Verlag, 600-605.
Gravell, A. M. (1995) A First Order Refinement Calculus.
Gunn, S.R. and Nixon, M.S. (1995) A Dual Active Contour for Improved Snake Performance.