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

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
Number of items: 11.

Butler, M.J. and Back, R.J.R. (1994) Applications of Summation and Product Operators in the Refinement Calculus. 6th Nordic Workshop on Programming Theory

Butler, M.J., Hedman, E., Nilson, P., Ruksenas, R., Waldén, M. and Zhao, Y. (1994) Specification of a Program Derivation Editor. (Reports in Mathematics and Computer Science A94-15).

Debbage, M, Hill, M, Nicole, D A and Wykes, S M (1994) Southampton's Portable Occam Compiler (SPOC). , 40.

Garratt, P. W. (1994) SCAMES: an Expert system to assist in using Capability Maturity Modelling. Fourth International Conference on Software Quality Association for Software Quality Control.

Gunn, S.R. and Nixon, M.S. (1994) A Dual Active Contour for Head Boundary Extraction. Colloq. on Image Processing for Biometric Measurement , 6/1--6/4.

Gunn, S.R. and Nixon, M.S. (1994) A Dual Active Contour Including Parameteric Shape.

Gunn, S.R. and Nixon, M.S. (1994) A Dual Active Contour Incorporating Parametric Shape Description. European Signal Processing, Edinburgh, U.K., , 435-438.

Gunn, S.R. and Nixon, M.S. (1994) A Model Based Dual Active Contour. Proc. British Machine Vision Conference BMVA Press, 305-314.

Manjunathaiah, M and Nicole, D A (1994) Advanced Parallel Usage Analysis in the Proceedings of the First International Workshop on Parallel Processing, Bangalore.

Nicole, D A (1994) Limitations of Electronics, Invited Lecture at the SERC International Workshop on Photonic Information Processing, Grassmer, February 1994.

Nicole, D A (1994) Targetting Transputer Systems, Past and Future in Automatic Parallelisation, Vieweg Verlag, Weisbaden, Germany

This list was generated on Tue Oct 28 01:41:09 2014 GMT.