Items where Division is "Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems" and Year is 2003
|Up a level|
(2003) Analytical Synthesis of High-Order Voltage-Mode OTA-C All-Pass filters. ISCAS(2003), Bangkok, Thailand, 26 - 28 May 2003. IEEE.
(2003) Versatile High-level Synthesis of Self-checking Datapaths Using an On-line Testability Metric. Design Automation and Test in Europe Conference and Exhibition, Munich, Germany, 03 - 07 Mar 2003. IEEE Computer Society.
Al-Hashimi, Bashir, Xie, Yan and Zwolinski, Mark (2003) Analysis of mirror mismatch and clock-feedthrough in Brouton transformation switched current wave filters. IEE Proceedings- Circuits, Devices and Systems, 150, (1), 6-15.
Al-Mazeed, Ahmad H., Nixon, Mark S. and Gunn, Steve R. (2003) Fusing Complementary Operators to Enhance Foreground/Background Segmentation. In, British Machine Vision Conference 2003, Norwich, BMVA Press, 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,, Paris, IEEE Computer Society.
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, The , Netherlands, IEEE Press, 225-233.
Augusto, Juan, Butler, Michael, Ferreira, Carla and Craig, Stephen (2003) Using SPIN and STeP to Verify StAC Specifications. In, 5th International A.P.Ershov Conference on Perspectives of System Informatics, Novosibirsk, Russia,
Augusto, Juan C., Ferreira, Carla, Gravell, Andy M., Leuschel, Michael and NG, Karen 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), Chicago, Illinois, USA, 13 - 16 Oct 2003. Springer Verlag, 17-28.
Augusto, Juan Carlos, Leuschel, Michael, Butler, Michael and Ferreira, Carla (2003) Using the Extensible Model Checker XTL to Verify StAC Business Specifications. In, 3rd Workshop on Automated Verification of Critical Systems (AVoCS 2003), Southampton, 02 - 03 Apr 2003. , 253-266.
Banach, Richard and Poppleton, Michael, Loucopoulos, Peri and Mylopoulos, John (eds.) (2003) Retrenching Partial Requirements into System Definitions: A Simple Feature Interaction Case Study. Requirements Engineering Journal, 8, (4), 266-288.
Bantock, Graham and Gilbert, Lester (2003) Some notes on bulb inclination and on using a general VPP for modelling its effects. In, The Modern Yacht, Southampton, 17 - 18 Sep 2003. The Royal Institution of Naval Architects, 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, Klagenfurt, Springer.
Beckett, D.H., Hiett, B., Thomas, K.S. and Cox, S.J (2003) Applied Grid Computing: Optimisation of Photonic Devices. In, Euro-Par 2003, Klagenfurt, Springer.
Butler, Michael and Ferreira, Carla (2003) Using B Refinement to Analyse Compensating Business Processes. In, ZB 2003: Third International Conference of B and Z Users, Turku, Springer.
Butler, Michael, Leuschel, Michael, Lo Presti, Stephane, Allsopp, David, Beautement, Patrick, Booth, Chris, Cusack, Mark and Kirton, Mike (2003) Towards a Trust Analysis Framework for Pervasive Computing Scenarios.
Carr, Leslie, Wills, Gary, Miles-Board, Timothy, Power, Guillermo, Bailey, Christopher, Hall, Wendy and Grange, Simon (2003) The Dynamic Review Journal: Support for Creating and Using the Literature. In, 1st International Workshop on Scholarly Hypertext, Nottingham, UK,
Chang, Chun-Ming and Al-Hashimi, Bashir 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), 1188-1192.
Chang, Chun-Ming, Al-Hashimi, Bashir M., Wang, C. L. and Hung, C. W. (2003) A Single Fully Differential Current Conveyor Biquad Filters. IEE Proceedings-Circuits, Devices and Systems
Cirstea, Corina (2003) On expressivity and compositionality in logics for coalgebras. In, 6th International Workshop on Coalgebraic Methods in Computer Science, Warsaw, Poland, 05 - 06 Apr 2003. Elsevier.
Conole, Grainne, Wills, Gary, Carr, Les, Hall, Wendy and Grange, Simon (2003) Making pedagogy explicit - a Virtual University for Orthopaedics. In, ALT-C, Sheffield, UK, 08 - 10 Sep 2003.
Conole, Grainne, Wills, Gary, Carr, Leslie, Vadcard, Lucile, Hall, Wendy and Grange, Simon (2003) Building a Virtual University for Orthopaedics. ED-Media: World Conference on Educational Multimedia, Hypermedia and Telecommunications., Hawaii, 23 - 28 Jun 2003.
Conole, Grainne, Wills, Gary and Grange, Simon (2003) A Virtual Learning Environment to enable CPD for Orthopaedic Surgeons across Europe. In, Computer Assisted Learning, Belfast,
Crowder, Richard, Wills, Gary and Hall, Wendy (2003) Evaluation of a hypermedia maintenance support application. Computers in Industry, 51, (3), 327-344.
Denney, Ewen and Fischer, Bernd (2003) Correctness of Source-Level Safety Policies. In, FME 2003: Formal Methods, Pisa, Italy, 08 - 14 Sep 2003. Springer Verlag, 894-913.
Dickman, jon and Garratt, paul (2003) Simulating Rodent Populations using Neural Networks. In, MT'2003 Conferencia Internacional de Gerencia y Tecnologia, Havana, Cuba,
Fischer, Bernd and Schumann, Johann (2003) AutoBayes: A System for Generating Data Analysis Programs from Statistical Models. Journal of Functional Programming, 13, (3), 483-508.
Gao, J.B., Gunn, S.R. and Harris, C.J. (2003) Mean Field Method for the Support Vector Machine Regression. Neurocomputing, 50, 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), 151-167.
Gaur, Manoj Singh, Zwolinski, Mark and Al-Hashimi, Basheer (2003) Concurrent Optimisation of Self-testable Designs from Behavioural Descriptions by Controller based Estimation Technique. At IEEE European Test Workshop, Mastricht, The , Netherlands, 25 - 28 May 2003.
Gonciari, PT, 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), 1568-1590.
Gonciari, Paul Theo, Al-Hashimi, Bashi and Nicolici, Nicola (2003) Test Cost Reduction Through Compression. Electronics Systems and Software, 1, (3), 37-41.
Gonciari, Paul Theo, Al-Hashimi, Bashir and Nicolici, Nicola (2003) Test Data Compression: The System Integrator’s Perspective. In, Design Automation and Test in Europe, Munich, Germany, 03 - 07 Mar 2003. IEEE, 726-731.
Gonciari, Paul Theo, Al-Hashimi, Bashir and Nicolici, Nicola (2003) Variable-Length Input Huffman Coding for System-on-a-Chip Test. IEEE Transactions on Computer-Aided Design, 22, (6), 783-783.
Grange, Simon, Wills, Gary, Humphrey, Nick, Burrill, Josh, Bunker, Tim and De Roure, David (2003) Integrating Surgical Training Video Simulation Into The Virtual Orthopaedic University. At 3rd Annual Meeting of the International Society for Computer Assisted Surgery (CAOS International), Marbella, Spain, 18 - 21 Jun 2003. , 124-125.
Grange, Simon, Wills, Gary, Power, Guillermo, Miles-Board, Timothy, Carr, Leslie and Hall, Wendy (2003) Building a Dynamic Review Journal (DRJ): Extending the Role of the Virtual Orthopaedic University. At 3rd Annual Meeting of the International Society for Computer Assisted Surgery (CAOS International), Marbella, Spain, 18 - 21 Jun 2003. , 122-123.
Gravell, Andrew M, Howard, Yvonne, Augusto, Juan-Carlos, Ferreira, Carla and Gruner, Stefan (2003) Concurrent Development of Model and Implementation. In, 16th International Conference on Software & Systems Engineering and their Applications, CNAM, Paris,
Gray, Alexander G., Fischer, Bernd, Schumann, Johann and Buntine, Wray (2003) Automatic Derivation of Statistical Algorithms: The EM Family and Beyond. In, Neural Information Processing Systems 15, Vancouver, BC, 09 - 14 Dec 2002. MIT Press, 689-696.
Henderson, Peter, Crouch, Stephen, Walters, Robert and Ni, Qinglai (2003) Effects of Introducing Survival Behaviours into Automated Negotiators. At The 27th Annual International Computer Software Applications Conference, Dallas, Texas, 03 - 06 Nov 2003. IEEE Computer Society, 506-512.
Henderson, Peter, Crouch, Stephen, Walters, Robert John and Ni, Qinglai, Kowalcyzk, R, Muller, J.P, Tianfield, H and Unland, R (eds.) (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, 137-150.
Henderson, Peter, Walters, Robert John, Crouch, Stephen and Ni, Qinglai (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, Paris, 17 - 21 Nov 2003. LNCS 2893, Springer, 167-178.
Hennessy, Matthew, Merro, Massimo and Rathke, Julian (2003) Towards a behavioural theory of access and mobility control in distributed systems, Springer-Verlag (Lecture Notes in Computer Science, 2620).
Hennessy, Matthew, Rathke, Julian and Yoshida, Nobuko (2003) SafeDpi: a language for controlling mobile code.
Howard, Yvonne, Gruner, Stefan, Gravell, Andrew M, Ferreira, Carla and Augusto, Juan-Carlos (2003) Model-Based Trace-Checking. In, UK Software Testing Research II, University of York,
Jafaripanah, Mehdi, Al-Hashimi, Bashir and White, Neil M. (2003) Load Cell Response Correction Using Analog Adaptive Techniques. At 2003 IEEE International Symposium on Circuits and Systems (ISCAS2003), Bangkok, Thailand, 25 - 28 May 2003. , IV-752-IV-755.
Jeffrey, Alan and Rathke, Julian (2003) Contextual equivalence for higher-order pi-calculus revisited, Elsevier (Lecture Notes in Computer Science, Proc. ).
Klin, B and Sobocinski, P (2003) Syntactic formats for free: an abstract approach to process equivalence. In, Concur '03, Marseille, France, 03 - 05 Sep 2003. Springer, 72-86.
Krstic, Milos, Troya, Alfonso, Maharatna, Koushik and Grass, Eckhard (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, , 333-336.
Krstic, Milos, Troya, Alfonso, Maharatna, Koushik, Grass, Eckhard and Jagdhold, Ulrich (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 , 97-100.
Lampropoulos, Matheos, Al-Hashimi, Bashir and Rosinger, Paul (2003) Minimization of Crosstalk Noise, Delay and Power Using a Modified Bus Invert Technique. In, Design, Automation and Test in Europe
Leuschel, Michael and Butler, Michael (2003) ProB: A Model Checker for B. Formal Methods Europe 2003, Pisa, Italy, Springer-Verlag, LNCS, 855-874.
Maharatna, Koushik, Grass, Eckhard and Jagdhold, Ulrich (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, , 321-324.
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), 350-357.
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. At Seventh International Conference on Document Analysis and Recognition (ICDAR'03), Edinburgh., UK,
Ng, Muan Yong and Butler, Michael (2003) Towards formalizing UML State Diagrams in CSP. 1st IEEE International Conference on Software Engineering and Formal Methods, Brisbane, Australia, 25 - 26 Sep 2003. IEEE Computer Society, 138-147.
Nicole, Denis, Ellis, Sam and Hancock, Simon (2003) occam for reliable embedded systems: lightweight runtimes and model checking. In, 26th WoTUG Technical Meeting, University of Twente, The , Netherlands, 07 - 10 Sep 2003. IOS Press, 167-172.
Nicolici, Nicola and Al-Hashimi, Bashir M. (2003) Power-Constrained Testing of VLSI Circuits, Kluwer Academic Publishers (Frontiers in Electronic Testing).
Ohene-Djan, James, Gorle, Matt, Bailey, Christopher P, Wills, Gary B and Davis, Hugh C (2003) Understanding Adaptive Hypermedia: An Architecture for Personalisation and Adaptivity. In, Workshop on Adaptive Hypermedia and Adaptive Web-Based Systems AH2003, Nottingham, UK, 26 - 30 Aug 2003.
Oikonomakos, P., Zwolinski, M. and Al-Hashimi, B. M. (2003) Versatile High-Level Synthesis of Self-Checking Datapaths Using an On-Line Testability Metric. Design Automation and Test in Europe (DATE), Munich, 03 - 07 Mar 2003. ACM/IEEE, 596-601.
Poppleton, Michael R, and Banach, Richard N. (2003) Structuring Retrenchments in B by Decomposition. In, FME2003: International Symposium of Formal Methods Europe, Pisa, Italy, Springer Lecture Notes in Computer Science, 814-833.
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, 273-286.
Rezazadeh, Abdolbaghi and Butler, Michael (2003) Event-Based Modelling and Refinement of Distributed Monitoring and Control Systems. In, Refinement of Critical Systems (RCS'03)
Rosinger, Paul, Al-Hashimi, Bashir M and Nicolici, Nicola (2003) Dual multiple-polynomial LFSR for low-pwoer mixed-mode BIST. IEE Proceedings: Computers and Digital Techniques, 150, (4), 209-218.
Sassone, V. and Sobocinski, P. (2003) Deriving Bisimulation Congruences using 2-Categories. Nordic Journal of Computing, 10, 163-183.
Sassone, V. and Sobocinski, P. (2003) Deriving Bisimulation Congruences: 2-categories vs precategories. In, Foundations of Software Science and Computation Structures, FOSSACS 2003. Springer, 409-424.
Schmitz, Marcus T, Al-Hashimi, Bashir M and Eles, Petru (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), Munich, Germany, IEEE, 960-965.
Scmitz, Marcus, Al-Hashimi, Bashir M. and Eles, Pertu (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), 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), 277-280.
Snook, Colin and Sandstrom, Kim (2003) Using UML-B and U2B for formal refinement of digital components. In, Forum on specification & design languages, Frankfurt, 23 - 26 Sep 2003.
Thomas, Ken (2003) Teaching Databases at Southampton University. Teaching, Learning and Assessment of Databases, Coventry Technocentre, LTSN-ICS, 123-126.
Torre, Salvatore La, Napoli, Margherita, Parente, Mimmo and Parlato, Gennaro (2003) Hierarchical and Recursive State Machines with Context-Dependent Properties. In, ICALP, June 30 - July 4, 2003, 30 Jun - 04 Jul 2003. Springer, 776-789.
Troya, Alfonso, Krstic, Milos and Maharatna, Koushik (2003) Simplified residual phase correction mechanism for the IEEE 802.11a standard. In, IEEE Vehicular Technology Conference (Fall) 2003 IEEE.
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), 3819-3841.
Varea, Mauricio, Leuschel, Michael and Al-Hashimi, Bashir (2003) Improving Compositional Verification of State-based Models by Reducing Modular Unbalance. 2nd International Workshop on Refinement of Critical Systems, Turku, Finland,
Walters, Robert John (2003) Automating Checking of Models Built Using a Graphically Based Formal Modelling Language. In, The Twenty-Seventh Annual International Computer Software and Applications Conference, Dallas, Texas, 03 - 06 Nov 2003. IEEE Computer Society, 98-104.
Wehn, Norbert and Al-Hashimi, Bashir M., Wehn, Norbert and Al-Hashimi, Bashir M. (eds.) (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), 253-355.
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, Lisbon, Portugal, 16 - 19 Sep 2003. IEEE, 434-437.
Wills, Gary, Woukeu, Arouna, Carr, Leslie and Hall, Wendy (2003) The Need for Deeper Design in a Semantic Web. In, HTSW2003 - First International ACM Workshop on Hypermedia and the Semantic Web, at HT03, Nottingham, UK, 26 - 30 Aug 2003. HT 03.
Woukeu, Arouna, Carr, Les, Wills, Gary and Hall, Wendy (2003) Rethinking Web Design Models: Requirements for Addressing the Content.
Woukeu, Arouna, Wills, Gary, Conole, Grainne, Carr, Les, Kampa, Simon and Hall, Wendy (2003) Ontological Hypermedia in Education: A framework for building web-based educational portals. In, ED-MEDIA 2003-World Conference on Educational Multimedia, Hypermedia & Telecommunications, Honolulu, Hawaii, USA, 23 - 28 Jun 2003. AACE, 349-357.
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), 262-273.
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. Design, Automation and Test in Europe, Munich, Germany, 03 - 07 Mar 2003. , 90-95.