Cycle-static dataflow, IEEE Transactions on Signal Processing, vol.44, issue.2, pp.397-408, 1996. ,
DOI : 10.1109/78.485935
Formal methods for scheduling of latency-insensitive designs, EURASIP Journal on Embedded Systems, issue.1, 2007. ,
URL : https://hal.archives-ouvertes.fr/hal-00784464
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=10.1.1.16.1198
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
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
Synchronous Kahn networks, International Conference on Functional Programming, 1996. ,
DOI : 10.1145/232627.232651
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.15.9168
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=10.1.1.386.6779
N synchronous Kahn networks: a relaxed model of synchrony for real-time systems, Principles of Programming Languages, 2006. ,
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
Clocks as First Class Abstract Types, International Conference on Embedded Software, 2003. ,
DOI : 10.1007/978-3-540-45212-6_10
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=10.1.1.12.8244
Réseaux GSM : des principesàprincipesà la norme, Hermès Science, 2000. ,
Synchronous data flow, IEEE Transactions on Computers, vol.75, issue.9, 1987. ,
Typage des horloges périodiques en Lucy-n, Journées Francophones des Langages Applicatifs, 2011. ,
Scheduling and buffer sizing of n-synchronous systems ? extended version, 2012. ,
DOI : 10.1007/978-3-642-31113-0_6
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
Static scheduling of latency insensitive designs with Lucy-n, Formal Methods in Computer Aided Design, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00654843
Error-Correcting Codes. The M.I, 1961. ,
Theory of linear and integer programming, 1986. ,
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=10.1.1.1026.5364
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