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
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
Behrends R
(2016)
HPC-GAP: engineering a 21st-century high-performance computer algebra system
in Concurrency and Computation: Practice and Experience
Bernd Scheuermann (Co-Author)
(2011)
Concurrent Software Engineering on Multicore Systems Supported by Statistical Performance Analysis
BERTHOLD J
(2016)
PAEAN: Portable and scalable runtime support for parallel Haskell dialects
in Journal of Functional Programming
Bozó I
(2014)
Discovering parallel pattern candidates in Erlang
Brady E
(2010)
Scrapping your inefficient engine using partial evaluation to improve domain-specific language implementation
in ACM SIGPLAN Notices
Brady E
(2012)
Practical Aspects of Declarative Languages
Brady E
(2010)
Scrapping your inefficient engine
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
Brown C
(2012)
A language-independent parallel refactoring framework
Christoph Armin Herrmann (Author)
(2008)
Towards Compositional Worst-Case Execution Time Analysis for Hume Programs
Edwin Brady
(2012)
Resource-safe Systems Programming with Embedded Domain Specific Languages
Falk H
(2012)
Code-level timing analysis of embedded software
Ferreiro H
(2013)
Trends in Functional Programming
Hammond K
(2010)
The Peter Landin prize
in Higher-Order and Symbolic Computation
Hammond K
(2012)
Introduction to the Special Issue on Automatic Program Generation for Embedded Systems
in Science of Computer Programming
Hammond K
(2011)
Reliable Software Technologies - Ada-Europe 2011
Hans-Wolfgang Loidl
(2009)
"""Carbon Credits"" for Resource-Bounded Computations Using Amortised Analysis"
Hans-Wolfgang Loidl
(2010)
Static Determination of Quantitative Resource Usage for Higher-Order Programs
Herrmann C
(2012)
Foundational and Practical Aspects of Resource Analysis
Jost S
(2010)
Static determination of quantitative resource usage for higher-order programs
in ACM SIGPLAN Notices
Jost S
(2009)
FM 2009: Formal Methods
Jost Steffen
(2010)
Static Determination of Quantitative Resource Usage for Higher-Order Programs
in ACM SIGPLAN NOTICES
Kevin Hammond (Author)
(2009)
Hume Cost Analyses for Imperative Programs
Kevin Hammond (Author)
(2009)
Towards Hume SIMD Vectorisation
Kevin Hammond (Author)
(2009)
Worst-Case Execution Time Analysis through Types
Linton S
(2013)
Easy composition of symbolic computation software using SCSCP: A new Lingua Franca for symbolic computation
in Journal of Symbolic Computation
Loidl H
(2010)
Foundational and Practical Aspects of Resource Analysis
Simões H
(2012)
Automatic amortised analysis of dynamic memory allocation for lazy functional programs
in ACM SIGPLAN Notices
Trinder P
(2011)
Resource analyses for parallel and distributed coordination
in Concurrency and Computation: Practice and Experience
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 | 05/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 | 08/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 | 08/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 | 03/2015 |
End | 03/2018 |
Description | Horizon 2020 |
Amount | € 3,574,027 (EUR) |
Organisation | European Commission |
Sector | Public |
Country | European Union (EU) |
Start | 03/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 | 07/2017 |
End | 07/2020 |
Description | Scottish Enterprise High Growth Startup Programme |
Amount | £137,000 (GBP) |
Organisation | Scottish Enterprise |
Sector | Public |
Country | United Kingdom |
Start | 05/2015 |
End | 05/2016 |
Description | Scottish Enterprise High Growth Startup Programme |
Amount | £400,000 (GBP) |
Organisation | Scottish Enterprise |
Sector | Public |
Country | United Kingdom |
Start | 06/2016 |
End | 12/2017 |