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
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
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 : mardi 16 janvier 2018 - 15:54:23
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

236

Téléchargements de fichiers

99