Items where Division is "Faculties (pre 2018 reorg) > Faculty of Physical Sciences and Engineering (pre 2018 reorg)" and Year is 2017
 | Up a level |
Number of items: 46.
Article
A flexible FPGA-based quasi-cyclic LDPC decoder - Peter Hailes, Lei Xu, Robert Maunder, Bashir Al-Hashimi and Lajos Hanzo
Type: Article
| 2017
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
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
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
Aging benefits in nanometer CMOS designs - Daniele Rossi, Vasileios Tenentes, Sheng Yang, Saqib Khursheed and Bashir Al-Hashimi
Type: Article
| 2017
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
Nucleus: finding the sharing limit of heterogeneous cores - Ilias Vougioukas, Andreas Sandberg, Stephan Diestelhorst, Bashir Al-Hashimi and Geoffrey Merrett
Type: Article
| 2017
Book Section
Analysing security protocols using refinement in iUML-B - Colin Snook, Thai Son Hoang and Michael Butler
Type: Book Section
| 2017
| Springer
Conference or Workshop Item
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
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
Class diagrams for Abstract Data Types - Thai Son Hoang, Colin Snook, Dana Dghaym and Michael Butler
Type: Conference or Workshop Item
| 2017
| Springer
Formal analysis of safety and security requirements of critical systems supported by an extended STPA methodology - Giles Howard, Michael Butler, John Colley and Vladimiro Sassone
Type: Conference or Workshop Item
| 2017
A contact-separation mode triboelectric nanogenerator for ocean wave impact energy harvesting - Ulises Tronco Jurado, Suan Hui Pu and Neil M. White
Type: Conference or Workshop Item
| 2017
| IEEE
| Item not available on this server.
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.
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
Thesis
Continuum limit of D and DS decay constants with Moebius domain wall fermions at physical pion masses - Justus Tobias Tsang
Type: Thesis
| 2017
| University of Southampton
Dataset
Type: Dataset
| 2017
| University of Southampton
Type: Dataset
| 2017
| University of Southampton
Type: Dataset
| 2017
| University of Southampton
Type: Dataset
| 2017
| University of Southampton
Type: Dataset
| 2017
| University of Southampton
Type: Dataset
| 2017
| University of Southampton
Type: Dataset
| 2017
| University of Southampton
Type: Dataset
| 2017
| University of Southampton
Type: Dataset
| 2017
| University of Southampton
Type: Dataset
| 2017
| University of Southampton
Type: Dataset
| 2017
| University of Southampton
Type: Dataset
| 2017
| University of Southampton
Type: Dataset
| 2017
| University of Southampton
Type: Dataset
| 2017
| University of Southampton
Type: Dataset
| 2017
| University of Southampton
Type: Dataset
| 2017
| University of Southampton
Type: Dataset
| 2017
| University of Southampton
Type: Dataset
| 2017
| University of Southampton
Type: Dataset
| 2017
| University of Southampton
Type: Dataset
| 2017
| University of Southampton
Type: Dataset
| 2017
| University of Southampton
Type: Dataset
| 2017
| University of Southampton
Type: Dataset
| 2017
| University of Southampton
Type: Dataset
| 2017
| University of Southampton
Type: Dataset
| 2017
| University of Southampton