Items where Division is "Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems" and Year is 2003
|Up a level|
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), pp. 6-15.
Al-Mazeed, Ahmad H., Nixon, Mark S. and Gunn, Steve R., (2003) Fusing Complementary Operators to Enhance Foreground/Background Segmentation Harvey, Richard and Bagham, J. Andrew (eds.) At British Machine Vision Conference 2003. , 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 At Design, Automation and Test in Europe, DATE 04,.
Augusto, J, Howard, Y, Gravell, A, Ferreira, C, Gruner, S and Leuschel, M (2003) Model-Based Approaches for Validating Business Critical Systems At System Testing and Validation Workshop, Netherlands. , pp. 225-233.
Augusto, Juan, Butler, Michael, Ferreira, Carla and Craig, Stephen (2003) Using SPIN and STeP to Verify StAC Specifications At 5th International A.P.Ershov Conference on Perspectives of System Informatics.
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 Jeusfeld, Manfred A. and Pastor, Oscar (eds.) At 4th International Workshop on Conceptual Modeling Approaches for e-Business (eCOMO2003), United States. 13 - 16 Oct 2003. , pp. 17-28.
Augusto, Juan Carlos, Leuschel, Michael, Butler, Michael and Ferreira, Carla, (2003) Using the Extensible Model Checker XTL to Verify StAC Business Specifications Leuschel, Michael, Gruner, Stefan and Lo Presti, Stephane (eds.) At 3rd Workshop on Automated Verification of Critical Systems (AVoCS 2003). 02 - 03 Apr 2003. , pp. 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), pp. 266-288.
Bantock, Graham and Gilbert, Lester (2003) Some notes on bulb inclination and on using a general VPP for modelling its effects At The Modern Yacht. 17 - 18 Sep 2003. , pp. 59-66.
Beckett, D.H., Hiett, B., Thomas, K.S. and Cox, S.J, (2003) Applied Grid Computing: Optimisation of Photonic Devices Kosch, H, Boszormenyi, L and Hellwagner, H (eds.) At Euro-Par 2003.
Beckett, D.H., Hiett, B., Thomas, K.S. and Cox, S.J, (2003) Applied Grid Computing: Optimisation of Photonic Devices Kosch, H, Boszormenyi, L and Hellwagner, H (eds.) At Euro-Par 2003.
Butler, Michael and Ferreira, Carla (2003) Using B Refinement to Analyse Compensating Business Processes At ZB 2003: Third International Conference of B and Z Users.
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 At 1st International Workshop on Scholarly Hypertext, United Kingdom.
Chang, Chun-Ming and Al-Hashimi, Bashir M. (2003) Analytical Synthesis of Current-Mode High-Order OTA-C Filters IEEE Transactions on Circuits and Systems Part 1: Regular Papers, 50, (509), pp. 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 Gumm, H.P. (ed.) At 6th International Workshop on Coalgebraic Methods in Computer Science, Poland. 05 - 06 Apr 2003.
Conole, Grainne, Wills, Gary, Carr, Les, Hall, Wendy and Grange, Simon (2003) Making pedagogy explicit - a Virtual University for Orthopaedics At ALT-C, United Kingdom. 08 - 10 Sep 2003.
Conole, Grainne, Wills, Gary, Carr, Leslie, Vadcard, Lucile, Hall, Wendy and Grange, Simon (2003) Building a Virtual University for Orthopaedics At ED-Media: World Conference on Educational Multimedia, Hypermedia and Telecommunications.. 23 - 28 Jun 2003.
Conole, Grainne, Wills, Gary and Grange, Simon (2003) A Virtual Learning Environment to enable CPD for Orthopaedic Surgeons across Europe At Computer Assisted Learning.
Crowder, Richard, Wills, Gary and Hall, Wendy (2003) Evaluation of a hypermedia maintenance support application Computers in Industry, 51, (3), pp. 327-344.
Denney, Ewen and Fischer, Bernd, (2003) Correctness of Source-Level Safety Policies Araki, Keijiro, Gnesi, Stefania and Mandrioli, Dino (eds.) At FME 2003: Formal Methods, Italy. 08 - 14 Sep 2003. , pp. 894-913.
Di Silvio, Luca, Rossi, Daniele and Metra, Cecilia (2003) Crosstalk effect minimization for encoded busses At 9th IEEE International On-Line Testing Symposium, Greece. 07 - 09 Jul 2003. , pp. 214-218. (doi:10.1109/OLT.2003.1214401).
Dickman, jon and Garratt, paul (2003) Simulating Rodent Populations using Neural Networks At MT'2003 Conferencia Internacional de Gerencia y Tecnologia, Cuba.
Fischer, Bernd and Schumann, Johann (2003) AutoBayes: A System for Generating Data Analysis Programs from Statistical Models J. Functional Programming, 13, (3), pp. 483-508.
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.
Gaur, Manoj Singh, Zwolinski, Mark and Al-Hashimi, Basheer, (2003) Concurrent Optimisation of Self-testable Designs from Behavioural Descriptions by Controller based Estimation Technique Gaur, Manoj Singh (ed.) At IEEE European Test Workshop, 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), pp. 1568-1590.
Gonciari, Paul Theo, Al-Hashimi, Bashi and Nicolici, Nicola (2003) Test Cost Reduction Through Compression Electronics Systems and Software, 1, (3), pp. 37-41.
Gonciari, Paul Theo, Al-Hashimi, Bashir and Nicolici, Nicola (2003) Test Data Compression: The System Integrator’s Perspective At Design Automation and Test in Europe, Germany. 03 - 07 Mar 2003. , pp. 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), p. 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), Spain. 18 - 21 Jun 2003. , pp. 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), Spain. 18 - 21 Jun 2003. , pp. 122-123.
Gravell, Andrew M, Howard, Yvonne, Augusto, Juan-Carlos, Ferreira, Carla and Gruner, Stefan (2003) Concurrent Development of Model and Implementation At 16th International Conference on Software & Systems Engineering and their Applications.
Gray, Alexander G., Fischer, Bernd, Schumann, Johann and Buntine, Wray, (2003) Automatic Derivation of Statistical Algorithms: The EM Family and Beyond Becker, Suzanna, Thrun, Sebastian and Obermayer, Klaus (eds.) At Neural Information Processing Systems 15. 09 - 14 Dec 2002. , pp. 689-696.
Henderson, Peter, Crouch, Stephen, Walters, Robert and Ni, Qinglai, (2003) Effects of Introducing Survival Behaviours into Automated Negotiators Titsworth, Francis (ed.) At The 27th Annual International Computer Software Applications Conference. 03 - 06 Nov 2003. , pp. 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 Lecture Notes in Computer Science, 2592, pp. 137-150.
Henderson, Peter, Walters, Robert John, Crouch, Stephen and Ni, Qinglai, (2003) DataWarp: Building Applications which Make Progress in an Inconsistent World Stefani, Jean-Bernard, Demeure, Isabelle and Hagimont, Daniel (eds.) At 4th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems. 17 - 21 Nov 2003. , pp. 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 s.n.
Howard, Yvonne, Gruner, Stefan, Gravell, Andrew M, Ferreira, Carla and Augusto, Juan-Carlos (2003) Model-Based Trace-Checking At UK Software Testing Research II.
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), 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 Amadio, R and Lugiez, D (eds.) At Concur '03, France. 03 - 05 Sep 2003. , pp. 72-86.
Krstic, Milos, Troya, Alfonso, Maharatna, Koushik and Grass, Eckhard (2003) Optimized low-power synchronizer design for the IEEE 802.11(a) standard At IEEE International Conference on Acoustic, Speech and Signal Processing (ICASSP) 2003. , pp. 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 At IEEE International Conference on Telecommunications in Modern Satellite, Cable and Broadcasting Service (TELSIKS) 2003. , pp. 97-100.
Lampropoulos, Matheos, Al-Hashimi, Bashir and Rosinger, Paul (2003) Minimization of Crosstalk Noise, Delay and Power Using a Modified Bus Invert Technique At Design, Automation and Test in Europe.
Leuschel, Michael and Butler, Michael, (2003) ProB: A Model Checker for B Keijiro, Araki, Gnesi, Stefania and Dino, Mandrio (eds.) At Formal Methods Europe 2003, Italy. , pp. 855-874.
Maharatna, Koushik, Grass, Eckhard and Jagdhold, Ulrich (2003) A novel 64-point FFT/IFFT processor for IEEE 802.11(a) standard At IEEE International Conference in Acoustic, Speech and Signal Processing (ICASSP) 2003. , pp. 321-324.
Metra, Cecilia and Mak, T.M. (2003) Clock calibration faults and their impact on quality of high performance microprocessors At 18th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems, United States. 03 - 05 Nov 2003. , pp. 63-70. (doi:10.1109/DFTVS.2003.1250096).
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.
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), United Kingdom.
Ng, Muan Yong and Butler, Michael, (2003) Towards formalizing UML State Diagrams in CSP Cerone, Antonio and Lindsay, Peter (eds.) At 1st IEEE International Conference on Software Engineering and Formal Methods, Australia. 25 - 26 Sep 2003. , pp. 138-147.
Nicole, Denis, Ellis, Sam and Hancock, Simon, (2003) occam for reliable embedded systems: lightweight runtimes and model checking Broenink, Jan F. and Hilderink, Gerald H. (eds.) At 26th WoTUG Technical Meeting, Netherlands. 07 - 10 Sep 2003. , pp. 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 At Workshop on Adaptive Hypermedia and Adaptive Web-Based Systems AH2003, United Kingdom. 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 At Design Automation and Test in Europe (DATE). 03 - 07 Mar 2003. , pp. 596-601.
Omana, Martin, Papasso, Giacinto, Rossi, Daniele and Metra, Cecilia (2003) A model for transient fault propagation in combinatorial logic At 9th IEEE International On-Line Testing Symposium, Greece. 07 - 09 Jul 2003. , pp. 111-115. (doi:10.1109/OLT.2003.1214376).
Omana, Martin, Rossi, Daniele and Metra, Cecilia (2003) High speed and highly testable parallel two-rail code checker At IEEE/ACM Design, Automation and Test in Europe Conference, Germany. 03 - 07 Mar 2003. , pp. 608-613. (doi:10.1109/DATE.2003.10078).
Omana, Martin, Rossi, Daniele and Metra, Cecilia (2003) Novel transient fault hardened static latch At Proceedings. ITC 2003. International Test Conference, Italy. 30 Sep - 02 Oct 2003. , pp. 886-892. (doi:10.1109/TEST.2003.1271074).
Poppleton, Michael R, and Banach, Richard N., (2003) Structuring Retrenchments in B by Decomposition Araki, Keijiro, Gnesi, Stefania and Mandrioli, Dino (eds.) At FME2003: International Symposium of Formal Methods Europe, Italy. , pp. 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, pp. 273-286.
Rezazadeh, Abdolbaghi and Butler, Michael (2003) Event-Based Modelling and Refinement of Distributed Monitoring and Control Systems At 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), pp. 209-218.
Rossi, Daniele, Cavallotti, Stefano and Metra, Cecilia (2003) Error correcting codes for crosstalk effect minimization [system buses] At 18th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems, United States. 03 - 05 Nov 2003. , pp. 257-264. (doi:10.1109/DFTVS.2003.1250120).
Rossi, Daniele and Metra, Cecilia (2003) Error correcting strategy for high speed and high density reliable flash memories Journal of Electronic Testing, Theory and Applications (JETTA), 19, (5), pp. 511-521. (doi:10.1023/A:1025117828910).
Rossi, Daniele, Van Dijk, V.E.S., Kleihorst, Richard, Nieuwland, Andre' and Metra, Cecilia (2003) Power consumption of fault tolerant codes: the active elements At 9th IEEE International On-Line Testing Symposium, Greece. 07 - 09 Jul 2003. , pp. 61-67. (doi:10.1109/OLT.2003.1214368).
Sassone, V. and Sobocinski, P. (2003) Deriving Bisimulation Congruences using 2-Categories Nordic Journal of Computing, 10, pp. 163-183.
Sassone, V. and Sobocinski, P. (2003) Deriving Bisimulation Congruences: 2-categories vs precategories At Foundations of Software Science and Computation Structures, FOSSACS 2003.. , pp. 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 At Design, Automation and Test Europe Conference (DATE2003), Germany. , pp. 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), 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.
Snook, Colin and Sandstrom, Kim (2003) Using UML-B and U2B for formal refinement of digital components At Forum on specification & design languages. 23 - 26 Sep 2003.
Thomas, Ken, (2003) Teaching Databases at Southampton University O'Reilly, Una, James, Anne and Jackson, Mike (eds.) At Teaching, Learning and Assessment of Databases. , pp. 123-126.
Torre, Salvatore La, Napoli, Margherita, Parente, Mimmo and Parlato, Gennaro (2003) Hierarchical and Recursive State Machines with Context-Dependent Properties At ICALP. 30 Jun - 04 Jul 2003. , pp. 776-789.
Troya, Alfonso, Krstic, Milos and Maharatna, Koushik (2003) Simplified residual phase correction mechanism for the IEEE 802.11a standard At IEEE Vehicular Technology Conference (Fall) 2003.
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.
Varea, Mauricio, Leuschel, Michael and Al-Hashimi, Bashir (2003) Improving Compositional Verification of State-based Models by Reducing Modular Unbalance At 2nd International Workshop on Refinement of Critical Systems, Finland.
Walters, Robert John (2003) Automating Checking of Models Built Using a Graphically Based Formal Modelling Language At The Twenty-Seventh Annual International Computer Software and Applications Conference. 03 - 06 Nov 2003. , pp. 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), pp. 253-355.
Wilcock, R and Al-Hashimi, B. M. (2003) A CAD Methodology for Switched Current IP Cores At 9th IEEE International Conference on Emerging Technologies and Factory Automation, Portugal. 16 - 19 Sep 2003. , pp. 434-437.
Wills, Gary, Woukeu, Arouna, Carr, Leslie and Hall, Wendy (2003) The Need for Deeper Design in a Semantic Web. At HTSW2003 - First International ACM Workshop on Hypermedia and the Semantic Web, at HT03, United Kingdom. 26 - 30 Aug 2003.
Woukeu, Arouna, Carr, Les, Wills, Gary and Hall, Wendy (2003) Rethinking Web Design Models: Requirements for Addressing the Content s.n.
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 At ED-MEDIA 2003-World Conference on Educational Multimedia, Hypermedia & Telecommunications, United States. 23 - 28 Jun 2003. , pp. 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), pp. 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 At Design, Automation and Test in Europe, Germany. 03 - 07 Mar 2003. , pp. 90-95.