DocumentCode
698279
Title
Towards Hume SIMD vectorisation
Author
Al Zain, Abdallah ; Gibson, Valerie ; Michaelson, Greg ; Hammond, Kevin ; Jost, Steffen ; Loidl, Hans-Wolfgang
Author_Institution
Sch. of Math. & Comput. Sci., Heriot-Watt Univ., Edinburgh, UK
fYear
2009
fDate
24-28 Aug. 2009
Firstpage
2683
Lastpage
2687
Abstract
Hume is a novel formally-motivated programming language oriented to developing software where strong assurance of resource use is paramount, in particular embedded systems. In this paper, we explore the use of Hume in a context of heterogeneous platforms where resource knowledge may guide the mapping of activities to different platform components. We present an overview of the Hume language design and methodology, and discuss its deployment in the exploitation of SIMD vectorisation of a simple low-level image processing routine.
Keywords
embedded systems; high level languages; image processing; parallel processing; software engineering; Hume SIMD vectorisation; embedded systems; formally-motivated programming language; low-level image processing; resource knowledge; software development; Abstracts; Analytical models; Convolution; Programming; Standards; Vectors; Wires;
fLanguage
English
Publisher
ieee
Conference_Titel
Signal Processing Conference, 2009 17th European
Conference_Location
Glasgow
Print_ISBN
978-161-7388-76-7
Type
conf
Filename
7077855
Link To Document