G. Bilsen, M. Engels, R. Lauwereins, and J. Peperstraete, Cycle-static dataflow, IEEE Transactions on Signal Processing, vol.44, issue.2, pp.397-408, 1996.
DOI : 10.1109/78.485935

J. Boucaron, R. De-simone, and J. Millo, Formal methods for scheduling of latency-insensitive designs, EURASIP Journal on Embedded Systems, issue.1, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00784464

L. Carloni, K. Mcmillan, and A. Sangiovanni-vincentelli, Theory of latency-insensitive design, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.20, issue.9, pp.1059-1076, 2001.
DOI : 10.1109/43.945302

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

J. Carmona, J. Júlvez, J. Cortadella, and M. Kishinevsky, Scheduling Synchronous Elastic Designs, 2009 Ninth International Conference on Application of Concurrency to System Design, 2009.
DOI : 10.1109/ACSD.2009.12

URL : http://upcommons.upc.edu/bitstream/2117/20078/1/05291065.pdf

P. Caspi, D. Pilaud, N. Halbwachs, and J. A. Plaice, LUSTRE: a declarative language for real-time programming, Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '87, 1987.
DOI : 10.1145/41625.41641

P. Caspi and M. Pouzet, Synchronous Kahn networks, International Conference on Functional Programming, 1996.
DOI : 10.1145/232627.232651

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

M. Casu and L. Macchiarulo, A new approach to latency insensitive design, Proceedings of the 41st annual conference on Design automation , DAC '04, 2004.
DOI : 10.1145/996566.996725

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

A. Cohen, M. Duranton, C. Eisenbeis, C. Pagetti, F. Plateau et al., N synchronous Kahn networks: a relaxed model of synchrony for real-time systems, Principles of Programming Languages, 2006.

A. Cohen, L. Mandel, F. Plateau, and M. Pouzet, Abstraction of Clocks in Synchronous Data-Flow Systems, ASIAN Symposium on Programming Languages and Systems, 2008.
DOI : 10.1016/0167-6423(91)90001-E

URL : https://hal.archives-ouvertes.fr/hal-01257274

J. Colaço and M. Pouzet, Clocks as First Class Abstract Types, International Conference on Embedded Software, 2003.
DOI : 10.1007/978-3-540-45212-6_10

J. Eker, J. W. Janneck, E. A. Lee, J. Liu, X. Liu et al., Taming heterogeneity - the Ptolemy approach, Proceedings of the IEEE, pp.127-144, 2003.
DOI : 10.1109/JPROC.2002.805829

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

X. Lagrange, P. Godlewski, and S. Tabbane, Réseaux GSM : des principesàprincipesà la norme, Hermès Science, 2000.

. Ed, D. Lee, and . Messerschmitt, Synchronous data flow, IEEE Transactions on Computers, vol.75, issue.9, 1987.

L. Mandel and F. Plateau, Typage des horloges périodiques en Lucy-n, Journées Francophones des Langages Applicatifs, 2011.

L. Mandel and F. Plateau, Scheduling and buffer sizing of n-synchronous systems ? extended version, 2012.
DOI : 10.1007/978-3-642-31113-0_6

L. Mandel, F. Plateau, and M. Pouzet, Lucy-n: a n-Synchronous Extension of Lustre, Mathematics of Program Construction, 2010.
DOI : 10.1007/978-3-642-13321-3_17

URL : https://hal.archives-ouvertes.fr/hal-00545801

L. Mandel, F. Plateau, and M. Pouzet, Static scheduling of latency insensitive designs with Lucy-n, Formal Methods in Computer Aided Design, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00654843

W. and W. Peterson, Error-Correcting Codes. The M.I, 1961.

A. Schrijver, Theory of linear and integer programming, 1986.

T. Schrijvers, S. P. Jones, M. Sulzmann, and D. Vytiniotis, Complete and decidable type inference for GADTs, International Conference on Functional Programming, pp.341-352, 2009.
DOI : 10.1145/1596550.1596599

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

W. Thies, M. Karczmarek, and S. Amarasinghe, StreamIt: A Language for Streaming Applications, International Conference on Compiler Construction, 2002.
DOI : 10.1007/3-540-45937-5_14

URL : http://cag.lcs.mit.edu/commit/papers/01/StreaMIT-TM-620.ps