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 |
Number of items: 94.
Article
On the Verified-by-Construction Approach - Michael Butler
Type: Article
| 2006
Workload-Ahead-Driven Online Energy Minimization Techniques for Battery-Powered Embedded Systems with Time-Constraints - Yuan Cai, Marcus Schmitz, Bashir M. Al-Hashimi and Sudhakar M. Reddy
Type: Article
| 2006
An Institution of Modal Logics for Coalgebras - Corina Cirstea
Type: Article
| 2006
Type: Article
| 2006
On-chip timing measurement architecture with femtosecond resolution - Matthew Collins, Bashir Al-Hashimi and Peter Wilson
Type: Article
| 2006
An Empirical Evaluation of Automated Theorem Provers in Software Certification - Ewen Denney, Bernd Fischer and Johann Schumann
Type: Article
| 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
Efficient Static Compaction Techniques for Sequential Circuits Based on Reverse-Order Restoration and Test Relaxation - Aiman El-Maleh, Syed Saqib Khursheed and Sadiq M. Sait
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
Type: Article
| 2006
| Item not available on this server.
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
Workflows for Wind Tunnel Grid Applications - Arumugam Paventhan, Kenji Takeda, Simon J. Cox and Denis A. Nicole
Type: Article
| 2006
| Item availability restricted.
Machine learning can improve prediction of severity in acute pancreatitis using admission values of APACHE II score and C-reactive protein - C.B. Pearce, S.R. Gunn, A. Ahmed and C.D. Johnson
Type: Article
| 2006
| Item not available on this server.
Measuring the Comprehensibility of a UML-B model and a B model - Rozilawati Razali and Paul W Garratt
Type: Article
| 2006
Type: Article
| 2006
Type: Article
| 2006
Cost Model-Driven Test Resource Partitioning for SoCs - Armin Wuertemberger, Paul Rosinger, Bashir Al-Hashimi and Krishnendu Chakrabarty
Type: Article
| 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.
Book
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.
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.
Book Section
Holistic Trust Design of E-Services - Stéphane Lo Presti, Michael Butler, Michael Leuschel and Chris Booth
Type: Book Section
| 2006
Formal perspectives on software evolution: from refinement to retrenchment - Michael Poppleton and Lindsay Groves
Type: Book Section
| 2006
| John Wiley & Sons
Rigorous Design of Fault-Tolerant Transactions for Replicated Database Systems using Event B - Divakar Yadav and Michael Butler
Type: Book Section
| 2006
| Springer Berlin, Heidelberg
Conference or Workshop Item
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.
Using Decomposition to Model Multi-agent Interaction Protocols in Event-B - Elisabeth Ball and Michael Butler
Type: Conference or Workshop Item
| 2006
Type: Conference or Workshop Item
| 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
Modularity in Coalgebra - Corina Cirstea
Type: Conference or Workshop Item
| 2006
On-chip time measurement architecture with femtosecond timing resolution - Matthew Collins and Bashir M. Al-Hashimi
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
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
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
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
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
A low-power geometric mapping co-processor for high-speed graphics application - Selwyn Leeke and Koushik Maharatna
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
Symmetry reduction for B by permutation flooding - Michael Leuschel, Michael Butler, Corinna Spermann and Edd Turner
Type: Conference or Workshop Item
| 2006
| Springer Berlin, Heidelberg
| Item availability restricted.
Personalised Navigation System with Multidimensional Linkbases - Panchit Longpradit, Christopher Bailey, Wendy Hall and Gary Wills
Type: Conference or Workshop Item
| 2006
A low-power 128-pt FFT for wireless personal area network - Koushik Maharatna
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
Exploration of Power Optimal Implementation Technique of 128-Pt FFT/IFFT for WPAN using Pseudo-Parallel Datapath Structure - Jimson Matthew, Koushik Maharatna and Dhiraj Pradhan
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
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
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
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
Typed Static Analysis for Concurrent, Policy-Based, Resource Access Control - Nicholas Nguyen and Julian Rathke
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
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
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.
Relating Algebraic and Coalgebraic Logics of Knowledge and Update - Mehrnoosh Sadrzadeh and Corina Cirstea
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
Expert Finding by Capturing Organisational Knowledge from Legacy Documents - Y W Sim, R M Crowder and G B Wills
Type: Conference or Workshop Item
| 2006
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
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
Improving Routing Efficiency for Network-on-Chip through Contention-Aware Input Selection - Dong Wu, Bashir M. Al-Hashimi and Marcus T. Schmitz
Type: Conference or Workshop Item
| 2006
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
Monograph
Incremental Construction of Large Specifications: Case Study and Techniques - Neil Evans and Michael Butler
Type: Monograph
| 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
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
Type: Monograph
| 2006
Thesis
A Virtual University Infrastructure For Orthopaedic Surgical Training With Integrated Simulation - Simon Grange
Type: Thesis
| 2006
Formal Patterns for Web-based Systems Design - Abdolbaghi Rezazadeh
Type: Thesis
| 2006