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 2013

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

Type: Book | 2013 | EPTCS | Item not available on this server.

Type: Book | 2013 | Turku Centre for Computer Science | Item not available on this server.

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

Factors influencing citizen intention to adopt egovernment in Saudi Arabia - Suilaiman Alateyah, Richard Crowder and Gary Wills
Type: Conference or Workshop Item | 2013

Factors Affecting the Citizen’s Intention to Adopt E-government in Saudi Arabia - Suilaiman Alateyah, Richard M. Crowder and Gary B. Wills
Type: Article | 2013

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

Type: Article | 2013

Building Traceable Event-B Models from Requirements - Eman Alkhammash, Asieh Salehi Fathabadi, Michael Butler and Corina Cirstea
Type: Conference or Workshop Item | 2013

Toward a framework for data quality in cloud-based health information system - Omar Almutiry, Gary Wills, Abdulelah Alwabel, Richard Crowder and Robert John Walters
Type: Conference or Workshop Item | 2013

Towards a framework for data quality in Electonic health records - Omar Almutiry, Gary Wills and Richard Crowder
Type: Conference or Workshop Item | 2013

Investigating Factors for Knowledge Sharing Using Web Technologies - Hanan Alotaibi, Richard Crowder and Gary Wills
Type: Conference or Workshop Item | 2013

Type: Conference or Workshop Item | 2013 | Springer | Item availability restricted.

Type: Thesis | 2013

Lifetime reliability aware checkpointing mechanism: modelling and analysis - Mohammad Imran bin Badan, Subhasish Bhattacharjee, Rishad A. Shafik, Jimson Mathew and Dhiraj K. Pradhan
Type: Conference or Workshop Item | 2013 | Item not available on this server.

Cruise Control in Hybrid Event-B - Richard Banach and Michael Butler
Type: Conference or Workshop Item | 2013

A Hybrid Event-B Study of Lane Centering - Richard Banach and Michael Butler
Type: Conference or Workshop Item | 2013

A comparison of power output from linear and non-linear kinetic energy harvesters using real vibration data - S.P. Beeby, Leran Wang, Dibin Zhu, Alex Weddell, Geoff V. Merrett, Bernard Stark, Gyorgy Szarka and Bashir M. Al-Hashimi
Type: Article | 2013

Applying quality of experience to system optimisation - Sascha Bischoff, Andreas Hansson and Bashir M. Al-Hashimi
Type: Conference or Workshop Item | 2013

MALEC: a multiple access low energy cache - Matthias Boettcher, Giacomo Gabrielli, Bashir M. Al-Hashimi and Danny Kershaw
Type: Conference or Workshop Item | 2013

Type: Book Section | 2013 | IOS Press

Modelling and Refinement in CODA - Michael Butler, John Colley, Andrew Edmunds, Colin Snook, Neil Evans, Neil Grant and Helen Marshall
Type: Conference or Workshop Item | 2013 | Item not available on this server.

Practical Theory Extension in Event-B - Michael Butler and Issam Maamria
Type: Conference or Workshop Item | 2013

Tooling in DEPLOY - Michael Butler, Laurent Voisin and Thomas Muller
Type: Book Section | 2013 | Springer | Item not available on this server.

The game challenge model - Somjit Chaisriya, Lester Gilbert and Gary B. Wills
Type: Conference or Workshop Item | 2013

Type: Article | 2013

Type: Book Section | 2013 | IGI Global

Type: Book Section | 2013 | IGI Global

Type: Conference or Workshop Item | 2013

Type: Thesis | 2013 | Item availability restricted.

Type: Book Section | 2013 | Springer Lecture Notes Series, Springer Book

The development that leads to the Cloud Computing Business Framework - Victor Chang, Robert John Walters and Gary Wills
Type: Article | 2013

Type: Book Section | 2013 | IGI Global

Type: Monograph | 2013 | University of Southampton

Design of a low-power on-body ECG classifier for remote cardiovascular monitoring systems - Taihai Chen, Evangelos B. Mazomenos, Koushik Maharatna, Srinandan Dasmahapatra and Mahesan Niranjan
Type: Article | 2013

Type: Thesis | 2013

Type: Conference or Workshop Item | 2013

Type: Conference or Workshop Item | 2013

Privacy-aware web service composition and ranking - Elisa Costante, Federica Paci and Nicola Zannone
Type: Conference or Workshop Item | 2013 | Item availability restricted.

Type: Article | 2013

On the detection of myocadial scar based on ECG/VCG analysis - Sofia-Maria Dima, Christos Panagiotou, Evangelos B. Mazomenos, James Rosengarten, Koushik Maharatna, John Gialelis, Nick Curzen and John Morgan
Type: Article | 2013

Type: Conference or Workshop Item | 2013

Type: Monograph | 2013 | University of Southampton

Type: Conference or Workshop Item | 2013

Policy analysis for self-administrated role-based access control - Anna Lisa Ferrara, P. Madhusudan and Gennaro Parlato
Type: Conference or Workshop Item | 2013

Type: Conference or Workshop Item | 2013

CSeq: A Sequentialization Tool for C - (Competition Contribution) - Bernd Fischer, Omar Inverso and Gennaro Parlato
Type: Conference or Workshop Item | 2013

Quantified Data Automata on Skinny Trees: an Abstract Domain for Lists - Pranav Garg, P. Madhusudan and Gennaro Parlato
Type: Conference or Workshop Item | 2013

Type: Thesis | 2013

Type: Thesis | 2013

Type: Thesis | 2013

A fast and effective DFT for test and diagnosis of power switches in SoCs - Xiaoyu Huang, Jimson Mathew, Rishad A. Shafik, Subhasis Bhattacharjee and Dhiraj K. Pradhan
Type: Conference or Workshop Item | 2013 | Item not available on this server.

Adding value to WSN simulation through formal modelling and analysis - Adisak Intana, Michael R. Poppleton and Geoff V. Merrett
Type: Conference or Workshop Item | 2013 | Item availability restricted.

Looking at Computations from a Different Angle - Omar Inverso, Salvatore La Torre, Ermenegildo Tomasco and Gennaro Parlato
Type: Monograph | 2013 | University of Southampton

Reasoned modelling critics: turning failed proofs into modelling guidance - Andrew Ireland, Gudmund Grov, Maria Teresa Llano and Michael Butler
Type: Article | 2013

Type: Conference or Workshop Item | 2013

Type: Conference or Workshop Item | 2013

Type: Conference or Workshop Item | 2013

DoE-based performance optimization of energy management in sensor nodes powered by tunable energy-harvesters - Tom J. Kazmierski, Leran Wang, Bashir Al-Hashimi and Geoff V. Merrett
Type: Conference or Workshop Item | 2013

On Multi-stack Visibly Pushdown Languages - Salvatore La Torre, Margherita Napoli and Gennaro Parlato
Type: Conference or Workshop Item | 2013

An experimental comparison of two risk-based security methods - Katsyarina Labunets, Fabio Massacci, Federica Paci and Le Minh Sang Tran
Type: Conference or Workshop Item | 2013 | Item availability restricted.

Energy-efficient street lighting through embedded adaptive intelligence - Sei Ping Lau, Geoff V. Merrett and Neil M. White
Type: Conference or Workshop Item | 2013

An improved push-pull driver using 0.13µm CMOS - Ke Li, Peter R. Wilson and Reuben Wilcock
Type: Conference or Workshop Item | 2013 | Item not available on this server.

Type: Article | 2013

A low-complexity turbo decoder architecture for energy-efficient wireless sensor networks - Liang Li, Robert G. Maunder, Bashir Al-Hashimi and Lajos Hanzo
Type: Article | 2013

Type: Article | 2013

Type: Thesis | 2013

An automated algorithm for online detection of fragmented QRS and identification of its various morphologies - Sidharth Maheshwari, Amit Acharyya, Paolo Emilio Puddu, Evangelos B. Mazomenos, Gourav Leekha, Koushik Maharatna and Michele Schiariti
Type: Article | 2013

A low-complexity ECG feature extraction algorithm for mobile healthcare applications - E.B. Mazomenos, D. Biswas, A. Acharyya, T. Chen, K. Maharatna, J. Rosengarten, J. Morgan and N. Curzen
Type: Article | 2013

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

Formal modelling and verification of population protocols - Dominique Mery and Michael Poppleton
Type: Conference or Workshop Item | 2013 | Item availability restricted.

Active mode subclock power gating - Jatin Mistry, James Myers, Bashir Al-Hashimi, David Flynn, John Biggs and Geoff V. Merrett
Type: Article | 2013

Type: Thesis | 2013

Low cost NBTI degradation detection and masking approaches - Martin Omana, Daniele Rossi, Nicolo' Bosio and Cecilia Metra
Type: Article | 2013 | Item availability restricted.

Novel approach to reduce power droop during scan-based logic BIST - Martin Omana, Daniele Rossi, Filippo Fuzzi, Cecilia Metra, Chandra Tirumurti and Rajesh Galivanche
Type: Conference or Workshop Item | 2013

Faults affecting energy harvesting circuits of self-powered wireless sensors and their possible concurrent detection - Martin Omana, Daniele Rossi, Daniele Giaffreda, Roberto Specchia, Cecilia Metra, Marcin Marzencki and Bozena Kaminska
Type: Article | 2013 | Item availability restricted.

Analysis of voltage- and clock-scaling-induced timing errors in stochastic LDPC decoders - I. Perez-Andrade, X. Zuo, R.G. Maunder, B.M. Al-Hashimi and L. Hanzo
Type: Conference or Workshop Item | 2013

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

Type: Book Section | 2013 | World Scientific | Item not available on this server.

Type: Conference or Workshop Item | 2013

Type: Article | 2013 | Item availability restricted.

Improving a tutor’s feedback assessment tool: transforming Open Mentor following two recent deployments - Alejandra Recio, Denise Whitelock, Lester Gilbert, Stylianos Hatzipanagos, Paul Gillary, Stuart Watt and Pei Zhang
Type: Article | 2013 | Item availability restricted.

A novel and unified digital IC design and automation methodology with reduced NRE cost and time-to-market - B.K. Reddy, S. Sabbavarapu, K. Gupta, R. Prabhat, A. Acharyya, R.A. Shafik and J. Mathew
Type: Conference or Workshop Item | 2013 | Item not available on this server.

Low cost concurrent error detection strategy for the control logic of high performance microprocessor RAS improvement - Daniele Rossi, Martin Omana, Giuliano Garrammone, Cecilia Metra, Abhijit Jas and Rajesh Galivanche
Type: Article | 2013 | Item availability restricted.

A novel physical synthesis methodology in the VLSI design automation by introducing dynamic library concept - S. Sabbavarapu, B.K. Reddy, R. Prabhat, K. Gupta, A. Acharyya, R.A. Shafik and J. Mathew
Type: Conference or Workshop Item | 2013 | Item not available on this server.

Type: Thesis | 2013

A Mixed Approach to Rigorous Development of Control Designs - M. Satpathy, S. Ramesh, Colin Snook, N.K. Singh and Michael Butler
Type: Conference or Workshop Item | 2013

Systematic Development of Control Designs via Formal Refinement - Manoranjan Satpathy, Colin Snook, Silky Arora, S Ramesh and Michael Butler
Type: Conference or Workshop Item | 2013

Co-simulation of Event-B and Continuous Models in Rodin - Vitaly Savicks, Michael Butler, Jens Bendisposto and John Colley
Type: Conference or Workshop Item | 2013

Software modification aided transient error tolerance for embedded systems - Rishad Ahmed Shafik, Gerard Rauwerda, Jordy Potman, Kim Sunesen, Dhiraj K. Pradhan, Jimson Mathew and Ioannis Sourdis
Type: Conference or Workshop Item | 2013

Towards on-demand system reliability: software implemented fault tolerance and testing - I. Sourdis, R.A. Shafik, C. Strydis, D. Pnevmatikatos, D. Theodoropoulos, D.K. Pradhan and G. Rauwerda
Type: Conference or Workshop Item | 2013 | Item not available on this server.

DeSyRe: on-Demand System Reliability - Ioannis Sourdis, Christos Strydis, Antonino Armato, Christos-Savvas Bouganis, Babak Falsafi, Georgi Gaydadjiev, Sebastian Isaza, Alirad Malek, Riccardo Mariani, Dionisios N Pnevmatikatos, Dhiraj K Pradhan, Gerard Rauwerda, Robert Seepers, Rishad Ahmed Shafik, Kim Sunesen, Dimitris Theodoropoulos, Stavros Tzilis and Michail Vavouras
Type: Article | 2013

A Model for in-Simulation Assessment - James Stallwood, Ashok Ranchhod and Gary Wills
Type: Conference or Workshop Item | 2013

Low power and robust binary tree SRAM design for embedded systems - Luo Sun, Jimson Mathew, Rishad A. Shafik and Dhiraj K. Pradhan
Type: Conference or Workshop Item | 2013 | Item not available on this server.

A conceptual model of intended learning outcomes supporting curriculum development - Preecha Tangworakitthaworn, Lester Gilbert and Gary Wills
Type: Conference or Workshop Item | 2013 | Item availability restricted.

Type: Conference or Workshop Item | 2013

ILO diagram: a conceptual model for curriculum development - Preecha Tangworakitthaworn, Lester Gilbert and Gary Wills
Type: Article | 2013

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

Type: Article | 2013

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

Polynomial based key distribution scheme for WPAN - R. Vimalathithan, Daniele Rossi, Martin Omana, Cecilia Metra and M. L. Valarmathi
Type: Article | 2013 | Item availability restricted.

Energy and Accuracy Trade-Offs in Accelerometry-Based Activity Recognition - Ning Wang, Geoff V. Merrett, Robert G. Maunder and Alex Rogers
Type: Conference or Workshop Item | 2013

Tunable vibration energy harvester - Alex S. Weddell, Dibin Zhu, Geoff V. Merrett, Stephen P. Beeby and Bashir M. Al-Hashimi
Type: Conference or Workshop Item | 2013

A Survey of Multi-Source Energy Harvesting Systems - Alexander S. Weddell, Michele Magno, Geoff V. Merrett, Davide Brunelli, Bashir Al-Hashimi and Luca Benini
Type: Conference or Workshop Item | 2013

Type: Thesis | 2013

Towards a trust model in e-learning: antecedents of a student’s trust - Woraluck Wongse-ek, Gary Wills and Lester Gilbert
Type: Conference or Workshop Item | 2013 | Item availability restricted.

Type: Thesis | 2013

Improved state integrity of flip-flops for voltage scaled retention under PVT variation - Sheng Yang, Saqib Khursheed, Bashir M. Al-Hashimi, David Flynn and Geoff V. Merrett
Type: Article | 2013

Type: Article | 2013

Type: Conference or Workshop Item | 2013

Type: Monograph | 2013 | University of Southampton

Type: Thesis | 2013

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

×