The University of Southampton
University of Southampton Institutional Repository

Items where Division is "Electronics & Computer Science > Cyber Physical Systems" and Year is 2010

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

Type: Conference or Workshop Item | 2010

Using Factor Analysis to Generate Clusters of Agile Practices - Noura Abbas, Andy Gravell and Gary Wills
Type: Conference or Workshop Item | 2010

Rodin: an open toolset for modelling and reasoning in Event-B - Jean-Raymond Abrial, Michael Butler, Stefan Hallerstede, Thai Son Hoang, Farhad Mehta and Laurent Voisin
Type: Article | 2010

09381 Extended Abstracts Collection — Refinement Based Methods for the Construction of Dependable Systems - Jean-Raymond Abrial, Michael Butler, Rajev Joshi, Elena Troubitsyna and Jim C. P. Woodcock
Type: Book | 2010 | Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany | Item not available on this server.

Co-ordinate Rotation Based Low Complexity 2D FastICA Algorithm and Architecture - Amit Acharyya, Koushik Maharatna and Bashir Al-Hashimi
Type: Conference or Workshop Item | 2010 | Item availability restricted.

Robust Channel Identification Scheme: Solving Permutation Indeterminacy of ICA for Artifacts Removal from ECG - Amit Acharyya, Koushik Maharatna, Bashir Al-Hashimi and Sayanta Mondal
Type: Conference or Workshop Item | 2010 | Item availability restricted.

Type: Conference or Workshop Item | 2010 | Item availability restricted.

VLSI architecture for fetal ECG extraction for personalized healthcare application within resource constrained environmentT - Amit Acharyya, Hasitha Tudugalle, Koushik Maharatna, Bashir Al-Hashimi and Steve Gunn
Type: Conference or Workshop Item | 2010 | Item availability restricted.

Evaluation and Design Exploration of Solar Harvested-Energy Prediction Algorithm - Mustafa Ali, Bashir Al-Hashimi, Joaquin Recas and David Atienza
Type: Conference or Workshop Item | 2010

Type: Monograph | 2010 | s.n.

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

Guidance Notes for Cloud Research Users - David Bacigalupo, Xiaoyu Chen, Gary Wills and Lester Gilbert
Type: Other | 2010

The EASiHE Spanish and British Sign Language Formative eAssessment Case Studies - David Bacigalupo, Bill Warburton, E.A. Draffan, Pei Zhang, Lester Gilbert and Gary Wills
Type: Conference or Workshop Item | 2010

A Formative eAssessment Co-Design Case Study - David Bacigalupo, Bill Warburton, E.A. Draffan, Pei Zhang, Lester Gilbert and Gary Wills
Type: Conference or Workshop Item | 2010

Defect aware X-filling for low-power scan testing - S. Balatsouka, Vasileios Tenentes, X. Kavousianos and K. Chakrabarty
Type: Conference or Workshop Item | 2010

Type: Conference or Workshop Item | 2010

Type: Monograph | 2010 | University of Southampton

Type: Conference or Workshop Item | 2010

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

A Categorisation of Cloud Computing Business Models - Victor Chang, David Bacigalupo, Gary Wills and David De Roure
Type: Conference or Workshop Item | 2010

Type: Conference or Workshop Item | 2010

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

A Review of Cloud Business Models and Sustainability - Victor Chang, Gary Wills and David De Roure
Type: Conference or Workshop Item | 2010

Type: Conference or Workshop Item | 2010

Type: Conference or Workshop Item | 2010

Guidance Notes for Cloud Infrastructure Service Provider - Xiaoyu Chen, Gary Wills, Lester Gilbert and David Bacigalupo
Type: Other | 2010

Using Cloud for Research: A Technical Review - Xiaoyu Chen, Gary Wills, Lester Gilbert and David Bacigalupo
Type: Other | 2010

Type: Conference or Workshop Item | 2010

Type: Monograph | 2010 | s.n.

Type: Conference or Workshop Item | 2010

Type: Conference or Workshop Item | 2010

Type: Conference or Workshop Item | 2010

A Low-Power Simplified-MEWS Scoring device for Patient Monitoring - Dirk De Jager, Evangelos Mazomenos, Anindo Banerjee, Koushik Maharatna and Jeff Reeve
Type: Conference or Workshop Item | 2010

NPE - A Conceptual Model and Language for the Representation of Norms - Andrew Douglas, Robert Walters and Gary Wills
Type: Conference or Workshop Item | 2010

Tool Support for Event-B Code Generation - Andrew Edmunds and Michael Butler
Type: Conference or Workshop Item | 2010

Performability/energy trade-off in error-control schemes for on-chip networks - Alireza Ejlali, Bashir M. Al-Hashimi, Paul Rosinger, Seyed Ghassem Miremadi and Luca Benini
Type: Article | 2010

Modeling SWCNT bandgap and effective mass variation using a Monte Carlo approach - K. El Shabrawy, K. Maharatna, D. Bagnall and B.M. Al-Hashimi
Type: Article | 2010 | Item not available on this server.

Requirements for Semantic Web Aapplications in Engineering - David Fowler, Richard Crowder, Tao Guan, Nigel Shadbolt and Gary Wills
Type: Conference or Workshop Item | 2010

Feature-Oriented Modelling Using Event-B - Ali Gondal, Mike Poppleton, Michael Butler and Colin Snook
Type: Conference or Workshop Item | 2010

JEqualityGen: Generating Equality and Hashing Methods - Neville Grech, Bernd Fischer and Julian Rathke
Type: Conference or Workshop Item | 2010

Type: Conference or Workshop Item | 2010

A Conceptual Framework for Supporting Gender-Inclusivity in Games - Roziana Ibrahim, Gary Wills and Lester Gilbert
Type: Conference or Workshop Item | 2010

deGendering Games: Towards A Gender-Inclusive Framework For Games - Roziana Ibrahim, Gary Wills and Lester Gilbert
Type: Conference or Workshop Item | 2010

Type: Conference or Workshop Item | 2010

Reasoned Modelling Critics: Turning Failed Proofs into Modelling Guidance - Andrew Ireland, Gudmund Grov and Michael Butler
Type: Conference or Workshop Item | 2010

Timing diagrams requirements modeling using Event-B formal methods - Tossaporn Joochim, Colin Snook, Mike Poppleton and Andrew Gravell
Type: Conference or Workshop Item | 2010

Defect coverage-driven window-based test compression - Xrysovalantis Kavousianos, Krishnendu Chakrabarty, Emmanouil Kalligeros and Vasileios Tenentes
Type: Conference or Workshop Item | 2010

Type: Article | 2010

Type: Article | 2010

Gate-sizing-based single Vdd test for bridge defects in multi-voltage designs - Syed Saqib Khursheed, Bashir Al-Hashimi, Krishnendu Chakrabarty and Peter Harrod
Type: Article | 2010

Modeling the Impact of Process Variation on Resistive Bridge Defects - Syed Saqib Khursheed, Shida Zhong, Bashir Al-Hashimi, Robert Aitken and Sandip Kundu
Type: Conference or Workshop Item | 2010

The Language Theory of Bounded Context-Switching - Salvatore La Torre, P. Madhusudan and Gennaro Parlato
Type: Conference or Workshop Item | 2010

Design of Fixed-Point Processing Based Turbo Codes Using Extrinsic Information Transfer Charts - Liang Li, Robert G. Maunder, Bashir M. Al-Hashimi and Lajos Hanzo
Type: Conference or Workshop Item | 2010

An energy-efficient error correction scheme for IEEE 802.15.4 wireless sensor networks - Liang Li, Robert G. Maunder, Bashir M. Al-Hashimi and Lajos Hanzo
Type: Article | 2010

An Artificial Experimenter for Enzymatic Response Characterisation - Chris Lovell, Gareth Jones, Steve Gunn and Klaus-Peter Zauner
Type: Book Section | 2010 | Springer-Verlag

Type: Conference or Workshop Item | 2010

Characterising Enzymes for Information Processing: Towards an Artificial Experimenter - Chris Lovell, Gareth Jones, Steve Gunn and Klaus-Peter Zauner
Type: Book Section | 2010 | Springer Berlin / Heidelberg

Rewriting and Well-Definedness within a Proof System - Issam Maamria and Michael Butler
Type: Conference or Workshop Item | 2010

On an Extensible Rule-based Prover for Event-B - Issam Maamria, Michael Butler, Andrew Edmunds and Abdolbaghi Rezazadeh
Type: Conference or Workshop Item | 2010

Wireless Devices and Sensor Networks - Geoff Merrett, Alex Weddell and Nick Harris
Type: Book Section | 2010 | Artech House | Item not available on this server.

Design Metrics for RTL level estimation of delay variability due to intradie (random) variations - Michael Merrett, Yangang Wang, Mark Zwolinski, Koushik Maharatna and Massimo Alioto
Type: Conference or Workshop Item | 2010 | Item availability restricted.

A Competence Model to Design Assessment Questions for Self-Study - Athitaya Nitchot, Lester Gilbert and Gary Wills
Type: Conference or Workshop Item | 2010

Type: Conference or Workshop Item | 2010

Towards a Competence based System for Recommending Study Materials (CBSR) - Athitaya Nitchot, Lester Gilbert and Gary Wills
Type: Conference or Workshop Item | 2010

Novel low-cost aging sensor - Martin Omana, Daniele Rossi, Nicolo' Bosio and Cecilia Metra
Type: Conference or Workshop Item | 2010 | Item availability restricted.

Self-checking monitor for NBTI due degradation - Martin Omana, Daniele Rossi, Nicolo' Bosio and Cecilia Metra
Type: Conference or Workshop Item | 2010

High performance robust latches - Martin Omana, Daniele Rossi and Cecilia Metra
Type: Article | 2010 | Item availability restricted.

A Conceptual Model For Learning Outcomes in the Motor Skill Domain - Yulita Hanum P Iskandar, Lester Gilbert and Gary Wills
Type: Conference or Workshop Item | 2010

Feedback in the Computer-based Sport Training - Yulita Hanum P Iskandar, Lester Gilbert and Gary Wills
Type: Conference or Workshop Item | 2010

Pedagogical Feedback for Computer-based Sport Training - Yulita Hanum P Iskandar, Lester Gilbert and Gary Wills
Type: Conference or Workshop Item | 2010

Type: Conference or Workshop Item | 2010

Type: Article | 2010

Type: Article | 2010 | Item availability restricted.

Type: Conference or Workshop Item | 2010

Survey of Students' Technology Use for Time Management - Till Rebenich, Andrew Gravell and Thanassis Tiropanis
Type: Conference or Workshop Item | 2010

The inertia problem: implementation of a holistic design support system - Nicholas Reed, Jim Scanlan, Gary Wills and Steven Halliday
Type: Article | 2010

Low cost and low intrusive approach to test on-line the scheduler of high performance microprocessors - Daniele Rossi, Martin Omana, Gianluca Berghella, Cecilia Metra, Tirumurti Chandra and Rajesh Galivanche
Type: Conference or Workshop Item | 2010 | Item availability restricted.

Secure communication protocol for wireless sensor networks - Daniele Rossi, Martin Omana, Daniele Giaffreda and Cecilia Metra
Type: Conference or Workshop Item | 2010

Transient fault and soft error on-die monitoring scheme - Daniele Rossi, Martin Omana and Cecilia Metra
Type: Conference or Workshop Item | 2010 | Item availability restricted.

Applying Event-B Atomicity Decomposition to a Multi Media Protocol - Asieh Salehi Fathabadi and Michael Butler
Type: Conference or Workshop Item | 2010

Soft Error-Aware Design Optimization of Low Power and Time-Constrained Embedded Systems - Rishad Ahmed Shafik, Bashir M. Al-Hashimi and Krish Chakrabarty
Type: Conference or Workshop Item | 2010

Effects of CNT Diameter Variability on a CNFET-Based SRAM - Hamed Shahidipour, Yue Zhong, Arash Ahmadi and Koushik Maharatna
Type: Conference or Workshop Item | 2010

Shared Event Composition/Decomposition in Event-B - Renato Silva and Michael Butler
Type: Conference or Workshop Item | 2010

Decomposition Tool for Event-B - Renato Silva, Carine Pascal, T. Son Hoang and Michael Butler
Type: Conference or Workshop Item | 2010

Type: Conference or Workshop Item | 2010

Type: Conference or Workshop Item | 2010

An EMF Framework for Event-B - Colin Snook, Fabian Fritz and Alexei Illisaov
Type: Conference or Workshop Item | 2010

Type: Conference or Workshop Item | 2010 | Item availability restricted.

A Basis for Feature-Oriented Modelling in Event-B - Jennifer Sorge, Mike Poppleton and Michael Butler
Type: Conference or Workshop Item | 2010

Type: Article | 2010 | Item availability restricted.

Model-Checking Parameterized Concurrent Programs Using Linear Interfaces - Salvatore La Torre, P. Madhusudan and Gennaro Parlato
Type: Conference or Workshop Item | 2010

A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking - Edd Turner, Michael Butler and Michael Leuschel
Type: Conference or Workshop Item | 2010

Type: Conference or Workshop Item | 2010

A Virtual Research Environment (VRE) to Support Sharing and Collaboration in Internet Intervention Projects. - Sarah Williams, Lucy Yardley, Gary Wills, Sina Samangooei and Lester Gilbert
Type: Book Section | 2010 | Med-e-Tel

Type: Monograph | 2010 | s.n.

Virtual Research Integration Collaboration: Procedural Report - Gary Wills, Lester Gilbert, Simon Grange, Alejandra Recio, Michael Santer, P Smitham and R Malikian
Type: Monograph | 2010 | s.n.

Scan based methodology for reliable state retention power gating designs - Sheng Yang, Bashir Al-Hashimi, David Flynn and Saqib Khursheed
Type: Conference or Workshop Item | 2010

Evaluation of a Guideline by Formal Modelling of Cruise Control System in Event-B - Sanaz Yeganefard, Michael Butler and Abdolbaghi Rezazadeh
Type: Conference or Workshop Item | 2010

Type: Conference or Workshop Item | 2010

A bulk-driven ISFET-based chemical mixer - W.S.W. Zain, T. Prodromakis and C. Toumazou
Type: Conference or Workshop Item | 2010 | Item not available on this server.

Type: Conference or Workshop Item | 2010

IMS QTIEngine on Android to Support Offline Mobile Learning - Pei Zhang, Gary Wills, Lester Gilbert, Bill Warburton and David Bacigalupo
Type: Conference or Workshop Item | 2010

This list was generated on Tue Sep 18 01:29:43 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.

×