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.
Al-Hashimi, B. (1996) current mode filter structure based on dual output transconductance amplifiers. Electroincs Letters, 32, (1), 25-6.
Al-Hashimi, B.M., Whitaker, Jerry C. (ed.) (1996) The Electroincs Handbook: 1st, CRC Press in cooperation with IEEE Press
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) An Approach to the Design of Distributed Systems with B AMN (extended version).
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. (1996) Stepwise Refinement of Communicating Systems. Science of Computer Programming, 27, (2), 139-173.
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.
Crowder, R.M., Nadesakumar, A. and Wills, G. (1996) Electrically Powered Integrated Control Actuation.
Gravell, A. M. and Henderson, P. (1996) Executing Formal Specifications Need Not be Harmful. Software Engineering J., 11, (2), 104-110.
Gunn, S.R. (1996) Dual Active Contour Models for Image Feature Extraction. University of Southampton, Electronics and Computer Science : University of Southampton, Doctoral Thesis .
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.
K, Thomas (1996) Parallel Progarmming in Ada on Arrays of Transputers. Transputer Communications, 3(4), 261-271.
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.
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.
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.