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
Christoph Armin Herrmann (Author)
(2008)
Towards Compositional Worst-Case Execution Time Analysis for Hume Programs
Kevin Hammond (Author)
(2009)
Towards Hume SIMD Vectorisation
Jost S
(2009)
FM 2009: Formal Methods
Hans-Wolfgang Loidl
(2009)
"""Carbon Credits"" for Resource-Bounded Computations Using Amortised Analysis"
Al Zain A
(2009)
Low-pain, high-gain multicore programming in Haskell
Al Zain A
(2009)
Low-pain, high-gain multicore programming in Haskell coordinating irregular symbolic computations on multicore architectures (abstract only)
in ACM SIGPLAN Notices
Kevin Hammond (Author)
(2009)
Hume Cost Analyses for Imperative Programs
Kevin Hammond (Author)
(2009)
Worst-Case Execution Time Analysis through Types
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 |