Items where Division is "Faculties (pre 2018 reorg) > Faculty of Physical Sciences and Engineering (pre 2018 reorg) > Electronics & Computer Science (pre 2018 reorg) > Cyber Physical Systems (pre 2018 reorg)
Current Faculties > Faculty of Engineering and Physical Sciences > School of Electronics and Computer Science > Electronics & Computer Science (pre 2018 reorg) > Cyber Physical Systems (pre 2018 reorg)
School of Electronics and Computer Science > Electronics & Computer Science (pre 2018 reorg) > Cyber Physical Systems (pre 2018 reorg)
Current Faculties > Faculty of Engineering and Physical Sciences > School of Electronics and Computer Science > Cyber Physical Systems > Cyber Physical Systems (pre 2018 reorg)
School of Electronics and Computer Science > Cyber Physical Systems > Cyber Physical Systems (pre 2018 reorg)" and Year is 2003
 | Up a level |
Number of items: 82.
A
Analysis of mirror mismatch and clock-feedthrough in Brouton transformation switched current wave filters - Bashir Al-Hashimi, Yan Xie and Mark Zwolinski
Type: Article
| 2003
Fusing Complementary Operators to Enhance Foreground/Background Segmentation - Ahmad H. Al-Mazeed, Mark S. Nixon and Steve R. Gunn
Type: Conference or Workshop Item
| 2003
Overhead-Conscious Voltage Selection for Dynamic and Leakage Energy Reduction of Time-Constrained Systems - A. Andrei, M Schmitz, P Eles, Z Peng and B.M. Al-Hashimi
Type: Conference or Workshop Item
| 2003
Model-Based Approaches for Validating Business Critical Systems - J Augusto, Y Howard, A Gravell, C Ferreira, S Gruner and M Leuschel
Type: Conference or Workshop Item
| 2003
Using SPIN and STeP to Verify StAC Specifications - Juan Augusto, Michael Butler, Carla Ferreira and Stephen Craig
Type: Conference or Workshop Item
| 2003
The Benefits of Rapid Modelling for E-Business System Development - Juan C. Augusto, Carla Ferreira, Andy M. Gravell, Michael Leuschel and Karen M.Y. NG
Type: Conference or Workshop Item
| 2003
Using the Extensible Model Checker XTL to Verify StAC Business Specifications - Juan Carlos Augusto, Michael Leuschel, Michael Butler and Carla Ferreira
Type: Conference or Workshop Item
| 2003
B
Some notes on bulb inclination and on using a general VPP for modelling its effects - Graham Bantock and Lester Gilbert
Type: Conference or Workshop Item
| 2003
| Item availability restricted.
Applied grid computing: optimisation of photonic devices - D.H. Beckett, B. Hiett, K.S. Thomas and S.J Cox
Type: Conference or Workshop Item
| 2003
| Springer
Type: Conference or Workshop Item
| 2003
Towards a Trust Analysis Framework for Pervasive Computing Scenarios - Michael Butler, Michael Leuschel, Stephane Lo Presti, David Allsopp, Patrick Beautement, Chris Booth, Mark Cusack and Mike Kirton
Type: Other
| 2003
C
The Dynamic Review Journal: Support for Creating and Using the Literature - Leslie Carr, Gary Wills, Timothy Miles-Board, Guillermo Power, Christopher Bailey, Wendy Hall and Simon Grange
Type: Conference or Workshop Item
| 2003
Analytical Synthesis of Current-Mode High-Order OTA-C Filters - Chun-Ming Chang and Bashir M. Al-Hashimi
Type: Article
| 2003
A Single Fully Differential Current Conveyor Biquad Filters - Chun-Ming Chang, Bashir M. Al-Hashimi, C. L. Wang and C. W. Hung
Type: Article
| 2003
| Item not available on this server.
On expressivity and compositionality in logics for coalgebras - Corina Cirstea
Type: Conference or Workshop Item
| 2003
Making pedagogy explicit - a Virtual University for Orthopaedics - Grainne Conole, Gary Wills, Les Carr, Wendy Hall and Simon Grange
Type: Conference or Workshop Item
| 2003
| Item not available on this server.
Building a Virtual University for Orthopaedics - Grainne Conole, Gary Wills, Leslie Carr, Lucile Vadcard, Wendy Hall and Simon Grange
Type: Conference or Workshop Item
| 2003
A Virtual Learning Environment to enable CPD for Orthopaedic Surgeons across Europe - Grainne Conole, Gary Wills and Simon Grange
Type: Conference or Workshop Item
| 2003
Evaluation of a hypermedia maintenance support application - Richard Crowder, Gary Wills and Wendy Hall
Type: Article
| 2003
D
Type: Conference or Workshop Item
| 2003
Type: Conference or Workshop Item
| 2003
| Item availability restricted.
F
AutoBayes: A System for Generating Data Analysis Programs from Statistical Models - Bernd Fischer and Johann Schumann
Type: Article
| 2003
G
Type: Article
| 2003
| Item not available on this server.
SVM Regression through Variational Methods and its Sequential Implementation - J.B. Gao, S.R. Gunn and C.J. Harris
Type: Article
| 2003
| Item not available on this server.
Concurrent Optimisation of Self-testable Designs from Behavioural Descriptions by Controller based Estimation Technique - Manoj Singh Gaur, Mark Zwolinski and Basheer Al-Hashimi
Type: Conference or Workshop Item
| 2003
| Item not available on this server.
Addressing Useless Test Data in Core-Based System-on-a-Chip Test - PT Gonciari, B Al-Hashimi and N Nicolici
Type: Article
| 2003
Type: Article
| 2003
| Item not available on this server.
Variable-Length Input Huffman Coding for System-on-a-Chip Test - Paul Theo Gonciari, Bashir Al-Hashimi and Nicola Nicolici
Type: Article
| 2003
Integrating Surgical Training Video Simulation Into The Virtual Orthopaedic University - Simon Grange, Gary Wills, Nick Humphrey, Josh Burrill, Tim Bunker and David De Roure
Type: Conference or Workshop Item
| 2003
Building a Dynamic Review Journal (DRJ): Extending the Role of the Virtual Orthopaedic University - Simon Grange, Gary Wills, Guillermo Power, Timothy Miles-Board, Leslie Carr and Wendy Hall
Type: Conference or Workshop Item
| 2003
Concurrent Development of Model and Implementation - Andrew M Gravell, Yvonne Howard, Juan-Carlos Augusto, Carla Ferreira and Stefan Gruner
Type: Conference or Workshop Item
| 2003
Automatic Derivation of Statistical Algorithms: The EM Family and Beyond - Alexander G. Gray, Bernd Fischer, Johann Schumann and Wray Buntine
Type: Conference or Workshop Item
| 2003
H
A Comparison of some Negotiation Algorithms using a Tournament-Based Approach - Peter Henderson, Stephen Crouch, Robert John Walters and Qinglai Ni
Type: Article
| 2003
DataWarp: Building Applications which Make Progress in an Inconsistent World - Peter Henderson, Robert John Walters, Stephen Crouch and Qinglai Ni
Type: Conference or Workshop Item
| 2003
Towards a behavioural theory of access and mobility control in distributed systems - Matthew Hennessy, Massimo Merro and Julian Rathke
Type: Book
| 2003
| Springer
| Item not available on this server.
SafeDpi: a language for controlling mobile code - Matthew Hennessy, Julian Rathke and Nobuko Yoshida
Type: Monograph
| 2003
| Item not available on this server.
Model-Based Trace-Checking - Yvonne Howard, Stefan Gruner, Andrew M Gravell, Carla Ferreira and Juan-Carlos Augusto
Type: Conference or Workshop Item
| 2003
J
Load Cell Response Correction Using Analog Adaptive Techniques - Mehdi Jafaripanah, Bashir Al-Hashimi and Neil M. White
Type: Conference or Workshop Item
| 2003
Type: Book
| 2003
| Elsevier
| Item not available on this server.
K
Type: Conference or Workshop Item
| 2003
| Item not available on this server.
Optimized low-power synchronizer design for the IEEE 802.11(a) standard - Milos Krstic, Alfonso Troya, Koushik Maharatna and Eckhard Grass
Type: Conference or Workshop Item
| 2003
Implementation of an IEEE 802.11a compliant low-power baseband processor - Milos Krstic, Alfonso Troya, Koushik Maharatna, Eckhard Grass and Ulrich Jagdhold
Type: Conference or Workshop Item
| 2003
L
Minimization of Crosstalk Noise, Delay and Power Using a Modified Bus Invert Technique - Matheos Lampropoulos, Bashir Al-Hashimi and Paul Rosinger
Type: Conference or Workshop Item
| 2003
Type: Conference or Workshop Item
| 2003
M
A novel 64-point FFT/IFFT processor for IEEE 802.11(a) standard - Koushik Maharatna, Eckhard Grass and Ulrich Jagdhold
Type: Conference or Workshop Item
| 2003
Clock calibration faults and their impact on quality of high performance microprocessors - Cecilia Metra and T.M. Mak
Type: Conference or Workshop Item
| 2003
| Item availability restricted.
Design of a 3µm pixel linear CMOS sensor for earth observation - Q.R. Morrissey, N.R. Waltham, R. Turchetta, M.J. French, D.M. Bagnall and B.M. Al Hashimi
Type: Article
| 2003
N
Nonlinear active handwriting models and their applications to handwritten Chinese radical recognition - G. S. Ng, D. Shi, S. R. Gunn and R. I. Damper
Type: Conference or Workshop Item
| 2003
| Item not available on this server.
Type: Conference or Workshop Item
| 2003
occam for reliable embedded systems: lightweight runtimes and model checking - Denis Nicole, Sam Ellis and Simon Hancock
Type: Conference or Workshop Item
| 2003
Type: Book
| 2003
| Kluwer Academic Publishers
| Item not available on this server.
O
Understanding Adaptive Hypermedia: An Architecture for Personalisation and Adaptivity - James Ohene-Djan, Matt Gorle, Christopher P Bailey, Gary B Wills and Hugh C Davis
Type: Conference or Workshop Item
| 2003
Versatile High-Level Synthesis of Self-Checking Datapaths Using an On-Line Testability Metric - P. Oikonomakos, M. Zwolinski and B. M. Al-Hashimi
Type: Conference or Workshop Item
| 2003
A model for transient fault propagation in combinatorial logic - Martin Omana, Giacinto Papasso, Daniele Rossi and Cecilia Metra
Type: Conference or Workshop Item
| 2003
| Item availability restricted.
High speed and highly testable parallel two-rail code checker - Martin Omana, Daniele Rossi and Cecilia Metra
Type: Conference or Workshop Item
| 2003
| Item availability restricted.
Type: Conference or Workshop Item
| 2003
| Item availability restricted.
P
Type: Conference or Workshop Item
| 2003
R
Modelling of microstructural effects in the fatigue of austempered ductile iron - P.A.S. Reed, R.C. Thomson, J.S. James, D.C. Putman, K.K. Lee and S.R. Gunn
Type: Article
| 2003
| Item not available on this server.
Event-Based Modelling and Refinement of Distributed Monitoring and Control Systems - Abdolbaghi Rezazadeh and Michael Butler
Type: Conference or Workshop Item
| 2003
Dual multiple-polynomial LFSR for low-power mixed-mode BIST - Paul Rosinger, Bashir M Al-Hashimi and Nicola Nicolici
Type: Article
| 2003
| Item not available on this server.
Error correcting codes for crosstalk effect minimization [system buses] - Daniele Rossi, Stefano Cavallotti and Cecilia Metra
Type: Conference or Workshop Item
| 2003
| Item availability restricted.
Error correcting strategy for high speed and high density reliable flash memories - Daniele Rossi and Cecilia Metra
Type: Article
| 2003
| Item availability restricted.
Power consumption of fault tolerant codes: the active elements - Daniele Rossi, V.E.S. Van Dijk, Richard Kleihorst, Andre' Nieuwland and Cecilia Metra
Type: Conference or Workshop Item
| 2003
| Item availability restricted.
S
Type: Article
| 2003
Type: Conference or Workshop Item
| 2003
A Co-Design Methodology for Energy-Efficient Multi-Mode Embedded Systems with Consideration of Mode Execution Probabilities - Marcus T Schmitz, Bashir M Al-Hashimi and Petru Eles
Type: Conference or Workshop Item
| 2003
Off-line handwritten Chinese character recognition by radical decomposition - D. Shi, R. I. Damper and S. R. Gunn
Type: Article
| 2003
Handwritten Chinese radical recognition using nonlinear active shape models - D. Shi, S. R. Gunn and R. I. Damper
Type: Article
| 2003
Type: Conference or Workshop Item
| 2003
T
Teaching Databases at Southampton University - Ken Thomas
Type: Conference or Workshop Item
| 2003
Hierarchical and Recursive State Machines with Context-Dependent Properties - Salvatore La Torre, Margherita Napoli, Mimmo Parente and Gennaro Parlato
Type: Conference or Workshop Item
| 2003
Simplified residual phase correction mechanism for the IEEE 802.11a standard - Alfonso Troya, Milos Krstic and Koushik Maharatna
Type: Conference or Workshop Item
| 2003
Rank-Shaping Regularization of Exponential Spectral Analysis for Application to Functional Parametric Mapping - F.E. Turkheimer, R. Hinz, R.N. Gunn, J.A.D. Aston, S.R. Gunn and V.J. Cunningham
Type: Article
| 2003
| Item not available on this server.
V
Improving Compositional Verification of State-based Models by Reducing Modular Unbalance - Mauricio Varea, Michael Leuschel and Bashir Al-Hashimi
Type: Conference or Workshop Item
| 2003
W
Automating Checking of Models Built Using a Graphically Based Formal Modelling Language - Robert John Walters
Type: Conference or Workshop Item
| 2003
IEE Proceedings: Computers and Digital Techniques Special issue on "Design and Test Conference in Europe", DATE 03 - Norbert Wehn and Bashir M. Al-Hashimi
Type: Article
| 2003
| Item not available on this server.
Type: Conference or Workshop Item
| 2003
| Item availability restricted.
The Need for Deeper Design in a Semantic Web. - Gary Wills, Arouna Woukeu, Leslie Carr and Wendy Hall
Type: Conference or Workshop Item
| 2003
Rethinking Web Design Models: Requirements for Addressing the Content - Arouna Woukeu, Les Carr, Gary Wills and Wendy Hall
Type: Monograph
| 2003
Ontological Hypermedia in Education: A framework for building web-based educational portals - Arouna Woukeu, Gary Wills, Grainne Conole, Les Carr, Simon Kampa and Wendy Hall
Type: Conference or Workshop Item
| 2003
Scheduling and Mapping of Conditional Task Graph for the Synthesis of Low Power Embedded Systems - D. Wu, B. M. Al-Hashimi and P. Eles
Type: Article
| 2003
| Item availability restricted.
Scheduling and Mapping of Conditional Task Graphs for the Synthesis of Low Power Embedded Systems - D. Wu, B. M. Al-Hashimi and P. Eles
Type: Conference or Workshop Item
| 2003
| Item not available on this server.