|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| toolchain:fmco:11 (In a collection) | |
| Author(s) | Marco Aldinucci, Sonia Campa, Fabio Tordini, Massimo Torquati and Peter Kilpatrick |
| Title | « An abstract annotation model for skeletons » |
| In | Formal Methods for Components and Objects: Intl. Symposium, FMCO 2011, Torino, Italy, October 3-5, 2011, Revised Invited Lectures |
| Series | LNCS |
| Editor(s) | Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer and Marcello M. Bonsangue |
| Volume | 7542 |
| Page(s) | 257-276 |
| Year | 2013 |
| Publisher | Springer |
| ISBN number | 978-3-642-35886-9 |
| URL | http://calvados.di.unipi.it/storage/paper_files/2013_fmco11_annotation.pdf |
| Abstract & Keywords | |
| Multi-core and many-core platforms are becoming increasingly heterogeneous and asymmetric. This significantly increases the porting and tuning effort required for parallel codes, which in turn often leads to a growing gap between peak machine power and actual application performance. In this work a first step toward the automated optimization of high level skeleton-based parallel code is discussed. The paper presents an abstract annotation model for skeleton programs aimed at formally describing suitable mapping of parallel activities on a high-level platform representation. The derived mapping and scheduling strategies are used to generate optimized run-time code. Keywords: fastflow, paraphrase | |
| BibTeX code |
@incollection{toolchain:fmco:11,
volume = {7542},
author = {Marco Aldinucci and Sonia Campa and Fabio Tordini and Massimo
Torquati and Peter Kilpatrick},
series = {LNCS},
keywords = {fastflow, paraphrase},
booktitle = {Formal Methods for Components and Objects: Intl. Symposium, FMCO
2011, Torino, Italy, October 3-5, 2011, Revised Invited
Lectures},
editor = {Bernhard Beckert and Ferruccio Damiani and Frank S. de Boer and
Marcello M. Bonsangue},
url = {http://calvados.di.unipi.it/storage/paper_files/2013_fmco11_annotation.pdf},
title = {An abstract annotation model for skeletons},
abstract = {Multi-core and many-core platforms are becoming increasingly
heterogeneous and asymmetric. This significantly increases the
porting and tuning effort required for parallel codes, which in
turn often leads to a growing gap between peak machine power and
actual application performance. In this work a first step toward
the automated optimization of high level skeleton-based parallel
code is discussed. The paper presents an abstract annotation model
for skeleton programs aimed at formally describing suitable
mapping of parallel activities on a high-level platform
representation. The derived mapping and scheduling strategies are
used to generate optimized run-time code.},
isbn = {978-3-642-35886-9},
publisher = {Springer},
year = {2013},
pages = {257-276},
}
|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)