Optimized Distribution of Synchronous Programs via a Polychronous Model

Ke Sun 1, * Loïc Besnard 2 Thierry Gautier 1
* Auteur correspondant
1 TEA - Tim, Events and Architectures
IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL, Inria Rennes – Bretagne Atlantique
Abstract : —This paper presents a distribution methodology for synchronous programs, applied in particular on programs written in the Quartz language. The given program is first transformed into an intermediate model of guarded actions. After user-specified partitioning, the generated sub-models are transformed into Signal processes. Using the multi-clock calculation model of the Signal language, an optimized data-flow network can be automatically constructed. The optimization includes reducing the communication quantity and the computation load, with no change to the interface behaviors.
Type de document :
Communication dans un congrès
Formal Methods and Models for System Design (MEMOCODE'14), Oct 2014, Lausanne, Switzerland. pp.42 - 51, 2014, 〈10.1109/MEMCOD.2014.6961842〉
Liste complète des métadonnées

Littérature citée [32 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01088953
Contributeur : Ke Sun <>
Soumis le : mardi 2 décembre 2014 - 19:20:41
Dernière modification le : mercredi 16 mai 2018 - 11:24:07
Document(s) archivé(s) le : mardi 3 mars 2015 - 10:10:30

Fichiers

PAPER2014.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Ke Sun, Loïc Besnard, Thierry Gautier. Optimized Distribution of Synchronous Programs via a Polychronous Model. Formal Methods and Models for System Design (MEMOCODE'14), Oct 2014, Lausanne, Switzerland. pp.42 - 51, 2014, 〈10.1109/MEMCOD.2014.6961842〉. 〈hal-01088953〉

Partager

Métriques

Consultations de la notice

367

Téléchargements de fichiers

156