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
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.
Complete list of metadata

Cited literature [32 references]  Display  Hide  Download
Contributor : Ke Sun <>
Submitted on : Tuesday, December 2, 2014 - 7:20:41 PM
Last modification on : Tuesday, June 15, 2021 - 4:26:27 PM
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