University of Hertfordshire

By the same authors

An infrastructure for multi-level optimisation through property annotation and aggregation

Research output: Chapter in Book/Report/Conference proceedingConference contribution

View graph of relations
Original languageEnglish
Title of host publication4th International Workshop on Nonfunctional System Properties in Domain Specific Modeling Languages, NFPinDSML 2012
PublisherACM Digital Library
Pages48-62
Number of pages15
ISBN (Print)9781450318075
DOIs
Publication statusPublished - 2012
Event4th International Workshop on Nonfunctional System Properties in Domain Specific Modeling Languages, NFPinDSML 2012 - Innsbruck, Austria
Duration: 1 Oct 20125 Oct 2012

Conference

Conference4th International Workshop on Nonfunctional System Properties in Domain Specific Modeling Languages, NFPinDSML 2012
CountryAustria
CityInnsbruck
Period1/10/125/10/12

Abstract

Optimising software for efficiency on a parallel hardware platform by analysing the performance of the application is often a complex and time-consuming task. In this paper we present a constraint annotation and aggregation system that allows programmers to annotate code by using a dedicated language for describing functional and extrafunctional properties, such as for example algorithmic complexity, scaling factors or the number of required cores. The goal is to derive properties of the entire application that are parametrised over characteristics of the execution platform to assist programmers in better understanding the behaviour of an application and to assist the execution platform in making informed mapping and scheduling decisions.

ID: 9429393