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 2002

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: 63.

Article

Type: Article | 2002

Type: Article | 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

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

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

Structural Modelling with Sparse Kernels - S.R. Gunn and J.S. Kandola
Type: Article | 2002

Power-conscious test synthesis and scheduling - Nicola Nicolici and Bashir M Al-Hashimi
Type: Article | 2002 | Item not available on this server.

Type: Article | 2002

Synthesizing Energy-Efficient Embedded Systems with LOPOCOS - Marcus T Schmitz, Bashir M Al-Hashimi and Petru Eles
Type: Article | 2002

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

Open Hypermedia for Product Support - Gary Wills, Yee-Wai Sim, Richard Crowder and Wendy Hall
Type: Article | 2002 | Item availability restricted.

Book

Type: Book | 2002 | Elsevier | Item not available on this server.

Type: Book | 2002 | IEEE | Item not available on this server.

Book Section

Ontologies - Gary Wills and Kieron O'Hara
Type: Book Section | 2002 | University of Southampton | Item not available on this server.

Conference or Workshop Item

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: Conference or Workshop Item | 2002

Type: Conference or Workshop Item | 2002

Type: Conference or Workshop Item | 2002

Extraction of Abstraction Invariants for Data Refinement - Marielle Doche and Andrew M Gravell
Type: Conference or Workshop Item | 2002

Adapting Kernels by Variational Approach in SVM - J.B. Gao, S.R. Gunn and J.S. Kandola
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: Conference or Workshop Item | 2002

Dual Mode Synchronous/Asynchronous CORDIC Processor - Eckhard Grass, Bodhisatwa Sarker and Koushik Maharatna
Type: Conference or Workshop Item | 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.

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.

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.

An Approach to Combining B and Alloy - Leonid Mikhailov and Michael Butler
Type: Conference or Workshop Item | 2002

Tool Support for Visualizing CSP in UML - Muan Yong Ng and Michael Butler
Type: Conference or Workshop Item | 2002

Type: Conference or Workshop Item | 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.

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

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.

Type: Conference or Workshop Item | 2002

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

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

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

Type: Conference or Workshop Item | 2002

Type: Conference or Workshop Item | 2002

Synthesizing Certified Code - Michael Whalen, Johann Schumann and Bernd Fischer
Type: Conference or Workshop Item | 2002

Analogue Filter IP Cores for Design Reuse - R Wilcock and B. M. Al-Hashimi
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: Conference or Workshop Item | 2002

Monograph

Type: Monograph | 2002 | Item not available on this server.

Type: Monograph | 2002 | Item not available on this server.

Type: Monograph | 2002 | Item not available on this server.

Contracts for Scenario-Based Testing of Object-Oriented Programs - Anna Mikhailova, Marielle Doche and Michael Butler
Type: Monograph | 2002

Capability Management - Gary Wills, Sanghee Kim and Ronald Ashri
Type: Monograph | 2002

Thesis

Type: Thesis | 2002 | University of Southampton | Item not available on this server.

Type: Thesis | 2002

Other

Synthesising Energy-Efficient Embedded Systems with LOPOCOS - Marcus T. Schmitz, Bashir M. Al-Hashimi and Petru Eles
Type: Other | 2002 | Kluwer Academic Publishers

This list was generated on Tue Mar 26 01:33:19 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.

×