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 2006

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

Type: Book | 2006 | Springer | Item not available on this server.

Type: Book | 2006 | Springer | Item not available on this server.

Type: Book | 2006 | IEE Press | Item not available on this server.

An open extensible tool environment for Event-B - Jean-Raymond Abrial, Michael Butler, Stefan Hallerstede and Laurent Voisin
Type: Conference or Workshop Item | 2006

Processes for adhesive rewriting systems - P Baldan, A Corradini, T Heindel, B König and P Sobocinski
Type: Conference or Workshop Item | 2006 | Item not available on this server.

Type: Conference or Workshop Item | 2006

Weerkat: An extensible semantic Wiki - PR Boulain, MB Parker, DE Millard and GB Wills
Type: Conference or Workshop Item | 2006

Type: Article | 2006

Rigorous Development of Complex Fault-Tolerant Systems - Michael Butler, Cliff B. Jones, Alexander Romanovsky and Elena Troubitsyna
Type: Book | 2006 | Springer | Item not available on this server.

Type: Article | 2006

Cache Size Selection for Performance, Energy and Reliability of Time-Constrained Systems - Yuan Cai, Marcus Schmitz, Alireza Ejlali, Bashir Al-Hashimi and Sudhakar Reddy
Type: Conference or Workshop Item | 2006

Type: Article | 2006

Type: Article | 2006

Modularity in Coalgebra - Corina Cirstea
Type: Conference or Workshop Item | 2006

On-chip timing measurement architecture with femtosecond resolution - Matthew Collins, Bashir Al-Hashimi and Peter Wilson
Type: Article | 2006

Type: Conference or Workshop Item | 2006

Minimizing Test Power in SRAM through Reduction of Pre-charge Activity - L. DILILLO, P. ROSINGER, B. M. AL-HASHIMI and P. GIRARD
Type: Conference or Workshop Item | 2006

General reversibility - V Danos, J Krivine and P Sobocinski
Type: Conference or Workshop Item | 2006 | Item not available on this server.

Type: Article | 2006

Sparse Feature Extraction using Generalised Partial Least Squares - Charanpal Dhanjal, Steve R. Gunn and John Shawe-Taylor
Type: Conference or Workshop Item | 2006 | Item not available on this server.

Leakage Read Fault in Nanoscale SRAM: Analysis, Test and Diagnosis - Luigi Dilillo, B. M. Hashimi, Paul Rosinger and Patrick Girard
Type: Conference or Workshop Item | 2006

Reducing Power Dissipation in SRAM during Test - Luigi Dilillo, Paul Rosinger, Bashir M. Al-Hashimi and Patrick Girard
Type: Article | 2006

Combined Time and Information Redundancy for SEU-Tolerance in Energy-Efficient Real-Time Systems - Ali Ejlali, Bashir M. Al-Hashimi, Marcus Schmitz, Paul Rosinger and Seyed G. Miremadi
Type: Article | 2006

Type: Article | 2006

Type: Monograph | 2006 | s.n.

A Proposal for Records in Event-B - Neil Evans and Michael Butler
Type: Conference or Workshop Item | 2006

“Smart Models” - a framework for adaptive multi-scale modelling - Eric S Fraga, Gary Wills, Michael Fairweather and Tony Perris
Type: Conference or Workshop Item | 2006

Analogue MIMO detection on the basis of belief propagation - Jose-Soler Garrido, Robert Piachocki, Koushik Maharatna and Darren McNamara
Type: Conference or Workshop Item | 2006

MIMO detection in analogue VLSI - Jose-Soler Garrido, Robert Piachocki, Koushik Maharatna and Darren McNamara
Type: Conference or Workshop Item | 2006

From collaborative virtual research environment to teaching and learning - Lester Gilbert, Onjira Sitthisak, Yee Wai Sim, Chu Wang and Gary Wills
Type: Conference or Workshop Item | 2006

A Web/Grid Services Approach for Integration of Virtual Clinical & Research Environments - S Grange, C Wang, L Gilbert, YW Sim, DE Millard, W Hall, E Gardner and GB Wills
Type: Conference or Workshop Item | 2006

Type: Thesis | 2006

Type: Article | 2006

Band selection for hyperspectral image classification using mutual information - B. Guo, S. R. Gunn, R. I. Damper and J. D. B. Nelson
Type: Article | 2006

Comparative Performance of Non-linear Distortion Effects in OFDM-RoF Link - A.H.M.R. Islam, Rishad Ahmed Shafik and Shawkat Ali
Type: Conference or Workshop Item | 2006 | Item not available on this server.

Next Generation Converged Connectivity Model for Rural Business Opportunities in Developing Countries - A.H.M.R. Islam, Rishad Ahmed Shafik, Mohammad Imrul Hassan and Ju Bin Song
Type: Conference or Workshop Item | 2006

Next Generation Rural Wireless Connectivity Model For Developing Countries - A.H.M.R. Islam, Rishad Ahmed Shafik, Mohammad Imrul Hassan and Ju Bin Song
Type: Conference or Workshop Item | 2006 | Item not available on this server.

On The Non-linear Distortion Effects in an OFDM-RoF Link - A.H.M.R. Islam, Rishad Ahmed Shafik, Mohammad Shahriar Rahman and Ju Bin Song
Type: Conference or Workshop Item | 2006

ACPR Performance of OFDM Systems - Abu Hena Razibul Islam, Rishad Ahmed Shafik and J.B. Song
Type: Article | 2006 | Item not available on this server.

Toposes are adhesive - Stephen Lack and Pawel Sobocinski
Type: Conference or Workshop Item | 2006 | Item not available on this server.

Roadmap for Enhanced Languages and Methods to Aid Verification - Gary T. Leavens, Jean-Raymond Abrial, Don Batory, Michael Butler, Alessandro Coglio, Kathi Fisler, Eric Hehner, Cliff B. Jones, Dale Miller, Simon Peyton-Jones, Murali Sitaraman, Douglas R. Smith and Aaron Stump
Type: Conference or Workshop Item | 2006

Type: Conference or Workshop Item | 2006

Symmetry Reduction for B by Permutation Flooding - Michael Leuschel, Michael Butler, Corinna Spermann and Edd Turner
Type: Conference or Workshop Item | 2006

Holistic Trust Design of E-Services - Stéphane Lo Presti, Michael Butler, Michael Leuschel and Chris Booth
Type: Book Section | 2006

Personalised Navigation System with Multidimensional Linkbases - Panchit Longpradit, Christopher Bailey, Wendy Hall and Gary Wills
Type: Conference or Workshop Item | 2006

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

On the Implementation of a Low-Power IEEE 802.11a Compliant Viterbi Decoder - Koushik Maharatna, Alfonso Troya, Milos Kristic and Eckhard Grass
Type: Conference or Workshop Item | 2006

A Service-Oriented Architecture for a Collaborative Orthopaedic Research Environment. - D Makola, YW Sim, C Wang, L Gilbert, SAW Grange and GB Wills
Type: Conference or Workshop Item | 2006

Adaptation in Adaptable Personal Information Environment - Thanyalak Maneewatthana, Gary Wills and Wendy Hall
Type: Conference or Workshop Item | 2006

Type: Conference or Workshop Item | 2006

Rule Managed Reporting in Energy Controlled Wireless Sensor Networks - G. V. Merrett, N. R. Harris, B. M. Al-Hashimi and N. M. White
Type: Conference or Workshop Item | 2006

Energy Controlled Reporting for Industrial Monitoring Wireless Sensor Networks - Geoff V. Merrett, Nick R. Harris, Bashir M. Al-Hashimi and Neil M. White
Type: Conference or Workshop Item | 2006

The Unified Framework for Sensor Networks: A Systems Approach - Geoff V. Merrett, Alex S. Weddell, Nick R. Harris, Neil M. White and Bashir M. Al-Hashimi
Type: Monograph | 2006 | University of Southampton

Path (min) delay faults and their impact on self-checking circuits’ operation - Cecilia Metra, Martin Omana, Daniele Rossi and Jose Manuel Cazeaux
Type: Conference or Workshop Item | 2006 | Item availability restricted.

Can clock faults be detected through functional test? - Cecilia Metra, Daniele Rossi, Martin Omana and Jose' Manuel Cazeaux
Type: Conference or Workshop Item | 2006

Extending the role of a healthcare digital library environment to support orthopaedic research - T Miles-Board, L Carr, G Wills, G Power, C Bailey, W Hall, M Stenning and S Grange
Type: Article | 2006

The e-Learning Assessment Landscape - David Millard, Christopher Bailey, Hugh Davis, Lester Gilbert, Yvonne Howard and Gary Wills
Type: Conference or Workshop Item | 2006

(Semantic Web) Services for e-Learning - David Millard, Karl Doody, Hugh Davis, Yvonne Howard, Lester Gilbert, Feng Tao and Gary Will
Type: Conference or Workshop Item | 2006 | Item not available on this server.

Design Patterns for Wrapping Similar Legacy Systems with Common Service Interfaces - David Millard, Yvonne Howard, Swapna Chennupati, Hugh Davis, Ehtesham-Rasheed Jam, Lester Gilbert and Gary Wills
Type: Conference or Workshop Item | 2006

FREMA method for describing Web Services in a Service Oriented Architecture. - David E. Millard, Yvonne Howard, Ehtesham-Rasheed Jam, Swapna Chennupati, Hugh C. Davis, Lester Gilbert and Gary B. Wills
Type: Monograph | 2006 | s.n.

Signal theory for SVM kernel parameter estimation - J. D. B. Nelson, R. I. Damper, S. R. Gunn and B. Guo
Type: Conference or Workshop Item | 2006

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

Low-cost and highly reliable detector for transient and crosstalk faults affecting FPGA interconnects - Martin Omana, Jose Manuel Cazeaux, Daniele Rossi and Cecilia Metra
Type: Conference or Workshop Item | 2006 | Item availability restricted.

An evaluation of Information quality frameworks for the World Wide Web - MB Parker, V Moleshe, R De la Harpe and GB Wills
Type: Conference or Workshop Item | 2006

Data quality: how the flow of data influences data quality in a small to medium medical practice - Marlon Parker, Cornell Stofberg, Retha De la Harpe, Isabella Venter and Gary Wills
Type: Conference or Workshop Item | 2006

Type: Conference or Workshop Item | 2006 | IEEE Computer Society

Workflows for Wind Tunnel Grid Applications - Arumugam Paventhan, Kenji Takeda, Simon J. Cox and Denis A. Nicole
Type: Article | 2006 | Item availability restricted.

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

Type: Book Section | 2006 | John Wiley

Type: Article | 2006

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

Type: Thesis | 2006

Relating Semantic Models of Compensating CSP - Shamim Ripon and Michael Butler
Type: Monograph | 2006 | s.n.

A novel dual-walled CNT bus architecture with reduced cross-coupling features - Daniele Rossi, Jose' Manuel Cazeaux, Cecilia Metra and Fabrizio Lombardi
Type: Conference or Workshop Item | 2006

Checker no-harm alarm robustness - Daniele Rossi, Martin Omana, Cecilia Metra and Andrea Pagni
Type: Conference or Workshop Item | 2006 | Item availability restricted.

Analysis of the impact of bus implemented EDCs on on-chip SSN - Daniele Rossi, Carlo Steiner and Cecilia Metra
Type: Conference or Workshop Item | 2006 | Item availability restricted.

Type: Conference or Workshop Item | 2006

On the Lempel-Ziv-Welch Coded Speech Transmission and Markov Chain Detection - Rishad Ahmed Shafik, Mohammad Shahriar Rahman, Nasib Ahmed Adnan and Mohammad Sajedul Islam
Type: Conference or Workshop Item | 2006 | Item availability restricted.

On the Extended Relationships Among EVM, BER and SNR as Performance Metrics - Rishad Ahmed Shafik, Mohammad Shahriar Rahman and AHM Razibul Islam
Type: Conference or Workshop Item | 2006

On the error vector magnitude as a performance metric and comparative analysis - Rishad Ahmed Shafik, Mohammad Shahriar Rahman, Abu Hena Mohhamad Razibul Islam and Nabil Shovon Ashraf
Type: Conference or Workshop Item | 2006

Type: Conference or Workshop Item | 2006

UML-B: Formal modelling and design aided by UML - Colin Snook and Michael Butler
Type: Article | 2006

Symmetry Reduction in the ProB Model Checker - Edd Turner and Michael Butler
Type: Conference or Workshop Item | 2006

Teaching the Grid: Learning Distributed Computing with the M-grid Framework - Robert J Walters, David E Millard, Philip Bernnett, David Argles, Stephen Crouch, Lester Gilbert and Gary Wills
Type: Conference or Workshop Item | 2006

Named Graphs as a Mechanism for Reasoning about Provenance - E. Rowland Watkins and Denis A. Nicole
Type: Article | 2006

ANNANN – Next Steps for Scaffolding Learning About Programs - SA White, LA Carr, HC Davis, CJ Hooper, TP Griffith and GB Wills
Type: Conference or Workshop Item | 2006

R2Q2: Rendering and Reponses Processing for QTIv2 Question Types - Gary Wills, Hugh Davis, Swapna Chennupati, Lester Gilbert, Yvonne Howard, Ehtesham-Rasheed Jam, Steve Jeyes, David Millard, Robert Sherratt and Gavin Willingham
Type: Conference or Workshop Item | 2006

A Masters Course in System on Chip - Peter R Wilson, Bashir Al Hashimi, Andrew D Brown and Mark Zwolinski
Type: Conference or Workshop Item | 2006

Knowledge Management for a Large Service-Oriented Corporation - Sylvia C Wong, Richard M Crowder, Nigel R Shadbolt and Gary B Wills
Type: Conference or Workshop Item | 2006

On a Service-Oriented Approach for an Engineering Knowledge Desktop - Sylvia C Wong, Richard M Crowder and Gary B Wills
Type: Conference or Workshop Item | 2006

Knowledge Engineering - From Front-line Support to Preliminary Design - Sylvia C Wong, Richard M Crowder, Gary B Wills and Nigel R Shadbolt
Type: Conference or Workshop Item | 2006

Type: Conference or Workshop Item | 2006

Cost Model-Driven Test Resource Partitioning for SoCs - Armin Wuertemberger, Paul Rosinger, Bashir Al-Hashimi and Krishnendu Chakrabarty
Type: Article | 2006

Type: Book Section | 2006 | Lecture Notes in Computer Science, Springer , 2006

Nematic director response in ferronematic cells. - V.I. Zadorozhnii, A.N. Vasilev, V.Yu. Reshetnyak, K.S. Thomas and T.J Sluckin
Type: Article | 2006 | Item availability restricted.

Dynamic Voltage Scaling Aware Delay Fault Testing - Noohul Basheer Zain Ali, Mark Zwolinski, Bashir M Al-Hashimi and Peter Harrod
Type: Conference or Workshop Item | 2006

Thermal-aware SoC test scheduling with test set partitioning and interleaving - He Zhiyuan, Zebo Peng, Petru Eles, Paul Rosinger and Bashir M. Al-Hashimi
Type: Conference or Workshop Item | 2006

This list was generated on Tue Nov 6 01:30:26 2018 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 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.

×