Implementation of the dataflow synchronous language signal, PLDI '95: Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation, pp.163-173, 1995. ,
URL : https://hal.archives-ouvertes.fr/hal-00544128
Synchronization and Linearity: an algebra for discrete event systems, 1992. ,
Latency-insensitive design and central repetitive scheduling. In Formal Methods and Models for Co-Design, MEMOCODE '06. Proceedings. Fourth ACM and IEEE International Conference on, pp.175-183, 2006. ,
DOI : 10.1109/memcod.2006.1695923
URL : https://hal.archives-ouvertes.fr/inria-00071374
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
Probì eme d'ordonnancement: modélisation, complexité, algorithmes, 1988. ,
N-synchronous kahn networks: a relaxed model of synchrony for realtime systems, POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT Boucaron & Ferrero & Millo & de Simone symposium on Principles of programming languages, pp.180-193, 2006. ,
Marked directed graphs, Journal of Computer and System Sciences, vol.5, issue.5, pp.511-523, 1971. ,
DOI : 10.1016/S0022-0000(71)80013-2
URL : http://doi.org/10.1016/s0022-0000(71)80013-2
The semantics of a simple language for parallel programming, Proceedings of IFIP CONGRESS 74. North-Holland publishing company, 1974. ,
Coroutines and networks of parallel processes, Proceedings of IFIP CONGRESS 77. North-Holland publishing company, 1977. ,
URL : https://hal.archives-ouvertes.fr/inria-00306565
Static scheduling of synchronous data flow programs for digital signal processing, pp.3624-3659, 1987. ,
Bounded Scheduling of Process Networks, 1995. ,
Analysis of Asynchronous Concurrent Systems by Timed Petri Nets, route des Lucioles -BP 93 -06902 Sophia Antipolis Cedex (France) Unité de recherche INRIA Futurs : Parc Club Orsay Université -ZAC des Vignes 4, rue Jacques Monod -91893 ORSAY Cedex, 1973. ,
Technopôle de Nancy-Brabois -Campus scientifique 615, rue du Jardin Botanique -BP 101 -54602 Villers-lès-Nancy Cedex (France) Unité de recherche INRIA Rennes : IRISA, Campus universitaire de Beaulieu -35042 Rennes Cedex (France) Unité de recherche INRIA Rhône-Alpes : 655, avenue de l'Europe -38334 Montbonnot Saint-Ismier (France) Unité de recherche INRIA Rocquencourt, Domaine de Voluceau -Rocquencourt -BP 105 -78153 Le Chesnay Cedex ,