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 2003
(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: 82.

Article

Al-Hashimi, B., Xie, Y. and Zwolinski, M. (2003) Analysis of mirror mismatch and clock-feedthrough in Brouton transformation switched current wave filters. IEE Proceedings- Circuits, Devices and Systems, 150 (1). pp. 6-15.

Banach, R. and Poppleton, M. (2003) Retrenching Partial Requirements into System Definitions: A Simple Feature Interaction Case Study. Requirements Engineering Journal, 8 (4). pp. 266-288. ISSN 0947-3602

Chang, C. M. and Al-Hashimi, B. M. (2003) Analytical Synthesis of Current-Mode High-Order OTA-C Filters. IEEE Transactions on Circuit and Systems I: Fundamental Theroy and Applications, 50 (509). pp. 1188-1192. ISSN 1057-7122

Chang, C. M., Al-Hashimi, B. M., Wang, C. L. and Hung, C. W. (2003) A Single Fully Differential Current Conveyor Biquad Filters. IEE Proceedings-Circuits, Devices and Systems . (Unpublished)

Crowder, R., Wills, G. and Hall, W. (2003) Evaluation of a hypermedia maintenance support application. Computers in Industry, 51 (3). pp. 327-344.

Fischer, B. and Schumann, J. (2003) AutoBayes: A System for Generating Data Analysis Programs from Statistical Models. Journal of Functional Programming, 13 (3). pp. 483-508. ISSN 0956-7968

Gao, J. B., Gunn, S. R. and Harris, C. J. (2003) Mean Field Method for the Support Vector Machine Regression. Neurocomputing, 50 . pp. 391-405.

Gao, J. B., Gunn, S. R. and Harris, C. J. (2003) SVM Regression through Variational Methods and its Sequential Implementation. Neurocomputing, 55 (1-2). pp. 151-167. (In Press)

Gonciari, P. T., Al-Hashimi, B. and Nicolici, N. (2003) Test Cost Reduction Through Compression. Electronics Systems and Software, 1 (3). pp. 37-41.

Gonciari, P. T., Al-Hashimi, B. and Nicolici, N. (2003) Variable-Length Input Huffman Coding for System-on-a-Chip Test. IEEE Transactions on Computer-Aided Design, 22 (6). p. 783.

Gonciari, P. T., Al-Hashimi, B. and Nicolici, N. (2003) Addressing Useless Test Data in Core-Based System-on-a-Chip Test. IEEE Transactions on Computer-Aided Design, 22 (11). pp. 1568-1590.

Henderson, P., Crouch, S., Walters, R. J. and Ni, Q. (2003) A Comparison of some Negotiation Algorithms using a Tournament-Based Approach. Agent Technologies, Infrastructure, Tools, and Applications for E-Services, Lecture Notes in Artificial Intelligence (subseries of Lecture Notes in Computer Science), 2592 . pp. 137-150. ISSN 0302-9743

Morrissey, Q. R., Waltham, N. R., Turchetta, R., French, M. J., Bagnall, D. M. and Al Hashimi, B. M. (2003) Design of a 3um pixel linear CMOS sensor for earth observation. Nuclear Instruments and Methods in Physics Research, A (512). pp. 350-357.

Reed, P. A. S., Thomson, R. C., James, J. S., Putman, D. C., Lee, K. K. and Gunn, S. R. (2003) Modelling of Microstructural Effects in the Fatigue of Austempered Ductile Iron. Materials Science and Engineering, A436 . pp. 273-286.

Rosinger, P., Al-Hashimi, B. M. and Nicolici, N. (2003) Dual multiple-polynomial LFSR for low-pwoer mixed-mode BIST. IEE Proceedings: Computers and Digital Techniques, 150 (4). pp. 209-218. ISSN 1350-2387

Sassone, V. and Sobocinski, P. (2003) Deriving Bisimulation Congruences using 2-Categories. Nordic Journal of Computing, 10 . pp. 163-183. ISSN 1236-6064

Scmitz, M., Al-Hashimi, B. M. and Eles, P. (2003) Iterative Schedule Optimisation for Voltage Scalable Distributed Embedded Systems. ACM Transactions on Embedded Computing Systems .

Shi, D., Damper, R. I. and Gunn, S. R. (2003) Off-line handwritten Chinese character recognition by radical decomposition. ACM Transactions on Asian Language Processing, 2 (1). pp. 27-48.

Shi, D., Gunn, S. R. and Damper, R. I. (2003) Handwritten Chinese radical recognition using nonlinear active shape models. IEEE Transactions on Pattern Analysis and Machine Intelligence, 25 (2). pp. 277-280.

Turkheimer, F. E., Hinz, R., Gunn, R. N., Aston, J. A. D., Gunn, S. R. and Cunningham, V. J. (2003) Rank-Shaping Regularization of Exponential Spectral Analysis for Application to Functional Parametric Mapping. Physics in Medicine and Biology, 48 (23). pp. 3819-3841.

Wehn, N. and Al-Hashimi, B. M. (2003) IEE Proceedings: Computers and Digital Techniques
Special issue on "Design and Test Conference in Europe", DATE 03.
IEE Proceedings: Computers and Digital Techniques, 150 (4). pp. 253-355. ISSN 1350-2387

Wu, D., Al-Hashimi, B. M. and Eles, P. (2003) Scheduling and Mapping of Conditional Task Graph for the Synthesis of Low Power Embedded Systems. IEE Proceedings Computers and Digital Techniques, 150 (5). pp. 262-273.

Conference or Workshop Item

(2003) Analytical Synthesis of High-Order Voltage-Mode OTA-C All-Pass filters. In: ISCAS(2003), 26-28 May 2003, Bangkok, Thailand. (Unpublished)

(2003) Versatile High-level Synthesis of Self-checking Datapaths Using an On-line Testability Metric. In: Design Automation and Test in Europe Conference and Exhibition, 3-7 March 2003, Munich, Germany.

Al-Mazeed, A. H., Nixon, M. S. and Gunn, S. R. (2003) Fusing Complementary Operators to Enhance Foreground/Background Segmentation. In: British Machine Vision Conference 2003, 2003, Norwich. pp. 501-510.

Andrei, A., Schmitz, M., Eles, P., Peng, Z. and Al-Hashimi, B. M. (2003) Overhead-Conscious Voltage Selection for Dynamic and Leakage Energy Reduction of Time-Constrained Systems. In: Design, Automation and Test in Europe, DATE 04,, Feb. 2004, Paris.

Augusto, J., Howard, Y., Gravell, A., Ferreira, C., Gruner, S. and Leuschel, M. (2003) Model-Based Approaches for Validating Business Critical Systems. In: System Testing and Validation Workshop, September, 2003, The Netherlands. pp. 225-233.

Augusto, J., Butler, M., Ferreira, C. and Craig, S. (2003) Using SPIN and STeP to Verify StAC Specifications. In: 5th International A.P.Ershov Conference on Perspectives of System Informatics, July 2003, Novosibirsk, Russia. (In Press)

Augusto, J. C., Ferreira, C., Gravell, A. M., Leuschel, M. and NG, K. M. Y. (2003) The Benefits of Rapid Modelling for E-Business System Development. In: 4th International Workshop on Conceptual Modeling Approaches for e-Business (eCOMO2003), October 13-16, 2003., Chicago, Illinois, USA. pp. 17-28.

Augusto, J. C., Leuschel, M., Butler, M. and Ferreira, C. (2003) Using the Extensible Model Checker XTL to Verify StAC Business Specifications. In: 3rd Workshop on Automated Verification of Critical Systems (AVoCS 2003), April 2-3, Southampton. pp. 253-266.

Bantock, G. and Gilbert, L. (2003) Some notes on bulb inclination and on using a general VPP for modelling its effects. In: The Modern Yacht, 17-18 September 2003, Southampton. pp. 59-66.

Beckett, D. H., Hiett, B., Thomas, K. S. and Cox, S. J. (2003) Applied Grid Computing: Optimisation of Photonic Devices. In: Euro-Par 2003, August 2003, Klagenfurt.

Beckett, D. H., Hiett, B., Thomas, K. S. and Cox, S. J. (2003) Applied Grid Computing: Optimisation of Photonic Devices. In: Euro-Par 2003, August 2003, Klagenfurt.

Butler, M. and Ferreira, C. (2003) Using B Refinement to Analyse Compensating Business Processes. In: ZB 2003: Third International Conference of B and Z Users, June, Turku.

Carr, L., Wills, G., Miles-Board, T., Power, G., Bailey, C., Hall, W. and Grange, S. (2003) The Dynamic Review Journal: Support for Creating and Using the Literature. In: 1st International Workshop on Scholarly Hypertext, Sat 30th August, Nottingham, UK.

Cirstea, C. (2003) On expressivity and compositionality in logics for coalgebras. In: 6th International Workshop on Coalgebraic Methods in Computer Science, 5-6 April 2003, Warsaw, Poland.

Conole, G., Wills, G., Carr, L., Hall, W. and Grange, S. (2003) Making pedagogy explicit - a Virtual University for Orthopaedics. In: ALT-C, 8-10 September 2003, Sheffield, UK.

Conole, G., Wills, G., Carr, L., Vadcard, L., Hall, W. and Grange, S. (2003) Building a Virtual University for Orthopaedics. In: ED-Media: World Conference on Educational Multimedia, Hypermedia and Telecommunications., 23-28 June 2003, Hawaii.

Conole, G., Wills, G. and Grange, S. (2003) A Virtual Learning Environment to enable CPD for Orthopaedic Surgeons across Europe. In: Computer Assisted Learning, April 2003, Belfast.

Denney, E. and Fischer, B. (2003) Correctness of Source-Level Safety Policies. In: FME 2003: Formal Methods, September 8-14, 2003, Pisa, Italy. pp. 894-913.

Dickman, j. and Garratt, p. (2003) Simulating Rodent Populations using Neural Networks. In: MT'2003 Conferencia Internacional de Gerencia y Tecnologia, april2003, Havana, Cuba.

Gaur, M. S., Zwolinski, M. and Al-Hashimi, B. (2003) Concurrent Optimisation of Self-testable Designs from Behavioural Descriptions by Controller based Estimation Technique. In: IEEE European Test Workshop, 25 - 28 May, 2003, Mastricht, The Netherlands. (In Press)

Gonciari, P. T., Al-Hashimi, B. and Nicolici, N. (2003) Test Data Compression: The System Integrator’s Perspective. In: Design Automation and Test in Europe, 3-7 March, 2003, Munich, Germany. pp. 726-731.

Grange, S., Wills, G., Humphrey, N., Burrill, J., Bunker, T. and De Roure, D. (2003) Integrating Surgical Training Video Simulation Into The Virtual Orthopaedic University. In: 3rd Annual Meeting of the International Society for Computer Assisted Surgery (CAOS International), June 18-21, Marbella, Spain. pp. 124-125.

Grange, S., Wills, G., Power, G., Miles-Board, T., Carr, L. and Hall, W. (2003) Building a Dynamic Review Journal (DRJ): Extending the Role of the Virtual Orthopaedic University. In: 3rd Annual Meeting of the International Society for Computer Assisted Surgery (CAOS International), June 18-21, Marbella, Spain. pp. 122-123.

Gravell, A. M., Howard, Y., Augusto, J. C., Ferreira, C. and Gruner, S. (2003) Concurrent Development of Model and Implementation. In: 16th International Conference on Software & Systems Engineering and their Applications, 2/12/2003, CNAM, Paris.

Gray, A. G., Fischer, B., Schumann, J. and Buntine, W. (2003) Automatic Derivation of Statistical Algorithms: The EM Family and Beyond. In: Neural Information Processing Systems 15, 09/12/2002 - 14/12/2002, Vancouver, BC. pp. 689-696.

Henderson, P., Crouch, S., Walters, R. and Ni, Q. (2003) Effects of Introducing Survival Behaviours into Automated Negotiators. In: The 27th Annual International Computer Software Applications Conference, 3rd - 6th November, Dallas, Texas. pp. 506-512.

Henderson, P., Walters, R. J., Crouch, S. and Ni, Q. (2003) DataWarp: Building Applications which Make Progress in an Inconsistent World. In: 4th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, 17-21 November 2003, Paris. pp. 167-178.

Howard, Y., Gruner, S., Gravell, A. M., Ferreira, C. and Augusto, J. C. (2003) Model-Based Trace-Checking. In: UK Software Testing Research II, 4/9/2003, University of York.

Jafaripanah, M., Al-Hashimi, B. and White, N. M. (2003) Load Cell Response Correction Using Analog Adaptive Techniques. In: 2003 IEEE International Symposium on Circuits and Systems (ISCAS2003), 25-28 May 2003, Bangkok, Thailand. IV-752-IV-755.

Klin, B. and Sobocinski, P. (2003) Syntactic formats for free: an abstract approach to process equivalence. In: Concur '03, September 3-5, 2003, Marseille, France. pp. 72-86.

Krstic, M., Troya, A., Maharatna, K. and Grass, E. (2003) Optimized low-power synchronizer design for the IEEE 802.11(a) standard. In: IEEE International Conference on Acoustic, Speech and Signal Processing (ICASSP) 2003, Hong Kong. pp. 333-336.

Krstic, M., Troya, A., Maharatna, K., Grass, E. and Jagdhold, U. (2003) Implementation of an IEEE 802.11a compliant low-power baseband processor. In: IEEE International Conference on Telecommunications in Modern Satellite, Cable and Broadcasting Service (TELSIKS) 2003. pp. 97-100.

Lampropoulos, M., Al-Hashimi, B. and Rosinger, P. (2003) Minimization of Crosstalk Noise, Delay and Power Using a Modified Bus Invert Technique. In: Design, Automation and Test in Europe.

Leuschel, M. and Butler, M. (2003) ProB: A Model Checker for B. In: Formal Methods Europe 2003, September 2003, Pisa, Italy. pp. 855-874.

Maharatna, K., Grass, E. and Jagdhold, U. (2003) A novel 64-point FFT/IFFT processor for IEEE 802.11(a) standard. In: IEEE International Conference in Acoustic, Speech and Signal Processing (ICASSP) 2003, Hong Kong. pp. 321-324.

Ng, G. S., Shi, D., Gunn, S. R. and Damper, R. I. (2003) Nonlinear active handwriting models and their applications to handwritten Chinese radical recognition. In: Seventh International Conference on Document Analysis and Recognition (ICDAR'03), Edinburgh, UK..

Ng, M. Y. and Butler, M. (2003) Towards formalizing UML State Diagrams in CSP. In: 1st IEEE International Conference on Software Engineering and Formal Methods, 25-26 September 2003, Brisbane, Australia. pp. 138-147.

Nicole, D., Ellis, S. and Hancock, S. (2003) occam for reliable embedded systems: lightweight runtimes and model checking. In: 26th WoTUG Technical Meeting, 7-10 September 2003, University of Twente, The Netherlands. pp. 167-172.

Ohene-Djan, J., Gorle, M., Bailey, C. P., Wills, G. B. and Davis, H. C. (2003) Understanding Adaptive Hypermedia: An Architecture for Personalisation and Adaptivity. In: Workshop on Adaptive Hypermedia and Adaptive Web-Based Systems AH2003, August 26-30, 2003, Nottingham, UK.

Oikonomakos, P., Zwolinski, M. and Al-Hashimi, B. M. (2003) Versatile High-Level Synthesis of Self-Checking Datapaths Using an On-Line Testability Metric. In: Design Automation and Test in Europe (DATE), March 3-7, Munich. pp. 596-601.

Poppleton, M. R. and Banach, R. N. (2003) Structuring Retrenchments in B by Decomposition. In: FME2003: International Symposium of Formal Methods Europe, September, Pisa, Italy. pp. 814-833.

Rezazadeh, A. and Butler, M. (2003) Event-Based Modelling and Refinement of Distributed Monitoring and Control Systems. In: Refinement of Critical Systems (RCS'03), June.

Sassone, V. and Sobocinski, P. (2003) Deriving Bisimulation Congruences: 2-categories vs precategories. In: Foundations of Software Science and Computation Structures, FOSSACS 2003.. pp. 409-424.

Schmitz, M. T., Al-Hashimi, B. M. and Eles, P. (2003) A Co-Design Methodology for Energy-Efficient Multi-Mode Embedded Systems with Consideration of Mode Execution Probabilities. In: Design, Automation and Test Europe Conference (DATE2003), March 2003, Munich, Germany. pp. 960-965.

Snook, C. and Sandstrom, K. (2003) Using UML-B and U2B for formal refinement of digital components. In: Forum on specification & design languages, September 23 - 26, 2003, Frankfurt.

Thomas, K. (2003) Teaching Databases at Southampton University. In: Teaching, Learning and Assessment of Databases, 14/7/2003, Coventry Technocentre. pp. 123-126.

Torre, S. L., Napoli, M., Parente, M. and Parlato, G. (2003) Hierarchical and Recursive State Machines with Context-Dependent Properties. In: ICALP, June 30 - July 4, 2003, June 30 - July 4, 2003. pp. 776-789.

Troya, A., Krstic, M. and Maharatna, K. (2003) Simplified residual phase correction mechanism for the IEEE 802.11a standard. In: IEEE Vehicular Technology Conference (Fall) 2003.

Varea, M., Leuschel, M. and Al-Hashimi, B. (2003) Improving Compositional Verification of State-based Models by Reducing Modular Unbalance. In: 2nd International Workshop on Refinement of Critical Systems, 3rd June, 2003, Turku, Finland.

Walters, R. J. (2003) Automating Checking of Models Built Using a Graphically Based Formal Modelling Language. In: The Twenty-Seventh Annual International Computer Software and Applications Conference, 3-6 November 2003, Dallas, Texas. pp. 98-104.

Wilcock, R. and Al-Hashimi, B. M. (2003) A CAD Methodology for Switched Current IP Cores. In: 9th IEEE International Conference on Emerging Technologies and Factory Automation, 16-19 September 2003, Lisbon, Portugal. pp. 434-437.

Wills, G., Woukeu, A., Carr, L. and Hall, W. (2003) The Need for Deeper Design in a Semantic Web. In: HTSW2003 - First International ACM Workshop on Hypermedia and the Semantic Web, at HT03, 26 - 30 August 2003, Nottingham, UK.

Woukeu, A., Wills, G., Conole, G., Carr, L., Kampa, S. and Hall, W. (2003) Ontological Hypermedia in Education: A framework for building web-based educational portals. In: ED-MEDIA 2003-World Conference on Educational Multimedia, Hypermedia & Telecommunications, June 23-28, Honolulu, Hawaii, USA. pp. 349-357.

Wu, D., Al-Hashimi, B. M. and Eles, P. (2003) Scheduling and Mapping of Conditional Task Graphs for the Synthesis of Low Power Embedded Systems. In: Design, Automation and Test in Europe, 3-7 March 2003, Munich, Germany. pp. 90-95.

Book

Hennessy, M., Merro, M. and Rathke, J. (2003) Towards a behavioural theory of access and mobility control in distributed systems. Lecture Notes in Computer Science, 2620 Springer-Verlag.

Jeffrey, A. and Rathke, J. (2003) Contextual equivalence for higher-order pi-calculus revisited. Lecture Notes in Computer Science, Proc. Elsevier.

Nicolici, N. and Al-Hashimi, B. M. (2003) Power-Constrained Testing of VLSI Circuits. Frontiers in Electronic Testing Kluwer Academic Publishers. ISBN 1-4020-7235-X

Technical Report

Hennessy, M., Rathke, J. and Yoshida, N. (2003) SafeDpi: a language for controlling mobile code. Technical Report Computer Science Report 02-2003, Informatics, University of Sussex.

Woukeu, A., Carr, L., Wills, G. and Hall, W. (2003) Rethinking Web Design Models: Requirements for Addressing the Content. Technical Report ECSTR-IAM03 -002, Department of Electronics and Comnputer Science, University of Southampton. (In Press)

Other

Butler, M., Leuschel, M., Lo Presti, S., Allsopp, D., Beautement, P., Booth, C., Cusack, M. and Kirton, M. (2003) Towards a Trust Analysis Framework for Pervasive Computing Scenarios. (Unpublished)

This list was generated on Tue Oct 21 00:56:15 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