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 2011

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

Algorithm and architecture for N-D vector cross-product computation - Amit Acharyya, Koushik Maharatna and Bashir Al-Hashimi
Type: Article | 2011 | Item availability restricted.

Predictive Algorithm Based Low Complexity 2D FastICA - Amit Acharyya, Koushik Maharatna and Bashir Al-Hashimi
Type: Conference or Workshop Item | 2011 | Item availability restricted.

Co-ordinate Rotation based Low Complexity N-D FastICA Algorithm and Architecture - Amit Acharyya, Koushik Maharatna, Bashir Al-Hashimi and Jeff Reeve
Type: Article | 2011 | Item availability restricted.

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

On the VLSI implementation of adaptive-frequency hopf oscillator - Arash Ahmadi, Eduardo Mangieri, Koushik Maharatna, Srinandan Dasmahapatra and Mark Zwolinski
Type: Article | 2011

Type: Monograph | 2011 | s.n.

Towards a blob-based presence verification system in summative e-assessments - Kikelomo Maria Apampa, Gary Wills and David Argles
Type: Article | 2011

Type: Conference or Workshop Item | 2011

Getting rid of store-buffers in TSO analysis - Mohamed Faouzi Atig, Ahmed Bouajjani and Gennaro Parlato
Type: Conference or Workshop Item | 2011

Managing Dynamic Enterprise and Urgent Workloads on Clouds Using Layered Queuing and Historical Performance Models - David A. Bacigalupo, Jano van Hemert, Xiaoyu Chen, Asif Usmani, Adam P. Chester, Ligang He, Donna N. Dillenberger, Gary Wills, Lester Gilbert and Stephen A. Jarvis
Type: Article | 2011

Type: Conference or Workshop Item | 2011

Type: Monograph | 2011 | s.n.

On Sequentializing Concurrent Programs - Ahmed Bouajjani, Michael Emmi and Gennaro Parlato
Type: Conference or Workshop Item | 2011

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

A Formal Method for Modeling, Verification and Synthesis of Embedded Reactive Systems - Ruiter Caldas, Raimundo Barreto, Lucas Cordeiro and Sérgio Campos
Type: Conference or Workshop Item | 2011

A tabu search heuristic based on k-diamonds for the weighted feedback vertex set problem - Francesco Carrabs, Raffaele Cerulli, Monica Gentili and Gennaro Parlato
Type: Conference or Workshop Item | 2011

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

Type: Conference or Workshop Item | 2011

Type: Conference or Workshop Item | 2011

Type: Article | 2011

Type: Article | 2011

The financial clouds review - Victor Chang, Chung-Sheng Li, David De Roure, Gary Wills, Robert Walters and Clinton Chee
Type: Article | 2011

Towards Business Integration as a Service 2.0 - Victor Chang, Gary Wills and Robert Walters
Type: Conference or Workshop Item | 2011

Type: Conference or Workshop Item | 2011

Developing Resource Usage Service in WLCG - Xiaoyu Chen, A. Khan, G.B. Wills and L.H. Gilbert
Type: Article | 2011

A User-Centric Approach for Secured eDocument Transmission: Digital Signing Practical Issues and the eCert Solution - Lisha Chen-Wilson, Lester Gilbert, Gary Wills, Andrew Gravell and David Argles
Type: Article | 2011

Type: Conference or Workshop Item | 2011

Healthcare Data Management Issues and the eCert Solution - Lisha Chen-Wilson, Xin Wang, Gary Wills, David Argles and Charles Shoniregun
Type: Conference or Workshop Item | 2011

Type: Article | 2011

Type: Conference or Workshop Item | 2011

EXPTIME tableaux for the coalgebraic µ-Calculus - Corina Cirstea, Clemens Kupke and Dirk Pattinson
Type: Article | 2011

Modal logics are coalgebraic - Corina Cirstea, Alexander Kurz, Dirk Pattinson, Lutz Schröder and Yde Venema
Type: Article | 2011

Type: Conference or Workshop Item | 2011

Type: Conference or Workshop Item | 2011

A low-power, distributed, pervasive healthcare system for supporting memory - Dirk De Jager, Alex L. Wood, Geoff V. Merrett, Bashir M. Al-Hashimi, Kieron O'Hara, Nigel R. Shadbolt and Wendy Hall
Type: Conference or Workshop Item | 2011

Type: Conference or Workshop Item | 2011

From Event-B models to code: sensing, actuating, and the environment - Andrew Edmunds, Abdolbaghi Rezazadeh and Michael Butler
Type: Conference or Workshop Item | 2011

Transparent authentication in e-learning - Nawfal Fadhel, David Argles and Gary Wills
Type: Conference or Workshop Item | 2011 | Item availability restricted.

Transparent authentication in E-learning - Nawfal Fadhel, Gary Wills and David Argles
Type: Conference or Workshop Item | 2011

Permission-based separation logic for message-passing concurrency - Adrian Francalanza, Julian Rathke and Vladimiro Sassone
Type: Article | 2011

Model for thermal behavior of shaded PV cells under hot-spot condition - Daniele Giaffreda, Martin Omana, Daniele Rossi and Cecilia Metra
Type: Conference or Workshop Item | 2011 | Item availability restricted.

Synthesis report on assessment and feedback with technology enhancement - Lester Gilbert, Denise Whitelock and Veronica Gale
Type: Monograph | 2011 | s.n.

Type: Other | 2011 | Elsevier

Composing Event-B Specifications - Case-Study Experience - Ali Gondal, Mike Poppleton and Michael Butler
Type: Conference or Workshop Item | 2011

Type: Article | 2011

Refining Nodes and Edges of State Machines - Stefan Hallerstede and Colin Snook
Type: Conference or Workshop Item | 2011

Monitor and Update Master Data Case Studies - Thai Son Hoang, Alexei Illianov, Renato Silva and Wei Wei
Type: Other | 2011

A Feasibility Study on Body-Worn Inertial Energy Harvesting during Walking and Running. - Hui Huang, Geoff Merrett, Cheryl Metcalf and Neil White
Type: Conference or Workshop Item | 2011

Type: Conference or Workshop Item | 2011

Type: Thesis | 2011

Games for Change - Roziana Ibrahim
Type: Other | 2011

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

Gender Issues in Games - Roziana Ibrahim
Type: Other | 2011

Type: Conference or Workshop Item | 2011

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

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

Local memory via layout randomization - Radha Jagadeesan, Corin Pitcher, Julian Rathke and James Riely
Type: Conference or Workshop Item | 2011 | Item availability restricted.

The Lax Braided Structure of Streaming I/O - Alan Jeffrey and Julian Rathke
Type: Conference or Workshop Item | 2011 | Item not available on this server.

Organising Chemical Reaction Networks in Space and Time with Microfluidics - Gareth Jones, Chris Lovell, Hywel Morgan and Klaus-Peter Zauner
Type: Article | 2011

Defect-oriented LFSR reseeding to target unmodeled defects using stuck-at test sets - X. Kavousianos, V. Tenentes, K. Chakrabarty and E. Kalligeros
Type: Article | 2011 | Item availability restricted.

Improved DFT for Testing Power Switches - Syed Saqib Khursheed, Sheng Yang, Bashir Al-Hashimi, Xiaoyu Huang and David Flynn
Type: Conference or Workshop Item | 2011

Interlinking Multimedia Annotations - Yunjia Li, Mike Wald and Gary Wills
Type: Conference or Workshop Item | 2011

Autonomous Experimentation: Active Learning for Enzyme Response Characterisation - Chris Lovell, Gareth Jones, Steve Gunn and Klaus-Peter Zauner
Type: Article | 2011

Exploration and Exploitation in an Artificial Experimenter - Chris Lovell, Klaus-Peter Zauner and Steve Gunn
Type: Conference or Workshop Item | 2011

The tree width of auxiliary storage - P. Madhusudan and Gennaro Parlato
Type: Conference or Workshop Item | 2011

Decidable logics combining heap structures and data - P. Madhusudan, Gennaro Parlato and Xiaokang Qiu
Type: Conference or Workshop Item | 2011

Type: Conference or Workshop Item | 2011

Type: Conference or Workshop Item | 2011

Clinical Feature Extraction for Mobile ECG - Evangelos Mazomenos, Amit Acharyya and Koushik Maharatna
Type: Conference or Workshop Item | 2011

Design and Qualitative Evaluation of Tactile Devices for Stroke Rehabilitation - Geoff V Merrett, Cheryl D Metcalf, Deyi Zheng, Sarah Cunningham, Stuart Barrow and Sara H Demain
Type: Conference or Workshop Item | 2011

Type: Article | 2011

Sub-Clock Power-Gating Technique for Minimising Leakage Power During Active Mode - Jatin Mistry, Bashir Al-Hashimi, David Flynn and Stephen Hill
Type: Conference or Workshop Item | 2011

Context-Bounded Model Checking of LTL Properties for ANSI-C Software - Jeremy Morse, Lucas Cordeiro, Denis Nicole and Bernd Fischer
Type: Conference or Workshop Item | 2011

Context-bounded model checking of LTL properties for ANSI-C software - Jeremy Morse, Lucas Cordeiro, Denis Nicole and Bernd Fischer
Type: Conference or Workshop Item | 2011 | Springer

Type: Conference or Workshop Item | 2011

Type: Conference or Workshop Item | 2011

Type: Conference or Workshop Item | 2011

Machine-processable Representation of Training Outcomes - Yulita Hanum P Iskandar, Lester Gilbert and Gary Wills
Type: Article | 2011

Type: Conference or Workshop Item | 2011

Type: Conference or Workshop Item | 2011

Type: Conference or Workshop Item | 2011

Knowledge use in an advanced manufacturing environment - Nicholas Reed, Jim Scanlan, Gary Wills and Steven T. Halliday
Type: Article | 2011

Impact of aging phenomena on soft error susceptibility - Daniele Rossi, Martin Omana, Cecilia Metra and Alessandro Paccagnella
Type: Conference or Workshop Item | 2011 | Item availability restricted.

Error correcting code analysis for cache memory high reliability and performance - Daniele Rossi, Nicola Timoncini, Michael Spica and Cecilia Metra
Type: Conference or Workshop Item | 2011

Applying Atomicity and Model Decomposition to a Space Craft System in Event-B - Asieh Salehi Fathabadi, Abdolbaghi Rezazadeh and Michael Butler
Type: Conference or Workshop Item | 2011

Type: Conference or Workshop Item | 2011

eIDeCert: a user-centric solution for mobile identification - Michele Schiano di Zenise, Andrea Vitaletti, Lisha Chen-Wilson, Lester Gilbert and David Argles
Type: Article | 2011

Type: Article | 2011

Type: Other | 2011

Type: Conference or Workshop Item | 2011

Decomposition Tool for Event-B - Renato Silva, Carine Pascal, Thai Son Hoang and Michael Butler
Type: Article | 2011

Type: Conference or Workshop Item | 2011

Verification of UML models by translation to UML-B - Colin Snook, Vitaly Savicks and Michael Butler
Type: Article | 2011

Tagged repair techniques for defect tolerance in hybrid nano/CMOS architecture - Saket Srivastava, Aissa Melouki and Bashir Al-Hashimi
Type: Article | 2011

Towards a Matching Strategy of Constructivism and Instructionism - Preecha Tangworakitthaworn, Lester Gilbert and Gary Wills
Type: Conference or Workshop Item | 2011

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

Low power test-compression for high test-quality and low test-data volume - Vasileios Tenentes and Xrysovalantis Kavousianos
Type: Conference or Workshop Item | 2011

Being Van Kampen is a universal property - Heindel Tobias and Sobocinski Pawel
Type: Article | 2011 | Item not available on this server.

Type: Thesis | 2011

Type: Conference or Workshop Item | 2011

Accelerated simulation of tunable vibration energy harvesting systems using a linearised state-space technique - Leran Wang, Tom Kazmierski, Bashir Al-Hashimi, Alex Weddell, Geoff Merrett and Ivo Ayala Garcia
Type: Conference or Workshop Item | 2011

Type: Conference or Workshop Item | 2011

Accurate supercapacitor modeling for energy-harvesting wireless sensor nodes - Alex Weddell, Geoff V. Merrett, Tom Kazmierski and Bashir Al-Hashimi
Type: Article | 2011

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

Type: Conference or Workshop Item | 2011

Reliable state retention-based embedded processors through monitoring and recovery - Sheng Yang, Syed Saqib Khursheed, Bashir Al-Hashimi, David Flynn and Sachin Idgunji
Type: Article | 2011 | Item availability restricted.

Type: Article | 2011

Pedagogy and Game Attributes for Teaching English as a Second Language - Amri Yusoff, Gary Wills, Richard Crowder and Lester Gilbert
Type: Conference or Workshop Item | 2011

Catch Before a Fall – an iPad Application for Osteoporosis Risk Assessment - Pei Zhang, Alejandra Recio, Gary Wills, Peter Smitham, Lester Gilbert, Mike Santer, Michael Kanani and Simon Grange
Type: Conference or Workshop Item | 2011

Cost-Effective TSV Grouping for Yield Improvement of 3D-ICs - Yi Zhao, Saqib Khursheed and Bashir Al-Hashimi
Type: Conference or Workshop Item | 2011

Type: Article | 2011

Analysis of Resistive Bridge Defect Delay Behavior in the Presence of Process Variation - Shida Zhong, Saqib Khursheed, Bashir Al-Hashimi, Sudhakar Reddy and Krishnendu Chakrabarty
Type: Conference or Workshop Item | 2011

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

×