Optimized Distribution of Synchronous Programs via a Polychronous Model - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2014

Optimized Distribution of Synchronous Programs via a Polychronous Model

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.
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
Origin Files produced by the author(s)
Origin Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

Cite

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⟩
464 View
228 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More