The University of Southampton
University of Southampton Institutional Repository

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

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

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

Agile Software Assurance - Noura Abbas, Andrew M Gravell and Gary B Wills
Type: Conference or Workshop Item | 2007

Creating structure from disorder: using folksonomies to create semantic metadata - Hend S. Al-Khalifa, Hugh C. Davis and Lester Gilbert
Type: Conference or Workshop Item | 2007

Type: Conference or Workshop Item | 2007

Energy optimization of multiprocessor systems on chip by voltage selection - Alexandru Andrei, Pertu Eles, Zebo Peng, Marcus Schmitz and Bashir M. Al-Hashimi
Type: Article | 2007

Learning Through Rich Environments - David Argles, Alex Frazer, Gary Wills and Mike Wald
Type: Conference or Workshop Item | 2007

An Improved Approach to Secure Authentication and Signing - David Argles, Alex Pease and Robert J Walters
Type: Conference or Workshop Item | 2007 | Item availability restricted.

Type: Conference or Workshop Item | 2007

Retrenching the Purse: The Balance Enquiry Quandary, and Generalised and (1, 1) Forward Refinements - Richard Banach, Czeslaw Jeske, Michael Poppleton and Susan Stepney
Type: Article | 2007

Engineering and theoretical underpinnings of retrenchment - Richard Banach, Michael Poppleton, Czeslaw Jeske and Susan Stepney
Type: Article | 2007

The Rodin Formal Modelling Tool - Michael Butler and Stefan Hallerstede
Type: Article | 2007

Proceedings of the Workshop on Methods, Models and Tools for Fault Tolerance (MeMToFT 2007). - Michael Butler, Cliff Jones, Alexander Romanovsky and Elena Troubitsyna
Type: Other | 2007 | Item not available on this server.

Type: Article | 2007

Coalgebraic Epistemic Update without Change of Model - Corina Cirstea and Mehrnoosh Sadrzadeh
Type: Conference or Workshop Item | 2007

Selecting a Distributed Agreement Algorithm - Stephen Crouch, Peter Henderson and Robert J Walters
Type: Conference or Workshop Item | 2007

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

Semantically Resolving Type Mismatches in Scientific Workflows - Kheiredine Derouiche and Denis A Nicole
Type: Article | 2007

Type: Conference or Workshop Item | 2007

Joint Consideration of Fault-Tolerance, Energy-Efficiency and Performance in on-Chip Networks - Alireza Ejlali, Bashir M. Al-Hashimi, Paul Rosinger and Seyed Ghassem Miremadi
Type: Conference or Workshop Item | 2007

Type: Article | 2007

Building Scientific Workflows for Earth System Modelling with Windows Workflow Foundation - Matthew J. Fairman, Andrew R. Price, Gang Xue, Mark Molinari, Denis A. Nicole, Timothy M. Lenton, Robert Marsh, Kenji Takeda and Simon J. Cox
Type: Article | 2007 | Item availability restricted.

Assessing The Usefulness Of Mini-games As Educational Resources - Alex Frazer, David Argles and Gary Wills
Type: Conference or Workshop Item | 2007

Is Less Actually More? The Usefulness Of Educational Mini-games - Alex Frazer, David Argles and Gary Wills
Type: Conference or Workshop Item | 2007

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

Type: Conference or Workshop Item | 2007

Type: Monograph | 2007 | s.n.

Type: Monograph | 2007 | s.n. | Item availability restricted.

Type: Monograph | 2007 | s.n. | Item availability restricted.

Type: Monograph | 2007 | s.n. | Item availability restricted.

Type: Monograph | 2007 | s.n. | Item availability restricted.

A Collaborative Orthopaedic Research Environment. - Simon Grange, Lester Gilbert and Gary Wills
Type: Conference or Workshop Item | 2007

AnnAnn and AnnAnn.Net : Tools for Teaching Programming - Clare Hooper, Leslie Carr, Hugh Davis, David Millard, Su White and Gary Wills
Type: Article | 2007

A Novel Approach of Implementing an FFT Algorithm on OFDM System - Nafiz Imtiaz, Anwarul Azim, Rishad Shafik and Muhammad [Unknown]
Type: Conference or Workshop Item | 2007 | Item not available on this server.

Data Mining to Support Engineering Design Decision - Pooja Jadhav, Sylvia C Wong, Gary B Wills, Richard M Crowder and Nigel R Shadbolt
Type: Conference or Workshop Item | 2007

Type: Conference or Workshop Item | 2007

A Fast, Numerical Circuit-Level Model of Carbon Nanotube Transistor - Tom Kazmierski, Dafeng Zhou and Bashir Al-Hashimi
Type: Conference or Workshop Item | 2007

Verification of Succinct Hierarchical State Machines - Salvatore La Torre, Margherita Napoli, Mimmo Parente and Gennaro Parlato
Type: Conference or Workshop Item | 2007

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

Validating and Animating Higher-Order Recursive Functions in B - Michael Leuschel, Dominique Cansell and Michael Butler
Type: Conference or Workshop Item | 2007

Adaptive Personal Information Environment based on the Semantic Web - Thanyalak Maneewatthana, Gary Wills and Wendy Hall
Type: Article | 2007 | Item availability restricted.

Type: Article | 2007 | Item availability restricted.

Towards a Canonical View of Peer Assessment - David Millard, Karen Fill, Lester Gilbert, Yvonne Howard, Patrick Sinclair, Damilola Senbanjo and Gary Wills
Type: Conference or Workshop Item | 2007

The Service Responsibility and Interaction Design Method: Using an Agile approach for Web Service Design - David Millard, Yvonne Howard, Noura Abbas, Hugh Davis, Lester Gilbert, Gary Wills and Robert Walters
Type: Conference or Workshop Item | 2007

Type: Article | 2007 | Item availability restricted.

Type: Article | 2007

Type: Article | 2007

Type: Conference or Workshop Item | 2007

Reducing Interconnect Cost in NoC through Serialized Asynchronous Links - S Ogg, E Valli, C D'Allesandro, A Yakovlev, B Al-Hashimi and L Benini
Type: Conference or Workshop Item | 2007

Latch susceptibility to transient faults and new hardening approach - Martin Omana, Daniele Rossi and Cecilia Metra
Type: Article | 2007 | Item availability restricted.

Type: Conference or Workshop Item | 2007

Exploration of potential of strained-Si CMOS for ultra low-power circuit design - Hiran Ramakrishnan, Sanatan Chattopadhyay, Koushik Maharatna, S Shedable and Alex Yakovlev
Type: Conference or Workshop Item | 2007

Impact of strain on the design of low-power high-speed circuits - Hiran Ramkrishnan, Koushik Maharatna, Sanatan Chattopadhyay, Alex Yakovlev and Anthony O'Neill
Type: Conference or Workshop Item | 2007

Semantic Barbs and Biorthogonality - J. Rathke, V. Sassone and P. Sobocinski
Type: Conference or Workshop Item | 2007

Comprehensibility of UML-B - A Series of Controlled Experiments - R Razali, C Snook, M Poppleton and P Garratt
Type: Monograph | 2007 | s.n.

Type: Conference or Workshop Item | 2007

Experimental Comparison of the Comprehensibility of a UML-based Formal Specification versus a Textual One - R Razali, C. F. Snook, M. R. Poppleton, P. W. Garratt and R. J. Walters
Type: Conference or Workshop Item | 2007

Redevelopment of an Industrial Case Study Using Event-B and Rodin - Abdolbaghi Rezazadeh, Neil Evans and Michael Butler
Type: Conference or Workshop Item | 2007

Configurable error control scheme for NoC signal integrity - Daniele Rossi, Paolo Angelini and Cecilia Metra
Type: Conference or Workshop Item | 2007

Modeling crosstalk effects in CNT bus architectures - Daniele Rossi, Jose Manuel Cazeaux, Cecilia Metra and Fabrizio Lombardi
Type: Article | 2007 | Item availability restricted.

Automatic Testing from Formal Specifications - Manoranjan Satpathy, Michael Butler, Michael Leuschel and S Ramesh
Type: Conference or Workshop Item | 2007

Type: Conference or Workshop Item | 2007

Transforming a competency model to assessment items - Onjira Sitthisak, Lester Gilbert and Hugh C Davis
Type: Conference or Workshop Item | 2007

Adapting health care competencies to a formal competency model - Onjira Sitthisak, Lester Gilbert, Hugh C Davis and Mary Gobbi
Type: Conference or Workshop Item | 2007

Interactivity within IMS Learning Design and Question and Test Interoperability - Onjira Sitthisak, Lester Gilbert, Mohd T Zalfan and Hugh C Davis
Type: Conference or Workshop Item | 2007

On the hardware reduction of z-datapath of vectoring CORDIC - Robert Stapenhurst, Koushik Maharatna, Jimson Matthew, Jose Nunez-Yanez and Dhiraj Pradhan
Type: Conference or Workshop Item | 2007

A Robust Class of Context-Sensitive Languages - Salvatore La Torre, Parthasarathy Madhusudan and Gennaro Parlato
Type: Conference or Workshop Item | 2007

Type: Conference or Workshop Item | 2007

Efficient inner-receiver design for OFDM-based WLAN systems: Algorithm and architecture - Alfonso Troya, Koushik Maharatna, Milos Krstic, Eckhard Grass, Ulrich Jagdhold and Rolf Kraemer
Type: Article | 2007

Symmetry Reduced Model Checking for B - Edd Turner, Michael Leuschel, Corinna Spermann and Michael Butler
Type: Conference or Workshop Item | 2007

The Frederiks effect and related phenomena in ferronematic materials - Zadorozhnii, V. I. Victor, Sluckin, T. J Tim, Reshetnyak, V. Y. Vladimir and Thomas K.S. Ken
Type: Article | 2007

Type: Conference or Workshop Item | 2007

Community Tools for Repurposing Learning Objects - Chu Wang, Kate Dickens, Hugh Davis and Gary Wills
Type: Conference or Workshop Item | 2007

An Integrated Approach to Energy Harvester Modeling and Performance Optimization - Leran Wang, Tom Kazmierski, Bashir Al-Hashimi, Steve Beeby and Russel Torah
Type: Conference or Workshop Item | 2007

AN E-LEARNING FRAMEWORK FOR ASSESSMENT (FREMA) - Gary Wills, Christopher Bailey, Hugh Davis, Lester Gilbert, Yvonne Howard, Steve Jeyes, David Millard, Joseph Price, Niall Sclater, Robert Sherratt, Iain Tulloch and Rowin Young
Type: Conference or Workshop Item | 2007

Delivery of QTIv2 Question Types - Gary Wills, Hugh Davis, Lester Gilbert, Jonathon Hare, Yvonne Howard, Steve Jeyes, David Millard and Robert Sherratt
Type: Conference or Workshop Item | 2007

An Agile Hypertext Design Methodology - Gary B. Wills, Noura Abbas, Rakhi Chandrasekharan, Richard M. Crowder, Lester Gilbert, Yvonne Howard, David E. Millard, Sylvia C. Wong and Robert J Walters
Type: Conference or Workshop Item | 2007

Informing Preliminary Design by Incorporating Service Knowledge - Sylvia C Wong, Richard M Crowder, Gary B Wills and Nigel R Shadbolt
Type: Conference or Workshop Item | 2007

Lesson Learnt from a Large-Scale Industrial Semantic Web Application - Sylvia C Wong, Richard M Crowder, Gary B Wills and Nigel R Shadbolt
Type: Conference or Workshop Item | 2007

Type: Conference or Workshop Item | 2007

Type: Monograph | 2007 | s.n.

Type: Conference or Workshop Item | 2007

Type: Conference or Workshop Item | 2007

Testing of Level Shifters in Multiple Voltage Designs - Noohul Basheer Zain Ali, Mark Zwolinski and Bashir Al-Hashimi
Type: Conference or Workshop Item | 2007

Enhancing Delay Fault Coverage Through Low Power Segmented Scan - Zhuo Zhang, Sudhakar M. Reddy, Irith Pomeranz, Janusz Rajski and Bashir M. Al-Hashimi
Type: Article | 2007

Enhancing delay fault coverage through low power segmented scan - Zhuo Zhang, Sudhakar M. Reddy, Irith Pomeranz, Janusz Rajski and Bashir M. Al-Hashimi
Type: Article | 2007

Thermal-Aware Soc Test Scheduling with Test Set Partitioning and Interleaving - He Zhiyuan, Zepo Peng, Petru Eles, Paul Rosinger and Bashir M. Al-Hashimi
Type: Article | 2007

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

×