Items where Division is "Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems" and Year is 1996
|Up a level|
AL-HASHIMI, B.M., Browne, Jack (eds.) (1996) Understand the Fundamental of Passive Video Filters. Microwave & RF, 35, (5), 171-78.
Butler, M. J. (1996) Stepwise Refinement of Communicating Systems. Science of Computer Programming, 27, (2), 139-173.
Gravell, A. M. and Henderson, P. (1996) Executing Formal Specifications Need Not be Harmful. Software Engineering J., 11, (2), 104-110.
Al-Hashimi, B.M., Whitaker, Jerry C. (ed.) (1996) The Electroincs Handbook: 1st, CRC Press in cooperation with IEEE Press
Conference or Workshop Item
Al-Hashimi, B.M. (1996) New dual output transconductance amplifier based biquad. UNSPECIFIED IEEE International Symposium on Circuits & Systems, 1200-1204.
Butler, M. J. (1996) Calculational Derivation of Algorithms on Tree-based Pointer Structures. In, BCS-FACS Refinement Workshop Springer-Verlag Electronic Workshops in Computing.
Butler, M. J. and Långbacka, T. (1996) Program Derivation using the Refinement Calculator. In, Proc. 9th Int. Conf. on Theorem Proving in Higher Order Logics (TPHOLs'96), LNCS 1125 Springer-Verlag, Berlin, 93-108.
Butler, M. J., Sekerinski, E. and Sere, K. (1996) An Action System Approach to the Steam Boiler Problem. In, Formal Methods for Industrial Applications -- Specifying and Programming the Steam Boiler Control, LNCS 1165 Springer-Verlag, Berlin, 129-148.
Butler, M. J. and Waldén, M. (1996) Distributed System Development in B. In, Proc. First B Conf. IRIN (Institut de Recherche en Informatique de Nantes), 155-168.
Gunn, S.R. and Nixon, M.S. (1996) Snake Head Boundary Extraction using Local and Global Energy Minimisation. IEEE Int. Conf. on Pattern Recognition, Vienna, Austria, , 581-585.
Holdcroft, D, Moniri, M. and AL-Hashimi, B.M. (1996) Comparative study of recursive digital filters using Z and delta operators. UNSPECIFIED IEE Colloquium on Digital and Analogue Filters and Filtering Systems, 91-6.
Kollig, P. and AL-Hashimi, B.M. (1996) Design and implementation of digital systems for automatic control based on behavioral descriptions. UNSPECIFIED IEE Colloquium on Digital System Design Using Synthesis Techniques, 21-4.
Moniri, M. and Al-Hashimi, B.M. (1996) Generation of current mode filter structures using dual output transconductance amplifiers. IEEE Proceedings of the 39th Midwest Symposium on Circuits and Systems , 903-906.
Nicole, Denis A and Sivaram, Rajini (1996) SCOTT: The Southampton COFF Tools for Transputers. WOTUG-19, Proceedings of the 19th World occam and transputer user group technical meeting IOS Press, 191.
Somerset, W., Al-Hashimi, B.M. and Moniri, M. (1996) A computer program for the design and analysis of linear phase FIR raised cosine filters. UNSPECIFIED IEEE Proceedings of the 39th Midwest Symposium on Circuits and Systems, 627-30.
Butler, M. J. (1996) An Approach to the Design of Distributed Systems with B AMN (extended version).
Crowder, R.M., Nadesakumar, A. and Wills, G. (1996) Electrically Powered Integrated Control Actuation.
Gunn, S.R. (1996) Dual Active Contour Models for Image Feature Extraction. University of Southampton, Electronics and Computer Science : University of Southampton, Doctoral Thesis .
Al-Hashimi, B. (1996) current mode filter structure based on dual output transconductance amplifiers. Electroincs Letters, 32, (1), 25-6.
K, Thomas (1996) Parallel Progarmming in Ada on Arrays of Transputers. Transputer Communications, 3(4), 261-271.
Lind, L.F., Al-Hashimi, B. M. and Somerset, W.P. (1996) Linear programming design of FIR raised cosine filters with >100% excess bandwidth. Electroincs Letters, 32, (5), 436-7.