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 2005
 | Up a level |
Number of items: 105.
A
Simultaneous communication and processor voltage scaling for dynamic and leakage energy reduction in time-constrained systems - Alexandru Andrei, Marcus Schmitz, Petru Eles, Zebo Peng and Bashir M. Al-Hashimi
Type: Conference or Workshop Item
| 2005
| IEEE
| Item availability restricted.
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
Developing a Computing Degree to Encourage Widening Participation - David Argles, Quintin Gee and Gary Wills
Type: Conference or Workshop Item
| 2005
Type: Conference or Workshop Item
| 2005
B
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
Precise Modelling of Compensating Business Transactions and its Application to BPEL - Michael Butler, Carla Ferreira and Muan Yong Ng
Type: Article
| 2005
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.
Combining CSP and B for Specification and Property Verification - Michael Butler and Michael Leuschel
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
Type: Conference or Workshop Item
| 2005
C
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
Workload-Ahead-Driven Online Energy Minimization Techniques for Battery-Powered Embedded Systems with Time-Constraints - Yuan Cai, Marcus T. Schmitz, Bashir M. Al-Hashimi and Sudhakar M. Reddy
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.
Type: Article
| 2005
| Item availability restricted.
Proof methodologies for behavioural equivalence in distributed pi-calculus - Alberto Ciaffaglione, Matthew Hennessy and Julian Rathke
Type: Book
| 2005
| Springer
| Item not available on this server.
A Programmable Time Measurement Architecture for Embedded Memory Characterization - Matthew Collins, Bashir Al-Hashimi and Neil Ross
Type: Conference or Workshop Item
| 2005
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
Hypermedia maintenance support applications: Benefits and development costs - Richard Crowder, Gary Wills and Wendy Hall
Type: Article
| 2005
| Item availability restricted.
E
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
Efficient Static Compaction Techniques for Sequential Circuits Based on Reverse Order Restoration and Test Relaxation - Aiman El-Maleh, Syed Saqib Khursheed and Sadiq M. Sait
Type: Conference or Workshop Item
| 2005
F
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
G
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
Type: Conference or Workshop Item
| 2005
Type: Conference or Workshop Item
| 2005
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
Adaptive band selection for hyperspectral image fusion using mutual information - B. Guo, S. R. Gunn, R. I. Damper and J. Nelson
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.
H
Effects of introducing survival behaviours into automated negotiators specified in an environmental and behavioural framework - Peter Henderson, Stephen Crouch, Robert John Walters and Qinglai Ni
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
J
Dynamic sensor compensation using adaptive filter compatible with digital technology - Mehdi Jafaipanah, Bashir Al-Hashimi and Neil White
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
Dynamic Sensor Compensation Using Analogue Adaptive Filter Compatible with Digital Technology - Mehdi Jafaripanah, Bashir M. Al-Hashimi and Neil M. White
Type: Article
| 2005
Type: Article
| 2005
| Item availability restricted.
Type: Book
| 2005
| Springer
| Item not available on this server.
Type: Article
| 2005
| Item availability restricted.
Java Jr. : Fully abstract trace semantics for a Core Java Language. - Alan Jeffrey and Julian Rathke
Type: Conference or Workshop Item
| 2005
| Item availability restricted.
K
Type: Conference or Workshop Item
| 2005
L
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
Type: Monograph
| 2005
| Item not available on this server.
M
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
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
N
UNICORE and GRIP: experiences of grid middleware development - Denis A. Nicole
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.
A Prospective Study of the Effectiveness of Group and Individual Psychotherapy for Women CSA Survivors - M Nitsun, M Ryan, L Gilbert and H Mason
Type: Article
| 2005
| Item availability restricted.
O
Impact of Multicycled Scheduling on Power-Area Tradeoffs in Behavioural Synthesis - M A Ochoa-Montiel, B M Al-Hashimi and P Kollig
Type: Conference or Workshop Item
| 2005
Improved Data Compression for Serial Interconnected Network on Chip through Unused Significant Bit Removal - S Ogg and B Al-Hashimi
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.
Type: Conference or Workshop Item
| 2005
| Item availability restricted.
R
Some Guidelines for Formal Development of Web-based Applications in B-Method - Abdolbaghi Rezazadeh and Michael Butler
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.
S
Type: Conference or Workshop Item
| 2005
Type: Article
| 2005
Type: Conference or Workshop Item
| 2005
ProTest: An Automatic Test Environment for B Specifications - Manoranjan Satpathy, Michael Leuschel and Michael Butler
Type: Article
| 2005
Co-Synthesis of Energy-Efficient Multi-Mode Embedded Systems with Consideration of Mode Execution Probabilities - Marcus Schmitz T., Bashir M. Al-Hashimi and Petru Eles
Type: Article
| 2005
Congestion Control of Ad Hoc Wireless LANs: A Control-theoretic paradigm to digital filter based solution - Rishad Ahmed Shafik
Type: Thesis
| 2005
Personal multimedia communications: simulations and analyses - Rishad Ahmed Shafik
Type: Monograph
| 2005
| University of Southampton
| Item not available on this server.
A DSP-Based Approach to Congestion Control for Multihop Ad Hoc WLANs with BoD Access - Rishad Ahmed Shafik, Stephan Weiss and E.T.A. Rogers
Type: Conference or Workshop Item
| 2005
Radical recognition of handwritten Chinese characters using GA-based kernel active shape modelling - D. Shi, G. S. Ng, R. I. Damper and S. R. Gunn
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
Type: Monograph
| 2005
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
The engineering of generic requirements for failure management - Colin Snook, Michael Poppleton and Ian Johnson
Type: Conference or Workshop Item
| 2005
Towards a methodology for rigorous development of generic requirements patterns - Colin Snook, Michael Poppleton and Ian Johnson
Type: Conference or Workshop Item
| 2005
Type: Monograph
| 2005
T
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
V
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.
W
Checking of models built using a graphically based formal modelling language - Robert John Walters
Type: Article
| 2005
M-grid: Using Ubiquitous Web Technologies to create a Computational Grid - Robert John Walters and Stephen Crouch
Type: Conference or Workshop Item
| 2005
Integrating Service Oriented Architecture with a Virtual Research Environment - C. Wang, Y. W. Sim, L. Gilbert and G. B. Wills
Type: Monograph
| 2005
Type: Conference or Workshop Item
| 2005
| CSREA Press
Type: Article
| 2005
Integrated High Bandwidth Wave Elliptic Low-Pass Switched-Current Filter in Digital CMOS Technology - Reuben Wilcock, Bashir M. Al-Hasmimi and Peter Wilson
Type: Article
| 2005
| Item availability restricted.
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
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
Power-Composition Profile Driven Co-Synthesis with Power Management Selection for Dynamic and Leakage Energy Reduction - Dong Wu, Bashir M Al-Hashimi, Marcus T Schmitz and Petru Eles
Type: Conference or Workshop Item
| 2005
| Item availability restricted.
Y
Application of Event B to Global Causal Ordering for Fault Tolerant Transactions - Divakar Yadav and Michael Butler
Type: Conference or Workshop Item
| 2005
Document Flow Model: A Formal Notation for Modelling Asynchronous Web Services Composition - Jingtao Yang, Corina Cirstea and Peter Henderson
Type: Conference or Workshop Item
| 2005
An Operational Semantics for DFM, a Formal Notation for Modeling Asynchronous Web Services - Jingtao Yang, Corina Cirstea and Peter Henderson
Type: Conference or Workshop Item
| 2005