Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Conference papers

Optimized Distribution of Synchronous Programs via a Polychronous Model

Ke Sun 1, * Loïc Besnard 2 Thierry Gautier 1 
* Corresponding author
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.
Complete list of metadata

Cited literature [32 references]  Display  Hide  Download
Contributor : Ke SUN Connect in order to contact the contributor
Submitted on : Tuesday, December 2, 2014 - 7:20:41 PM
Last modification on : Monday, June 27, 2022 - 3:02:29 AM
Long-term archiving on: : Tuesday, March 3, 2015 - 10:10:30 AM




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⟩



Record views


Files downloads