The University of Southampton
University of Southampton Institutional Repository

Items where Division is "Electronics & Computer Science > Cyber Physical Systems" 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: 70.

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

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.

Comparison of Modelling Techniques in the Analysis of Commercial Materials Data - S.W. Christensen, P.A.S. Reed, S.R. Gunn and I. Sinclair
Type: Book Section | 2002 | CRC Press | Item not available on this server.

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

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

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

Reducing Synchronization Overhead in Test Data Compression Environments - Paul Theo Gonciari, Bashir Al-Hashimi and Nicola Nicolici
Type: Conference or Workshop Item | 2002

Useless Memory Allocation: Problems and Solutions - Paul Theo Gonciari, Bashir Al-Hashimi and Nicola Nicolici
Type: Conference or Workshop Item | 2002

Integrated Test Data Decompression and Core Wrapper Design for Low-Cost System-on-a-Chip Testing - Paul Theo Gonciari, Bashir Al-Hashimi and Nicola Nicolici Nicolici
Type: Conference or Workshop Item | 2002

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.

Structural Modelling with Sparse Kernels - S.R. Gunn and J.S. Kandola
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.

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

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 | s.n. | Item not available on this server.

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

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

Classification of Imbalanced Data with Transparent Kernels - K.K. Lee, C.J. Harris, S.R. Gunn and P.A.S. Reed
Type: Thesis | 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

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

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.

Power-conscious test synthesis and scheduling - Nicola Nicolici and Bashir M Al-Hashimi
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.

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

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: Other | 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: Article | 2002 | Item not available on this server.

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

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

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

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

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

Type: Conference or Workshop Item | 2002

This list was generated on Tue Jul 17 01:31:05 2018 BST.
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 https://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.

×