Items where Division is "Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems" and Year is 1996

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
[tool] Add To Shelf...
Group by: No Grouping | Authors/Creators | Item Type
Jump to: A | B | C | G | H | K | L | M | N | S
Number of items: 21.

A

AL-HASHIMI, B.M., Browne, Jack (ed.) (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. (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.

B

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.

C

Crowder, R.M., Nadesakumar, A. and Wills, G. (1996) Electrically Powered Integrated Control Actuation.

G

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.

H

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

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.

L

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.

M

Moniri, M. and Al-Hashimi, B.M. (1996) Generation of current mode filter structures using dual output transconductance amplifiers. UNSPECIFIED IEEE Proceedings of the 39th Midwest Symposium on Circuits and Systems, 903-906.

N

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.

S

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.

This list was generated on Tue Aug 19 02:59:14 2014 BST.