Intranet Tools

nb. next round of REF2013 will NOT be using data from eprints.ecs, but the central university REF interface.

RSS 1.0 Feed
RSS 2.0 Feed
Atom Feed
 
Warning

Important message for ECS staff
From 1st March 2012 ECS EPrints will be merging with the central Southampton EPrints Repository (ePrints Soton) and will no longer be accepting new publications - click here to find out more.

Items from Current ECS Groups > Electronic and Software Systems in 1996
(Grouped by Item Type)

Up a level
Export as [feed] Atom [feed] EPP RSS 2.0 [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Creator/Authors Name
Number of items: 21.

Article

AL-HASHIMI, B. M. (1996) Understand the Fundamental of Passive Video Filters. Microwave & RF, 35 (5). pp. 171-78.

Butler, M. J. (1996) Stepwise Refinement of Communicating Systems. Science of Computer Programming, 27 (2). pp. 139-173. ISSN ISSN 0167-6423

Gravell, A. M. and Henderson, P. (1996) Executing Formal Specifications Need Not be Harmful. Software Engineering J., 11 (2). pp. 104-110. ISSN ISSN 0268-6961

Conference or Workshop Item

Al-Hashimi, B. M. (1996) New dual output transconductance amplifier based biquad. In: UNSPECIFIED. pp. 1200-1204.

Butler, M. J. (1996) Calculational Derivation of Algorithms on Tree-based Pointer Structures. In: BCS-FACS Refinement Workshop.

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. pp. 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. pp. 129-148.

Butler, M. J. and Waldén, M. (1996) Distributed System Development in B. In: Proc. First B Conf.. pp. 155-168.

Gunn, S. R. and Nixon, M. S. (1996) Snake Head Boundary Extraction using Local and Global Energy Minimisation. In: IEEE Int. Conf. on Pattern Recognition, Vienna, 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. In: UNSPECIFIED. pp. 91-6.

Kollig, P. and AL-Hashimi, B. M. (1996) Design and implementation of digital systems for automatic control based on behavioral descriptions. In: UNSPECIFIED. pp. 21-4.

Moniri, M. and Al-Hashimi, B. M. (1996) Generation of current mode filter structures using dual output transconductance amplifiers. In: UNSPECIFIED. pp. 903-906.

Nicole, D. A. and Sivaram, R. (1996) SCOTT: The Southampton COFF Tools for Transputers. In: 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. In: UNSPECIFIED. pp. 627-30.

Book

Al-Hashimi, B. M. (1996) The Electroincs Handbook. pp. 1986-2004, CRC Press in cooperation with IEEE Press. ISBN 0849383455

Technical Report

Butler, M. J. (1996) An Approach to the Design of Distributed Systems with B AMN (extended version). Technical Report , Electronics and Computer Science, Univ. of Southampton.

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

Thesis

Gunn, S. R. (1996) Dual Active Contour Models for Image Feature Extraction. PhD thesis, University of Southampton.

Other

Al-Hashimi, B. (1996) current mode filter structure based on dual output transconductance amplifiers.

K, T. (1996) Parallel Progarmming in Ada on Arrays of Transputers.

Lind, L. F., Al-Hashimi, B. M. and Somerset, W. P. (1996) Linear programming design of FIR raised cosine filters with >100% excess bandwidth.

This list was generated on Mon Sep 1 00:59:52 2014 BST.
  Welcome from Deputy Head of School (Research) Research Prospectus Industrial Partnerships New Research Students Notes for Guidance New Research Students Notes for Guidance
The ECS EPrints Repository supports OAI 2.0 with a base URL of http://eprints.ecs.soton.ac.uk/cgi/oai2

EPrints is free software developed by the University of Southampton to facilitate Open Access to research.
EPrints