@inproceedings{poss12nfsp,
	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 extra-functional 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.},
	Address = {New York, NY, USA},
	Author = {Frank Penczek and Raimund Kirner and Raphael Poss and Clemens Grelck and Alex Shafarenko},
	Booktitle = {Proc. 4th International Workshop on Non-functional System Properties in Domain Specific Modeling Languages},


	Doi = {10.1145/2420942.2420947}, Urldoi = {http://dx.doi.org/10.1145/2420942.2420947},
	Isbn = {978-1-4503-1807-5},
	Location = {Innsbruck, Austria},
	Month = {September},
	Numpages = {6},
	Pages = {5:1--5:6},
	Publisher = {ACM},
	Read = {1},
	Series = {NFPinDSML '12},
	Title = {An Infrastructure for Multi-Level Optimisation through Property Annotation and Aggregation},
	Urllocal = {pub/poss.12.nfsp.pdf},
	Year = {2012},
	}

{"_id":{"_str":"5342bd570e946d920a003512"},"__v":1,"authorIDs":["54c2dea9b5fb1e5511000919","5dfafc26fa2bbbde01000122","5e35eb445cd57fde01000070","5e38ff13dc5b8ade01000077","5e64a5962551dede01000063","ZGRaLkjmxPcmJ739z","efnDKftzuGYiXXauW","pgjx6rQxQDmzHuwRK","sCob7zjTXbp95CmbP"],"author_short":["Penczek, F.","Kirner, R.","Poss, R.","Grelck, C.","Shafarenko, A."],"bibbaseid":"penczek-kirner-poss-grelck-shafarenko-aninfrastructureformultileveloptimisationthroughpropertyannotationandaggregation-2012","bibdata":{"bibtype":"inproceedings","type":"inproceedings","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 extra-functional 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.","address":"New York, NY, USA","author":[{"firstnames":["Frank"],"propositions":[],"lastnames":["Penczek"],"suffixes":[]},{"firstnames":["Raimund"],"propositions":[],"lastnames":["Kirner"],"suffixes":[]},{"firstnames":["Raphael"],"propositions":[],"lastnames":["Poss"],"suffixes":[]},{"firstnames":["Clemens"],"propositions":[],"lastnames":["Grelck"],"suffixes":[]},{"firstnames":["Alex"],"propositions":[],"lastnames":["Shafarenko"],"suffixes":[]}],"booktitle":"Proc. 4th International Workshop on Non-functional System Properties in Domain Specific Modeling Languages","doi":"10.1145/2420942.2420947","urldoi":"http://dx.doi.org/10.1145/2420942.2420947","isbn":"978-1-4503-1807-5","location":"Innsbruck, Austria","month":"September","numpages":"6","pages":"5:1–5:6","publisher":"ACM","read":"1","series":"NFPinDSML '12","title":"An Infrastructure for Multi-Level Optimisation through Property Annotation and Aggregation","urllocal":"pub/poss.12.nfsp.pdf","year":"2012","bibtex":"@inproceedings{poss12nfsp,\n\tAbstract = {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 extra-functional 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.},\n\tAddress = {New York, NY, USA},\n\tAuthor = {Frank Penczek and Raimund Kirner and Raphael Poss and Clemens Grelck and Alex Shafarenko},\n\tBooktitle = {Proc. 4th International Workshop on Non-functional System Properties in Domain Specific Modeling Languages},\n\n\n\tDoi = {10.1145/2420942.2420947}, Urldoi = {http://dx.doi.org/10.1145/2420942.2420947},\n\tIsbn = {978-1-4503-1807-5},\n\tLocation = {Innsbruck, Austria},\n\tMonth = {September},\n\tNumpages = {6},\n\tPages = {5:1--5:6},\n\tPublisher = {ACM},\n\tRead = {1},\n\tSeries = {NFPinDSML '12},\n\tTitle = {An Infrastructure for Multi-Level Optimisation through Property Annotation and Aggregation},\n\tUrllocal = {pub/poss.12.nfsp.pdf},\n\tYear = {2012},\n\t}\n\n","author_short":["Penczek, F.","Kirner, R.","Poss, R.","Grelck, C.","Shafarenko, A."],"key":"poss12nfsp","id":"poss12nfsp","bibbaseid":"penczek-kirner-poss-grelck-shafarenko-aninfrastructureformultileveloptimisationthroughpropertyannotationandaggregation-2012","role":"author","urls":{"Doi":"http://dx.doi.org/10.1145/2420942.2420947","Local":"http://science.raphael.poss.name/pub/poss.12.nfsp.pdf"},"metadata":{"authorlinks":{"poss, r":"https://bibbase.org/show?bib=https%3A%2F%2Fscience.raphael.poss.name%2Fpub.bib"}}},"bibtype":"inproceedings","biburl":"http://science.raphael.poss.name/pub.bib","downloads":0,"keywords":[],"search_terms":["infrastructure","multi","level","optimisation","through","property","annotation","aggregation","penczek","kirner","poss","grelck","shafarenko"],"title":"An Infrastructure for Multi-Level Optimisation through Property Annotation and Aggregation","year":2012,"dataSources":["75cdFjzQkYc9cKbYS","nMjrEFThibKqpZt4n","ob9Lo6tki9nBzzxK9"]}