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 2002
 | Up a level |
Number of items: 63.
Type: Conference or Workshop Item
| 2002
| Item not available on this server.
Type: Conference or Workshop Item
| 2002
| Item not available on this server.
Type: Article
| 2002
A System-based Approach to the Formal Development of Embedded Controllers for a Railway - Michael Butler
Type: Article
| 2002
Type: Conference or Workshop Item
| 2002
Extending the Concept of Transaction Compensation - Michael Butler, Carla Ferreira, Peter Henderson, Mandy Chessell, Catherine Griffin and David Vines
Type: Article
| 2002
Current mode single resistance controlled oscillators using only grounded passive components - Chun-Ming Chang, B. M. Al-Hashimi, H. P. Chen, S. H. Tu and J. A. Wan
Type: Article
| 2002
| Item not available on this server.
Type: Article
| 2002
Institutionalising many-sorted coalgebraic modal logic - Corina Cirstea
Type: Conference or Workshop Item
| 2002
On specification logics for algebra-coalgebra structures: reconciling reachability and observability - Corina Cirstea
Type: Conference or Workshop Item
| 2002
Type: Conference or Workshop Item
| 2002
A Probabilistic Framework for SVM Regression and Error Bar Estimation - J.B. Gao, S.R. Gunn, C.J. Harris and M. Brown
Type: Article
| 2002
Type: Conference or Workshop Item
| 2002
| Item not available on this server.
ASHTALK:SOFTWARE ACHIEVING DELAY-FREE VOICE TRANSMISSION OVER A LOCAL AREA NETWORK. - P.W Garratt and A Hosier
Type: Conference or Workshop Item
| 2002
| Item not available on this server.
Integrating Learning And Visualization Technologies In Orthopaedics:- Establishing The Virtual Orthopaedic European University - S Grange, C Setchell, N Campbell, G Wills and T Bunker
Type: Conference or Workshop Item
| 2002
Dual Mode Synchronous/Asynchronous CORDIC Processor - Eckhard Grass, Bodhisatwa Sarker and Koushik Maharatna
Type: Conference or Workshop Item
| 2002
Positron emission tomography compartmental models: A basis pursuit strategy for kinetic modelling - R.N. Gunn, S.R. Gunn, F.E. Turkheimer, J.A.D. Aston and V.J. Cunningham
Type: Article
| 2002
Tracer kinetic modeling via basis pursuit - R.N. Gunn, S.R. Gunn, F.E. Turkheimer, J.A.D. Aston and V.J. Cunningham
Type: Conference or Workshop Item
| 2002
| Item not available on this server.
Type: Article
| 2002
RICES: Reasoning about Information Consistency across Enterprise Solutions - Peter Henderson, Robert John Walters and Stephen Crouch
Type: Conference or Workshop Item
| 2002
| Item not available on this server.
Towards a behavioural theory of access and mobility control in distributed systems - Matthew Hennessy, Massimo Merro and Julian Rathke
Type: Monograph
| 2002
| Item not available on this server.
Typed behavioural equivalences for processes in the presence of subtyping - Matthew Hennessy and Julian Rathke
Type: Book
| 2002
| Elsevier
| Item not available on this server.
Application of Finite Element Methods to Photonic Crystal Modelling - B.P. Hiett, D.H. Beckett, S.J. Cox, J.M. Generowicz, M Molinari and K.S Thomas
Type: Conference or Workshop Item
| 2002
| Item not available on this server.
Type: Monograph
| 2002
| Item not available on this server.
Type: Book
| 2002
| IEEE
| Item not available on this server.
A theory of bisimulation for a fragment of concurrent ML with local names - Alan Jeffrey and Julian Rathke
Type: Monograph
| 2002
| Item not available on this server.
Type: Conference or Workshop Item
| 2002
Contracts for Scenario-Based Testing of Object-Oriented Programs - Anna Mikhailova, Marielle Doche and Michael Butler
Type: Monograph
| 2002
Type: Conference or Workshop Item
| 2002
Multiple Scan Chains for Power Minimization during Test Application in Sequential Circuits - Nicola Nicolici and Bashir Al-Hashimi
Type: Conference or Workshop Item
| 2002
| Item not available on this server.
Type: Article
| 2002
| Item not available on this server.
Implementing Policies in Programs using Labelled Transition Systems - Tim Owen, Julian Rathke, Ian Wakeman and Des Watson
Type: Conference or Workshop Item
| 2002
| Item not available on this server.
A Model for Controlling Program Behaviour in Pervasive Networks - Tim Owen, Julian Rathke, Ian Wakeman and Des Watson
Type: Conference or Workshop Item
| 2002
| Item not available on this server.
Controlling control systems: an application of evolving retrenchment - Michael Poppleton and Richard Banach
Type: Conference or Workshop Item
| 2002
Realism and naturalness in a conversational multi-modal interface - G. Power, R. I. Damper, W. Hall and G. B. Wills
Type: Conference or Workshop Item
| 2002
User Perception of Anthropomorphic Characters with Varying Levels of Interaction - Guillermo Power, Gary Wills and Wendy Hall
Type: Conference or Workshop Item
| 2002
| Item not available on this server.
Analysing trade-offs in scan power and test data compression for Systems-on-a-chip - P Rosinger, P Gonciari, B.M Al-Hashimi and Nicola Nicolici
Type: Conference or Workshop Item
| 2002
| Item not available on this server.
Low Power Mixed-Mode BIST Based on Mask Pattern Generation Using Dual LFSR Re-seeding - Paul Rosinger, Bashir Al-Hashimi and Nicola Nicolici
Type: Conference or Workshop Item
| 2002
Power Profile Manipulation: A New Approach for Reducing Test Application Time Under Power Constraints - Paul Rosinger, Bashir Al-Hashimi and Nicola Nicolici
Type: Article
| 2002
Fast and compact error correcting scheme for reliable multilevel flash memories - Daniele Rossi, Cecilia Metra and Bruno Ricco'
Type: Conference or Workshop Item
| 2002
| Item availability restricted.
Coding scheme for low energy consumption fault tolerant bus - Daniele Rossi, V.E.S. Van Dijk, Richard Kleihorst, Andre' Nieuwland and Cecilia Metra
Type: Conference or Workshop Item
| 2002
| Item availability restricted.
Asynchronous CORDIC processor implementation - Bodhisatwa Sarker, Eckhard Grass and Koushik Maharatna
Type: Conference or Workshop Item
| 2002
| Item not available on this server.
Type: Conference or Workshop Item
| 2002
Synthesizing Energy-Efficient Embedded Systems with LOPOCOS - Marcus T Schmitz, Bashir M Al-Hashimi and Petru Eles
Type: Article
| 2002
Energy-Efficient Mapping and Scheduling for DVS Enabled Distributed Embedded Systems - Marcus T. Schmitz, Bashir M. Al-Hashimi and Petru Eles
Type: Conference or Workshop Item
| 2002
Synthesising Energy-Efficient Embedded Systems with LOPOCOS - Marcus T. Schmitz, Bashir M. Al-Hashimi and Petru Eles
Type: Other
| 2002
| Kluwer Academic Publishers
Type: Thesis
| 2002
| University of Southampton
| Item not available on this server.
Handwritten Chinese character recognition using nonlinear active shape models and the Viterbi algorithm - D. Shi, S. R. Gunn and R. I. Damper
Type: Article
| 2002
| Item not available on this server.
A Unicore Globus Interoperability Layer - David Snelling, Sven van den Berghe, Gregor von Laszewski, Philipp Wieder, Dirk Breuer, Jon MacLaren, Denis Nicole and Hans-Christian Hoppe
Type: Article
| 2002
OFDM synchronizer implementation for an IEEE 802.11(a) compliant modem - Alfonso Troya, Koushik Maharatna, Milos Krstic, Eckhard Grass and Rolf Kraemer
Type: Conference or Workshop Item
| 2002
Finite and Infinite Model Checking of Dual Transition Petri Net Models - Mauricio Varea, Bashir Al-Hashimi and Michael Leuschel
Type: Conference or Workshop Item
| 2002
Symbolic Model Checking of Dual Transition Petri Nets - Mauricio Varea, Bashir M. Al-Hashimi, Luis A. Cortes, Petru Eles and Zebo Peng
Type: Conference or Workshop Item
| 2002
A Graphically based language for constructing, executing and analysing models of software systems. - Robert John Walters
Type: Thesis
| 2002
A graphically based language for constructing, executing and analysing models of software systems. - Robert John Walters
Type: Conference or Workshop Item
| 2002
AutoBayes/CC --- Combining Program Synthesis with Automatic Code Certification (System Description) - Michael Whalen, Johann Schumann and Bernd Fischer
Type: Conference or Workshop Item
| 2002
Type: Conference or Workshop Item
| 2002
Type: Conference or Workshop Item
| 2002
Type: Conference or Workshop Item
| 2002
| Item availability restricted.
Design Issues for Agent-based Resource Locator Systems - Gary Wills, Harith Alani, Ronald Ashri, Richard Crowder, Yannis Kalfoglou and Sanghee Kim
Type: Conference or Workshop Item
| 2002
Type: Monograph
| 2002
Type: Book Section
| 2002
| University of Southampton
| Item not available on this server.
Type: Article
| 2002
| Item availability restricted.
Type: Conference or Workshop Item
| 2002