Optimized Distribution of Synchronous Programs via a Polychronous Model - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

Optimized Distribution of Synchronous Programs via a Polychronous Model

Résumé

—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.
Fichier principal
Vignette du fichier
PAPER2014.pdf (104.69 Ko) Télécharger le fichier
Optimized Distribution of Synchronous Programs via a Polychronous Model (MEMOCODE 2014).pdf (405.73 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01088953 , version 1 (02-12-2014)

Identifiants

Citer

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, ⟨10.1109/MEMCOD.2014.6961842⟩. ⟨hal-01088953⟩
463 Consultations
219 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More