Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

paraphrase:fmco:11 (In a collection)
Author(s) Kevin Hammond, Marco Aldinucci, Chris Brown, Francesco Cesarini, Marco Danelutto, Horacio González-Vélez, Peter Kilpatrick, Rainer Keller, Michael Rossbory and Gilad Shainer
Title« The ParaPhrase Project: Parallel Patterns for Adaptive Heterogeneous Multicore Systems »
InFormal Methods for Components and Objects: Intl. Symposium, FMCO 2011, Torino, Italy, October 3-5, 2011, Revised Invited Lectures
SeriesLNCS
Editor(s) Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer and Marcello M. Bonsangue
Volume7542
Page(s)218-236
Year2013
PublisherSpringer
ISBN number978-3-642-35886-9
URLhttp://calvados.di.unipi.it/storage/paper_files/2013_fmco11_paraphrase.pdf
Abstract & Keywords
This paper describes the ParaPhrase project, a new 3-year targeted research project funded under EU Framework 7 Objective 3.4 (Computer Systems), starting in October 2011. ParaPhrase aims to follow a new approach to introducing parallelism using advanced refactoring techniques coupled with high-level parallel design patterns. The refactoring approach will use these design patterns to restructure programs defined as networks of software components into other forms that are more suited to parallel execution. The programmer will be aided by high-level cost information that will be integrated into the refactoring tools. The implementation of these patterns will then use a well-understood algorithmic skeleton approach to achieve good parallelism. A key ParaPhrase design goal is that parallel components are intended to match heterogeneous architectures, defined in terms of CPU/GPU combinations, for example. In order to achieve this, the ParaPhrase approach will map components at link time to the available hardware, and will then re-map them during program execution, taking account of multiple applications, changes in hardware resource availability, the desire to reduce communication costs etc. In this way, we aim to develop a new approach to programming that will be able to produce software that can adapt to dynamic changes in the system environment. Moreover, by using a strong component basis for parallelism, we can achieve potentially significant gains in terms of reducing sharing at a high level of abstraction, and so in reducing or even eliminating the costs that are usually associated with cache management, locking, and synchronisation.

Keywords: paraphrase

BibTeX code

@incollection{paraphrase:fmco:11,
  volume = {7542},
  author = {Kevin Hammond and Marco Aldinucci and Chris Brown and Francesco
            Cesarini and Marco Danelutto and Horacio Gonz\'alez-V\'elez and
            Peter Kilpatrick and Rainer Keller and Michael Rossbory and Gilad
            Shainer},
  series = {LNCS},
  keywords = {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_paraphrase.pdf},
  title = {The ParaPhrase Project: Parallel Patterns for Adaptive Heterogeneous
           Multicore Systems},
  abstract = {This paper describes the ParaPhrase project, a new 3-year targeted
              research project funded under EU Framework 7 Objective 3.4
              (Computer Systems), starting in October 2011. ParaPhrase aims to
              follow a new approach to introducing parallelism using advanced
              refactoring techniques coupled with high-level parallel design
              patterns. The refactoring approach will use these design patterns
              to restructure programs defined as networks of software components
              into other forms that are more suited to parallel execution. The
              programmer will be aided by high-level cost information that will
              be integrated into the refactoring tools. The implementation of
              these patterns will then use a well-understood algorithmic
              skeleton approach to achieve good parallelism. A key ParaPhrase
              design goal is that parallel components are intended to match
              heterogeneous architectures, defined in terms of CPU/GPU
              combinations, for example. In order to achieve this, the
              ParaPhrase approach will map components at link time to the
              available hardware, and will then re-map them during program
              execution, taking account of multiple applications, changes in
              hardware resource availability, the desire to reduce communication
              costs etc. In this way, we aim to develop a new approach to
              programming that will be able to produce software that can adapt
              to dynamic changes in the system environment. Moreover, by using a
              strong component basis for parallelism, we can achieve potentially
              significant gains in terms of reducing sharing at a high level of
              abstraction, and so in reducing or even eliminating the costs that
              are usually associated with cache management, locking, and
              synchronisation.},
  isbn = {978-3-642-35886-9},
  publisher = {Springer},
  year = {2013},
  pages = {218-236},
}


 Chronological Overview 
 Type-Hierarchical Overview 
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)

Valid HTML 4.01!