Scheduling dynamic dataflow graphs with bounded memory using the token flow model, IEEE International Conference on Acoustics Speech and Signal Processing, 1993. ,
DOI : 10.1109/ICASSP.1993.319147
LUSTRE: a declarative language for real-time programming, Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '87, pp.178-188, 1987. ,
DOI : 10.1145/41625.41641
N - Synchronous Kahn Networks: a Relaxed Model of Synchrony for Real-Time Systems, ACM International Conference on Principles of Programming Languages (POPL'06, pp.180-193, 2006. ,
Abstraction of Clocks in Synchronous Data-Flow Systems, APLAS. Lecture Notes in Computer Science, vol.16, issue.2, pp.237-254, 2008. ,
DOI : 10.1016/0167-6423(91)90001-E
URL : https://hal.archives-ouvertes.fr/hal-01257274
Clocks as First Class Abstract Types, Third International Conference on Embedded Software (EMSOFT'03, pp.134-155, 2003. ,
DOI : 10.1007/978-3-540-45212-6_10
The semantics of a simple language for parallel programming Information processing, pp.471-475, 1974. ,
Synchronous dataflow, IEEE Trans. Comput, vol.75, issue.9, pp.1235-1245, 1987. ,
A comparison of synchronous and cycle-static dataflow, Conference Record of The Twenty-Ninth Asilomar Conference on Signals, Systems and Computers, p.204, 1995. ,
DOI : 10.1109/ACSSC.1995.540541
Bounded scheduling of process networks, 1995. ,
Modèle n-synchrone pour la programmation de réseaux de KahnàKahnà mémoire bornée, 2010. ,
Lucid Synchrone, version 3. Tutorial and reference manual, 2006. ,
StreamIt: A Language for Streaming Applications, CC '02: Proceedings of the 11th International Conference on Compiler Construction, pp.179-196, 2002. ,
DOI : 10.1007/3-540-45937-5_14