Virtual platforms for mixed time-criticality applications: The CoMPSoC architecture and SDF3 design flow, Quo Vadis, Virtual Platforms?(QVVP), pp.1-2, 2012. ,
Static Scheduling for Cyclo Static Data Flow Graphs, Parallel and Distributed Processing Techniques and Applications, PDPTA 2009, pp.302-306, 2009. ,
A methodology for automated design of hard-real-time embedded streaming systems. Design, Automation & Test in Europe (DATE), 2012. ,
Buffer Sizing for Stream Processing Applications, 2012. ,
Cycle-static data flow, IEEE Transactions on Signal Processing, pp.3255-3258, 1995. ,
LUSTRE: a declarative language for real-time programming, Symposium on Principles of programming languages -POPL '87, pp.178-188, 1987. ,
Efficient algorithms for optimum cycle mean and optimum cost to time ratio problems, Design Automation Conference (DAC'99), pp.37-42, 1999. ,
Liveness and boundedness of synchronous data flow graphs. Formal Methods in Computer Aided Design (FMCAD'06), 2006. ,
Throughput Analysis of Synchronous Data Flow Graphs, International Conference on Application of Concurrency to System Design (ACSD'06), pp.25-36, 2006. ,
Manycore processors for embedded computing ,
Static Scheduling for synchronous data flow graphs, Computers and Their Applications, vol.1, pp.38-43, 2007. ,
Synchronous dataflow, Proceedings of the IEEE, vol.75, pp.1235-1245, 1987. ,
Lucy-n: a n-synchronous extension of Lustre. Mathematics of Program Construction, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00545801
A sufficient condition for the liveness of weighted event graphs, European Journal of Operational Research, vol.197, issue.2, pp.532-540, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-01197183
Cyclic Scheduling for the Synthesis of Embedded Systems, pp.135-164, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-01297931
A hierarchical multiprocessor scheduling framework for synchronous dataflow graphs, 1995. ,
Embedded multiprocessors: Scheduling and synchronization, 2009. ,
Throughput-Buffering Trade-Off Exploration for Cyclo-Static and Synchronous Dataflow Graphs, IEEE Transactions on Computers, vol.57, issue.10, pp.1331-1345, 2008. ,
StreamIt: A language for streaming applications, Compiler Construction, pp.179-196, 2002. ,