The University of Southampton
University of Southampton Institutional Repository

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

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

Quasi-Static Voltage Scaling for Energy Minimization with Time Constraints - Alexandru Andrei, Marcus T Schmitz, Petru Eles, Zebo Peng and Bashir M Al-Hashimi
Type: Conference or Workshop Item | 2005

Type: Conference or Workshop Item | 2005

Type: Conference or Workshop Item | 2005

Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern - Richard Banach, Michael Poppleton, Czeslaw Jeske and Susan Stepney
Type: Conference or Workshop Item | 2005

Comparing two approaches to compensable flow composition - Roberto Bruni, Michael Butler, Carla Ferreira, Tony Hoare, Hernan Melgratti and Ugo Montanari
Type: Conference or Workshop Item | 2005

Type: Article | 2005

A trace semantics for long-running transactions - Michael Butler, C.A.R. Hoare and Carla Ferreira
Type: Conference or Workshop Item | 2005

Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005). - Michael Butler, Cliff Jones, Alexander Romanovsky and Elena Troubitsyna
Type: Book | 2005 | University of Newcastle upon Tyne, School of Computing Science | Item not available on this server.

Type: Conference or Workshop Item | 2005

Tools for system validation with B abstract machines - Michael Butler, Michael Leuschel and Colin Snook
Type: Conference or Workshop Item | 2005

Executable Semantics for Compensating CSP - Michael Butler and Shamim Ripon
Type: Conference or Workshop Item | 2005

Battery-aware dynamic voltage scaling in multiprocessor embedded system - Yuan Cai, Sudhakar Reddy, Irith Pomeranz and Bashir M. Al-Hashimi
Type: Conference or Workshop Item | 2005

Type: Conference or Workshop Item | 2005

A linear time algorithm for the minimum Weighted Feedback Vertex Set on diamonds - Francesco Carrabs, Raffaele Cerulli, Monica Gentili and Gennaro Parlato
Type: Article | 2005

On-transistor level gate sizing for increased robustness to transient faults - Jose Manuel Cazeaux, Daniele Rossi, Martin Omana, Abhijit Chatterjee and Cecilia Metra
Type: Conference or Workshop Item | 2005 | Item availability restricted.

Self-checking voter for high speed TMR systems - Manuel Cazeaux, Daniele Rossi and Cecilia Metra
Type: Article | 2005 | Item availability restricted.

Proof methodologies for behavioural equivalence in distributed pi-calculus - Alberto Ciaffaglione, Matthew Hennessy and Julian Rathke
Type: Monograph | 2005 | s.n. | Item not available on this server.

Proof methodologies for behavioural equivalence in distributed pi-calculus - Alberto Ciaffaglione, Matthew Hennessy and Julian Rathke
Type: Book | 2005 | Springer-Verlag | Item not available on this server.

Tool Kits for a Dynamic Review Journal - G Conole, T Miles-Board, C Bailey, L Carr, Q Gee, S Grange, W Hall, G Power, A Woukeu and G Wills
Type: Conference or Workshop Item | 2005

Building applications able to cope with problematic data using a datawarp approach - Stephen Crouch, Peter Henderson and Robert John Walters
Type: Conference or Workshop Item | 2005

Type: Article | 2005 | Item availability restricted.

Energy Efficient SEU-Tolerance in DVS-Enabled Real-Time Systems through Information Redundancy - Alireza Ejlali, Marcus Schmitz, Bashir M Al-Hashimi, Seyed Ghassem Miremadi and Paul Rosinger
Type: Conference or Workshop Item | 2005

Type: Conference or Workshop Item | 2005

Improvements for Truthful Mechanisms with Verifiable One-Parameter Selfish Agents - Alessandro Ferrante, Gennaro Parlato, Francesco Sorrentino and Carmine Ventre
Type: Conference or Workshop Item | 2005

Type: Conference or Workshop Item | 2005

Building a Virtual University for Orthopaedics - Quintin Gee, Leslie Carr, Gráinne Conole, Simon Grange, Wendy Hall and Gary Wills
Type: Conference or Workshop Item | 2005

A first programming language for IT students - Quintin H Gee, Gary Wills and Eric Cooke
Type: Conference or Workshop Item | 2005

e-Learning within a Collaborative Orthopaedic Research Environment (CORE) - Lester Gilbert, Gary Wills, Yee-Wai Sim, Chu Wang and Matt Stenning
Type: Conference or Workshop Item | 2005

Synchronization Overhead in SOC Compressed Test - Paul Theo Gonciari, Bashir Al-Hashimi and Nicola Nicolici
Type: Article | 2005

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

Hyperspectral image fusion using spectrally weighted kernels - B. Guo, S. R. Gunn, R. I. Damper and J. Nelson
Type: Conference or Workshop Item | 2005 | Item not available on this server.

Type: Article | 2005

safeDpi: a language for controlling mobile code - Matthew Hennessy, Nobuko Yoshida and Julian Rathke
Type: Article | 2005 | Item availability restricted.

On the implementation of 128-pt FFT/IFFT for high-performance WPAN - Clare Huggett, Koushik Maharatna and Kolin Paul
Type: Conference or Workshop Item | 2005

Type: Article | 2005

Application of Analog Adaptive Filters for Dynamic Sensor Compensation - Mehdi Jafaripanah, Bashir Al-Hashimi and Neil M. White
Type: Article | 2005

Adaptive Sensor Response Correction Using Analog Filter Compatible with Digital Technology - Mehdi Jafaripanah, Bashir M. Al-Hashimi and Neil M. White
Type: Conference or Workshop Item | 2005

Type: Article | 2005

Type: Article | 2005 | Item availability restricted.

Full abstraction for Polymorphic Pi-Calculus - Alan Jeffrey and Julian Rathke
Type: Book | 2005 | Springer-Verlag | Item not available on this server.

Type: Article | 2005 | Item availability restricted.

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

Labels from Reductions: Towards a General Theory - B. Klin, V. Sassone and P. Sobocinski
Type: Conference or Workshop Item | 2005

Adhesive and quasiadhesive categories - Stephen Lack and Pawel Sobocinski
Type: Article | 2005 | Item availability restricted.

Automatic Refinement Checking for B - Michael Leuschel and Michael Butler
Type: Conference or Workshop Item | 2005

A Trust Analysis Methodology for Pervasive Computing Systems - S Lo Presti, M Butler, M Leuschel and C Booth
Type: Book Section | 2005 | Springer

Literature Survey on Trust - Stephane Lo Presti and Michael Butler
Type: Monograph | 2005 | s.n. | Item not available on this server.

Modified virtually scaling free adaptive CORDIC rotator algorithm and architecture - Koushik Maharatna, Swapna Banerjee, Eckhard Grass, Milos Krstic and Alfonso Troya
Type: Article | 2005

Adaptive Personal Information Environment based on the Semantic Web - Thanyalak Maneewatthana, Gary Wills and Wendy Hall
Type: Conference or Workshop Item | 2005

Adaptive Personal Information Environment based on the Semantic Web - Thanyalak Maneewatthana, Gary Wills and Wendy Hall
Type: Conference or Workshop Item | 2005

Information Managed Wireless Sensor Networks with Energy Aware Nodes - Geoff Merrett, Bashir M. Al-Hashimi, Neil M. White and Nick R. Harris
Type: Conference or Workshop Item | 2005

Resource Aware Sensor Nodes in Wireless Sensor Networks - Geoff V. Merrett, Bashir M. Al-Hashimi, Neil M. White and Nick R. Harris
Type: Conference or Workshop Item | 2005

The other side of the timing equation: a result of clock faults - Cecilia Metra, Martin Omana, Daniele Rossi, Jose' Manuel Cazeaux and T.M. Mak
Type: Conference or Workshop Item | 2005 | Item availability restricted.

Bringing the Semantic Web to the Office Desktop - Timothy Miles-Board, Arouna Woukeu, Leslie Carr, Gary Wills and Wendy Hall
Type: Conference or Workshop Item | 2005

Mapping the e-Learning Assessment Domain: Concept Maps for Orientation and Navigation - David Millard, Yvonne Howard, Christopher Bailey, Hugh Davis, Lester Gilbert, Steve Jeyes, Joseph Price, Niall Sclater, Robert Sherratt, Iain Tulloch, Gary Wills and Rowin Young
Type: Conference or Workshop Item | 2005

Type: Conference or Workshop Item | 2005

Coding techniques for low switching noise in fault tolerant busses - Andre Nieuwland, Atul Katoch, Daniele Rossi and Cecilia Metra
Type: Conference or Workshop Item | 2005 | Item availability restricted.

Type: Article | 2005 | Item availability restricted.

Type: Conference or Workshop Item | 2005

Type: Conference or Workshop Item | 2005

Low cost and high speed embedded two-rail code checker - Martin Omana, Daniele Rossi and Cecilia Metra
Type: Article | 2005 | Item availability restricted.

Low cost scheme for on-line clock skew compensation - Martin Omana, Daniele Rossi and Cecilia Metra
Type: Conference or Workshop Item | 2005 | Item availability restricted.

Type: Conference or Workshop Item | 2005

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

Rapid generation of thermal-safe test schedules - Paul Rosinger, Bashir Al-Hashimi and Krishnendu Chakrabarty
Type: Conference or Workshop Item | 2005

Thermal-Safe Test Scheduling for Core-Based System-on-a-Chip Integrated Circuits - Paul Rosinger, Bashir Al-Hashimi and Krishnendu Chakrabarty
Type: Article | 2005

Exploiting ECC redundancy to minimize crosstalk impact - Daniele Rossi, Andre Nieuwland, Atul Katoch and Cecilia Metra
Type: Article | 2005 | Item availability restricted.

New ECC for crosstalk impact minimization - Daniele Rossi, Andre Nieuwland, Atul Katoch and Cecilia Metra
Type: Article | 2005 | Item availability restricted.

Multiple transient faults in logic: an issue for next generation ICs? - Daniele Rossi, Martin Omana, Fabio Toma and Cecilia Metra
Type: Conference or Workshop Item | 2005 | Item availability restricted.

A Congruence for Petri Nets - V. Sassone and P. Sobocinski
Type: Conference or Workshop Item | 2005

Locating Reactions using 2-Categories - V. Sassone and P. Sobocinski
Type: Article | 2005

Reactive Systems over Cospans - V. Sassone and P. Sobocinski
Type: Conference or Workshop Item | 2005

ProTest: An Automatic Test Environment for B Specifications - Manoranjan Satpathy, Michael Leuschel and Michael Butler
Type: Article | 2005

Type: Article | 2005

Type: Article | 2005

Type: Thesis | 2005

Type: Monograph | 2005 | University of Southampton | Item not available on this server.

Type: Conference or Workshop Item | 2005

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

A Web/Grid Services Approach for a Virtual Research Environment Implementation - Y. W. Sim, C. Wang, L. A. Carr, H. C. Davis, L. Gilbert, S. Grange, D. E. Millard and G. B. Wills
Type: Conference or Workshop Item | 2005

An Overview of Service-Oriented Architecture - Y. W. Sim, C. Wang, L. Gilbert and G. B. Wills
Type: Monograph | 2005 | s.n.

Towards a Collaborative Orthopaedic Research Environment - Y. W. Sim, C. Wang, L. Gilbert and G. B. Wills
Type: Conference or Workshop Item | 2005

User Requirement Study for a Virtual Research Environment - Y. W. Sim, C. Wang, L. Gilbert and G. B. Wills
Type: Monograph | 2005 | s.n.

The engineering of generic requirements for failure management - Colin Snook, Michael Poppleton and Ian Johnson
Type: Conference or Workshop Item | 2005

Type: Conference or Workshop Item | 2005

CORE User Requirement Study - M. Stenning, S. Grange, Y. W. Sim, C. Wang, L. Gilbert and G. Wills
Type: Monograph | 2005 | s.n.

Improving Thermal-Safe Test Scheduling for Core-Based Systems-on-Chip Using Shift Frequency Scaling - Enkelejda Tafaj, Paul Rosinger, Bashir Al-Hashimi and Krisnendu Chakrabarty
Type: Conference or Workshop Item | 2005

Dual Flow Nets: Modelling the Control/Data-Flow Relation in Embedded Systems - Mauricio Varea, Bashir M. Al-Hashimi, Luis A. Cortés, Petru Eles and Zebo Peng
Type: Article | 2005 | Item availability restricted.

Type: Article | 2005

Type: Conference or Workshop Item | 2005

Type: Monograph | 2005 | s.n.

Version Control in Online Software Repositories - E Rowland Watkins and Denis A Nicole
Type: Conference or Workshop Item | 2005 | CSREA Press

Version Control in Online Software Repositories - E Rowland Watkins and Denis A Nicole
Type: Article | 2005

A Novel Switch-Current Phase Locked Loop - Reuben Wilcock, Peter R. Wilson and Bashir Al-Hashimi
Type: Conference or Workshop Item | 2005 | Item not available on this server.

Virtual Research Environments: A Literature Review - G. B. Wills, L. Gilbert, Y. W. Sim, C. Wang and L. Carr
Type: Monograph | 2005 | s.n.

A Grid Services Implementation for a Virtual Research Environment - GB Wills, L Gilbert, Q Gee, HC Davis, T Miles-Board, DE Millard, LA Carr, W Hall and S Grange
Type: Conference or Workshop Item | 2005

Towards Grid Services for a Virtual Research Environment - GB Wills, L Gilbert, Q Gee, HC Davis, T Miles-Board, DE Millard, LA Carr, W Hall and S Grange
Type: Conference or Workshop Item | 2005

The Dynamic Review Journal: a scholarly archive - Gary Wills, Timothy Miles-Board, Christopher Bailey, Leslie Carr, Quintin Gee, Wendy Hall and Simon Grange
Type: Article | 2005

Behavioural modeling and simulation of a switch-current phase locked loop - Peter R. Wilson, Andrew D. Brown, Reuben Wilcock and Bashir Al-Hashimi
Type: Conference or Workshop Item | 2005 | Item not available on this server.

An Intelligent Fuse-box for use with Renewable Energy Sources integrated within a Domestic Environment - Peter R. Wilson, Matthew Swabey, Andrew D. Brown and J. Neil Ross
Type: Conference or Workshop Item | 2005

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

Type: Conference or Workshop Item | 2005

Type: Conference or Workshop Item | 2005

Type: Conference or Workshop Item | 2005

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

×