The University of Southampton
University of Southampton Institutional Repository

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
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Authors/Creators | Item Type
Number of items: 83.

Type: Conference or Workshop Item | 2003 | Item not available on this server.

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

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

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

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.

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

Type: Conference or Workshop Item | 2003

Evaluation of a hypermedia maintenance support application - Richard Crowder, Gary Wills and Wendy Hall
Type: Article | 2003

Correctness of Source-Level Safety Policies - Ewen Denney and Bernd Fischer
Type: Conference or Workshop Item | 2003

Crosstalk effect minimization for encoded busses - Luca Di Silvio, Daniele Rossi and Cecilia Metra
Type: Conference or Workshop Item | 2003 | Item availability restricted.

Type: Article | 2003

Type: Article | 2003 | Item not available on this server.

Type: Article | 2003 | Item not available on this server.

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

Test Cost Reduction Through Compression - Paul Theo Gonciari, Bashi Al-Hashimi and Nicola Nicolici
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

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

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

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.

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

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

ProB: A Model Checker for B - Michael Leuschel and Michael Butler
Type: Conference or Workshop Item | 2003

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

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

Type: Conference or Workshop Item | 2003 | Item not available on this server.

Towards formalizing UML State Diagrams in CSP - Muan Yong Ng and Michael Butler
Type: Conference or Workshop Item | 2003

Type: Conference or Workshop Item | 2003

Power-Constrained Testing of VLSI Circuits - Nicola Nicolici and Bashir M. Al-Hashimi
Type: Book | 2003 | Kluwer Academic Publishers | Item not available on this server.

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

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.

Novel transient fault hardened static latch - Martin Omana, Daniele Rossi and Cecilia Metra
Type: Conference or Workshop Item | 2003 | Item availability restricted.

Structuring Retrenchments in B by Decomposition - Michael R, Poppleton and Richard N. Banach
Type: Conference or Workshop Item | 2003

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.

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.

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.

Type: Article | 2003

Type: Conference or Workshop Item | 2003

Type: Conference or Workshop Item | 2003

Type: Article | 2003

Type: Article | 2003

Type: Conference or Workshop Item | 2003

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.

Type: Conference or Workshop Item | 2003

Type: Conference or Workshop Item | 2003

Type: Article | 2003 | Item not available on this server.

A CAD Methodology for Switched Current IP Cores - R Wilcock and B. M. Al-Hashimi
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

Type: Article | 2003 | Item availability restricted.

Type: Conference or Workshop Item | 2003 | Item not available on this server.

This list was generated on Tue Mar 26 01:33:26 2024 GMT.
Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×