A. Girault, A survey of automatic distribution method for synchronous programs, International workshop on synchronous languages, applications and programs, vol.5, 2005.

&. Lee, . Al, E. A. Lee, and D. G. Messerschmitt, Multiprocessor resource allocation for throughput-constrained synchronous dataflow graphs, Proceedings of the IEEE, vol.75, pp.777-782, 1987.

. Puffitsch-&-al, W. Puffitsch, E. Noulard, and C. Pagetti, Mapping a Multi-Rate Synchronous Language to a Many-Core Processor, RTAS'2013, 2013.

. Cohen-&-al, L. Cohen, M. Gérard, and . Pouzet, Programming parallelism with futures in Lustre, ACM International Conference on Embedded Software (EMSOFT'12), 2012.

]. Al, B. Colaco, M. Pagano, and . Pouzet, Scade 6: A Formal Language for Embedded Critical Software Development, 2017.

]. P. Al, . Caspi, D. Pilaud, N. Halbwachs, and J. A. Plaice, LUSTRE: A declarative language for programming synchronous systems, 1987.

C. Al]-pagetti, D. Saussié, R. Gratia, E. Noulard, and P. Siron, The ROSACE case study: From simulink specification to multi/many-core execution, RTAS'2014, 2014.

G. Kahn, The semantics of a simple language for parallel programming, Proceedings of IFIP Congress, 1974.

. Iso/iec, Programming language C, vol.9899, 2011.

. Dinechin, B. D. De-dinechin, R. Ayrignac, P. E. Beaucamps, P. Couvert et al., A clustered manycore processor architecture for embedded and accelerated applications, HPEC'13