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)" and Year is 2017

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Authors/Creators | Item Type
Jump to: B | H | J | L | R | S | T | V | W
Number of items: 25.

B

Exploring ARM mbed support for transient computing in energy harvesting IoT systems - Domenico Balsamo, Ali Elboreini, Bashir Al-Hashimi and Geoffrey Merrett
Type: Conference or Workshop Item | 2017

Online tuning of Dynamic Power Management for efficient execution of interactive workloads - James, Robert Benjamin Bantock, Vasileios Tenentes, Bashir Al-Hashimi and Geoffrey Merrett
Type: Conference or Workshop Item | 2017 | IEEE

Empirical CPU power modelling and estimation in the gem5 simulator - Karunakar Reddy Basireddy, Matthew Walker, Domenico Balsamo, Stephan Diestelhorst, Bashir Al-Hashimi and Geoffrey Merrett
Type: Conference or Workshop Item | 2017 | IEEE

Formal development of policing functions for intelligent systems - Chris Bogdiukiewicz, Michael Butler, Thai Son Hoang, Martin Paxton, James, Harvey Snook, Xanthippe Waldron and Toby Wilkinson
Type: Conference or Workshop Item | 2017 | IEEE

Route Validation in Event-B - Chris Bogdiukiewicz, Michael Butler, Thai Son Hoang, Martin Paxton, James, Harvey Snook, Xanthippe Waldron and Toby Wilkinson
Type: Dataset | 2017 | University of Southampton

Formal modelling techniques for efficient development of railway control products - Michael Butler, Dana Dghaym, Tomas Fischer, Thai Son Hoang, Klaus Reichl, Colin Snook and Peter Tummeltshammer
Type: Conference or Workshop Item | 2017 | Springer | Item availability restricted.

H

A flexible FPGA-based quasi-cyclic LDPC decoder - Peter Hailes, Lei Xu, Robert Maunder, Bashir Al-Hashimi and Lajos Hanzo
Type: Article | 2017

Class diagrams for Abstract Data Types - Thai Son Hoang, Colin Snook, Dana Dghaym and Michael Butler
Type: Conference or Workshop Item | 2017 | Springer | Item availability restricted.

Validating and verifying the requirements and design of a haemodialysis machine using the rodin toolset - Thai Son Hoang, Colin Snook, Asieh Salehi Fathabadi, Michael Butler and Lukas Ladenberger
Type: Article | 2017 | Item availability restricted.

Type: Conference or Workshop Item | 2017

J

Type: Conference or Workshop Item | 2017 | Institute of Electrical and Electronics Engineers Inc. | Item not available on this server.

L

Run-time performance and power optimization of parallel disparity estimation on many-core platforms - Charles Leech, Charan Kumar Vala, Amit Acharyya, Sheng Yang, Geoffrey Merrett and Bashir Al-Hashimi
Type: Article | 2017

R

Inter-cluster thread-to-core mapping and DVFS on heterogeneous multi-cores - Basireddy Karunakar Reddy, Amit Singh, Dwaipayan Biswas, Geoff Merrett and Bashir Al-Hashimi
Type: Article | 2017

Exploiting aging benefits for the design of reliable drowsy cache memories - Daniele Rossi, Vasileios Tenentes, Sudhakar Reddy, Bashir Al-Hashimi and Andrew Brown
Type: Article | 2017

Aging benefits in nanometer CMOS designs - Daniele Rossi, Vasileios Tenentes, Sheng Yang, Saqib Khursheed and Bashir Al-Hashimi
Type: Article | 2017 | Item availability restricted.

S

Integrated reciprocal conversion with selective direct operation for energy harvesting systems - Parameshwarappa Anand, Kumar Savanth, Alexander Weddell, James Myers, David Flynn and Bashir Al-Hashimi
Type: Article | 2017

Learning-based run-time power and energy management of multi/many-core systems: current and future trends - Amit Singh, Charles Leech, Karunakar Reddy Basireddy, Bashir Al-Hashimi and Geoffrey Merrett
Type: Article | 2017

Energy efficient run-time mapping and thread partitioning of concurrent OpenCL applications on CPU-GPU MPSoCs - Amit Singh, Alok Prakash, Karunakar Reddy Basireddy, Geoffrey Merrett and Bashir Al-Hashimi
Type: Article | 2017

Analysing security protocols using refinement in iUML-B - Colin Snook, Thai Son Hoang and Michael Butler
Type: Book Section | 2017 | Springer

T

Hardware and software innovations in energy-efficient system-reliability monitoring - Vasileios Tenentes, Charles Leech, Graeme Bragg, Geoffrey Merrett, Bashir Al-Hashimi, Hussam Amrouch, Jörg Henkel and Shidhartha Das
Type: Conference or Workshop Item | 2017 | IEEE | Item availability restricted.

Leakage current analysis for diagnosis of bridge defects in power-gating designs - Vasileios Tenentes, Daniele Rossi, Saqib Khursheed, Bashir Al-Hashimi and Krishnendu Chakrabarty
Type: Article | 2017

Type: Thesis | 2017 | University of Southampton

V

High-speed low-complexity guided image filtering-based disparity estimation - Charan Kumar Vala, Koushik Immadisetty, Amit Acharyya, Charles Leech, Vibishna Balagopal, Geoff V. Merrett and Bashir Al-Hashimi
Type: Article | 2017

Nucleus: finding the sharing limit of heterogeneous cores - Ilias Vougioukas, Andreas Sandberg, Stephan Diestelhorst, Bashir Al-Hashimi and Geoffrey Merrett
Type: Article | 2017

W

Reliable mapping and partitioning of performance-constrained OpenCL Applications on CPU-GPU MPSoCs - Eduardo Weber Wachter, Geoff V. Merrett, Amit Singh and Bashir Al-Hashimi
Type: Conference or Workshop Item | 2017

This list was generated on Tue Dec 10 01:39:58 2019 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.

×