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(ed.) (1996) Understand the Fundamental of Passive Video Filters Microwave & RF, 35, (5), pp. 171-78.
Al-Hashimi, B. (1996) current mode filter structure based on dual output transconductance amplifiers
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 , pp. 1200-1204.
Butler, M. J. (1996) An Approach to the Design of Distributed Systems with B AMN (extended version) s.n.
Butler, M. J., (1996) Calculational Derivation of Algorithms on Tree-based Pointer Structures Jifeng, He, Cooke, J. and Wallace, P. (eds.) At BCS-FACS Refinement Workshop.
Butler, M. J. (1996) Stepwise Refinement of Communicating Systems Science of Computer Programming, 27, (2), pp. 139-173.
Butler, M. J. and Långbacka, T., (1996) Program Derivation using the Refinement Calculator Wright, J. von, Grundy, J. and Harrison, J. (eds.) At Proc. 9th Int. Conf. on Theorem Proving in Higher Order Logics (TPHOLs'96), LNCS 1125. , pp. 93-108.
Butler, M. J., Sekerinski, E. and Sere, K., (1996) An Action System Approach to the Steam Boiler Problem Abrial, J.-R., Börger, E. and Langmaack, H. (eds.) At Formal Methods for Industrial Applications -- Specifying and Programming the Steam Boiler Control, LNCS 1165. , pp. 129-148.
Butler, M. J. and Waldén, M., (1996) Distributed System Development in B Habrias, H. (ed.) At Proc. First B Conf.. , pp. 155-168.
Crowder, R.M., Nadesakumar, A. and Wills, G. (1996) Electrically Powered Integrated Control Actuation. s.n.
Gravell, A. M. and Henderson, P. (1996) Executing Formal Specifications Need Not be Harmful Software Engineering J., 11, (2), pp. 104-110.
Gunn, S.R. and Nixon, M.S. (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 At IEEE Int. Conf. on Pattern Recognition, Austria. , pp. 581-585.
Holdcroft, D, Moniri, M. and AL-Hashimi, B.M. (1996) Comparative study of recursive digital filters using Z and delta operators , pp. 91-6.
K, Thomas (1996) Parallel Progarmming in Ada on Arrays of Transputers
Kollig, P. and AL-Hashimi, B.M. (1996) Design and implementation of digital systems for automatic control based on behavioral descriptions , pp. 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
Moniri, M. and Al-Hashimi, B.M. (1996) Generation of current mode filter structures using dual output transconductance amplifiers At IEEE Proceedings of the 39th Midwest Symposium on Circuits and Systems. , pp. 903-906.
Nicole, Denis A and Sivaram, Rajini (1996) SCOTT: The Southampton COFF Tools for Transputers At WOTUG-19, Proceedings of the 19th World occam and transputer user group technical meeting. , p. 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 , pp. 627-30.