Adaptive Hardware Systems with Novel Algorithmic Design and Guaranteed Resource Bounds
Lead Research Organisation:
University of St Andrews
Department Name: Computer Science
Abstract
Digital processing of signals and images are frequently performed in many commercial electronic devices, including computer networks, mobile telephones and computer vision systems. A steady growth in demand for high functionality and reliability in devices such as mobile phones means that many different types of computer processors are used, from general purpose processors found in personal computers to computer chips designed to perform very specific tasks. However, at present there are no efficient design techniques that allow complex devices to be built up from a range of different computer processors. This means that current designs are often inefficient in terms of power usage and their responsiveness. Thus, a key requirement for the long-term exploitation of signal and image processing technologies lies in developing the increasingly complex processors that are required for high performance.This project addresses this need. It represents a rich inter-disciplinary collaboration between electronic engineers and computer scientists collectively aimed at overcoming fundamental challenges in high-performance computing applications. The proposed research builds on recent world-leading work in signal and image processing methods, techniques to assess the performance and complexity of computer software, and complex processor design techniques. A successful outcome to this research will allow new and efficient implementations of complex signal processing algorithms to support a diverse range of applications.
Organisations
People |
ORCID iD |
Kevin Hammond (Principal Investigator) |
Publications
Hans-Wolfgang Loidl
(2009)
"""Carbon Credits"" for Resource-Bounded Computations Using Amortised Analysis"
Brown C
(2012)
A language-independent parallel refactoring framework
Simões H
(2012)
Automatic amortised analysis of dynamic memory allocation for lazy functional programs
in ACM SIGPLAN Notices
Falk H
(2012)
Code-level timing analysis of embedded software
Bernd Scheuermann (Co-Author)
(2011)
Concurrent Software Engineering on Multicore Systems Supported by Statistical Performance Analysis
Brady E
(2010)
Correct-by-Construction Concurrency: Using Dependent Types to Verify Implementations of Effectful Resource Usage Protocols
in Fundamenta Informaticae
Brown C
(2013)
Cost-Directed Refactoring for Parallel Erlang Programs
in International Journal of Parallel Programming
Description | BAE Systems |
Amount | £30,000 (GBP) |
Funding ID | SEN018 |
Organisation | BAE Systems |
Sector | Academic/University |
Country | United Kingdom |
Start | 01/2011 |
End | 01/2012 |
Description | BAE Systems |
Amount | £30,000 (GBP) |
Funding ID | SEN018 |
Organisation | BAE Systems |
Sector | Academic/University |
Country | United Kingdom |
Start | 06/2011 |
End | 03/2012 |
Description | EU Horizon 2020 ICT Programme |
Amount | € 5,415,551 (EUR) |
Funding ID | 779882 |
Organisation | European Union |
Sector | Public |
Country | European Union (EU) |
Start | 01/2018 |
End | 12/2020 |
Description | European Union Framework 7 |
Amount | £523,832 (GBP) |
Funding ID | IST-2011-288570 |
Organisation | European Commission |
Department | Seventh Framework Programme (FP7) |
Sector | Public |
Country | European Union (EU) |
Start | 09/2011 |
End | 03/2015 |
Description | European Union Framework 7 |
Amount | £358,334 (GBP) |
Funding ID | IST-2010-248828 |
Organisation | European Commission |
Department | Seventh Framework Programme (FP7) |
Sector | Public |
Country | European Union (EU) |
Start | 01/2010 |
End | 09/2013 |
Description | European Union Framework 7 |
Amount | £523,832 (GBP) |
Funding ID | IST-2011-288570 |
Organisation | European Commission |
Department | Seventh Framework Programme (FP7) |
Sector | Public |
Country | European Union (EU) |
Start | 09/2011 |
End | 03/2015 |
Description | European Union Framework 7 |
Amount | £358,334 (GBP) |
Funding ID | IST-2010-248828 |
Organisation | European Commission |
Department | Seventh Framework Programme (FP7) |
Sector | Public |
Country | European Union (EU) |
Start | 01/2010 |
End | 09/2013 |
Description | Horizon 2020 |
Amount | € 3,574,027 (EUR) |
Funding ID | 644235 |
Organisation | European Commission |
Sector | Public |
Country | European Union (EU) |
Start | 04/2015 |
End | 03/2018 |
Description | Horizon 2020 |
Amount | € 3,574,027 (EUR) |
Organisation | European Commission |
Sector | Public |
Country | European Union (EU) |
Start | 04/2015 |
End | 03/2018 |
Description | Responsive Mode |
Amount | £720,384 (GBP) |
Funding ID | EP/P020631/1 |
Organisation | Engineering and Physical Sciences Research Council (EPSRC) |
Sector | Public |
Country | United Kingdom |
Start | 08/2017 |
End | 07/2020 |
Description | Scottish Enterprise High Growth Startup Programme |
Amount | £137,000 (GBP) |
Organisation | Scottish Enterprise |
Sector | Public |
Country | United Kingdom |
Start | 06/2015 |
End | 05/2016 |
Description | Scottish Enterprise High Growth Startup Programme |
Amount | £400,000 (GBP) |
Organisation | Scottish Enterprise |
Sector | Public |
Country | United Kingdom |
Start | 07/2016 |
End | 12/2017 |