Files in this item
Reasoning about non-functional properties using compiler intrinsic function annotations
Item metadata
dc.contributor.author | Jadhav, Shashank | |
dc.contributor.author | Roth, Mikko | |
dc.contributor.author | Falk, Heiko | |
dc.contributor.author | Brown, Christopher Mark | |
dc.contributor.author | Barwell, Adam David | |
dc.date.accessioned | 2019-11-20T17:30:02Z | |
dc.date.available | 2019-11-20T17:30:02Z | |
dc.date.issued | 2019-11-06 | |
dc.identifier | 263441697 | |
dc.identifier | 5f6f1b77-bf1e-472a-9820-be5f84d99e31 | |
dc.identifier.citation | Jadhav , S , Roth , M , Falk , H , Brown , C M & Barwell , A D 2019 , Reasoning about non-functional properties using compiler intrinsic function annotations . in Proceedings of the 13th Junior Researcher Workshop on Real-Time Computing . INP ENSEEIHT/IRIT , pp. 25-28 , 13th Junior Researcher Workshop on Real-Time Computing. JRWRTC , Toulouse , France , 6/11/19 . | en |
dc.identifier.citation | workshop | en |
dc.identifier.other | ORCID: /0000-0003-1236-7160/work/65014315 | |
dc.identifier.other | ORCID: /0000-0001-6030-2885/work/70619187 | |
dc.identifier.uri | https://hdl.handle.net/10023/18969 | |
dc.description | Funding: European Union’s Horizon 2020 research and innovation programme under grant agreement No 779882. | en |
dc.description.abstract | Embedded systems often need to adhere to time and energy constraints. With the increasing popularity of embed-ded systems, the interest in evaluating and optimizing non-functional properties like execution time and energy of these systems is increasing. In this paper, we describe a Resource-usage Estimate Expression Language (REEL), which allows the user to arguea bout these properties, within the source code, in a compiler understandable manner. Furthermore, we discuss the integration of REEL within a compiler framework. We, also show the propagation of REEL annotations within the compiler, and how they can be exploited to make decisions based on the non-functional properties within the source code. Finally, we explore REEL’s potential to perform ILP-based optimizations. | |
dc.format.extent | 4 | |
dc.format.extent | 162577 | |
dc.language.iso | eng | |
dc.publisher | INP ENSEEIHT/IRIT | |
dc.relation.ispartof | Proceedings of the 13th Junior Researcher Workshop on Real-Time Computing | en |
dc.subject | QA75 Electronic computers. Computer science | en |
dc.subject | NS | en |
dc.subject.lcc | QA75 | en |
dc.title | Reasoning about non-functional properties using compiler intrinsic function annotations | en |
dc.type | Conference item | en |
dc.contributor.sponsor | European Commission | en |
dc.contributor.institution | University of St Andrews. School of Computer Science | en |
dc.identifier.url | https://www.irit.fr/rtns2019/jrwrtc/rtns_junior_workshop/ | en |
dc.identifier.grantnumber | 779882 | en |
This item appears in the following Collection(s)
Items in the St Andrews Research Repository are protected by copyright, with all rights reserved, unless otherwise indicated.