A new approach for minimizing buffer capacities with throughput constraint for embedded system design, ACS/IEEE International Conference on Computer Systems and Applications -AICCSA 2010, pp.1-8, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00368648
Cyclo-static DataFlow Phases Scheduling Optimization for Buffer Sizes Minimization, Proceedings of the 16th International Workshop on Software and Compilers for Embedded Systems (M-SCOPES '13), pp.3-12, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-01216562
Cilk: An Efficient Multithreaded Runtime System, J. Parallel and Distrib. Comput, vol.37, pp.55-69, 1996. ,
LIBKOMP, an Efficient OpenMP Runtime System for Both Fork-join and Data Flow Paradigms, Proceedings of the 8th International Conference on OpenMP in a Heterogeneous World (IWOMP'12), pp.102-115, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00796253
, Concurrent Collections. Sci. Program, vol.18, pp.203-217, 2010.
The cascade high productivity language, Ninth International Workshop on High-Level Parallel Programming Models and Supportive Environments, 2004. ,
Habanero-Java: The New Adventures of Old X10, Proceedings of the 9th International Conference on Principles and Practice of Programming in Java (PPPJ '11), pp.51-61, 2011. ,
X10: An Object-oriented Approach to Nonuniform Cluster Computing, SIGPLAN Not, vol.40, pp.519-538, 2005. ,
Counting Solutions to Linear and Nonlinear Constraints Through Ehrhart Polynomials: Applications to Analyze and Transform Scientific Programs, Proceedings of the 10th International Conference on Supercomputing (ICS '96), pp.278-285, 1996. ,
URL : https://hal.archives-ouvertes.fr/hal-01100306
Static Analysis of OpenStream Programs, 6th International Workshop on Polyhedral Compilation Techniques (IMPACT'16), held with HIPEAC'16 (Proceedings of the IMPACT series). Michelle Strout and Tomofumi Yuki, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01251845
Dynamic optimization of data-flow task-parallel applications for large-scale NUMA systems, 2015. ,
URL : https://hal.archives-ouvertes.fr/tel-01258451
The Power of Polynomials, 5th International Workshop on Polyhedral Compilation Techniques (IMPACT'15), 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01094787
On Polynomial Code Generation, 8th International Workshop on Polyhedral Compilation Techniques (IMPACT'18, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01958096
Exploiting Coarse-grained Task, Data, and Pipeline Parallelism in Stream Programs, SIGPLAN Not, vol.41, pp.151-162, 2006. ,
?C: A Programming Model and Language for Embedded Manycores, Algorithms and Architectures for Parallel Processing, 2011. ,
, , pp.385-394
The Manchester Prototype Dataflow Computer, Commun. ACM, vol.28, pp.34-52, 1985. ,
The semantics of a simple language for parallel programming. In Information processing, pp.471-475, 1974. ,
A Productive Programming Environment for Stream Computing, Proceedings of the 2nd Second Workshop on Productivity and Performance in High-End Computing, 2005. ,
Dataflow Architectures and Multithreading, Computer, vol.27, pp.27-39, 1994. ,
A Buffer Minimization Problem for the Design of Embedded Systems, European Journal of Operational Research, vol.164, pp.669-679, 2005. ,
URL : https://hal.archives-ouvertes.fr/hal-01195968
, OpenMP Application Program Interface Version, OpenMP Architecture Review Board, 2008.
Bounded Scheduling of Process Networks, Ph.D. Dissertation. Berkeley, CA, USA. UMI Order, pp.96-21312, 1995. ,
A comparison of synchronous and cycle-static dataflow, Conference Record of The Twenty-Ninth Asilomar Conference on Signals, vol.1, pp.204-210, 1995. ,
Hierarchical Task-Based Programming With StarSs, Int. J. High Perform. Comput. Appl, vol.23, pp.284-299, 2009. ,
Control-Driven Data Flow, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00717906
OpenStream: Expressiveness and Data-flow Compilation of OpenMP Streaming Programs, ACM Trans. Archit. Code Optim, vol.9, p.53, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00786675
An algorithmic approach to Schmüdgen's Positivstellensatz, Journal of Pure and Applied Algebra, vol.166, pp.307-319, 2002. ,
StreamIt: A Language for Streaming Applications, Proceedings of the 11th International Conference on Compiler Construction (CC '02), 2002. ,
, , pp.179-196
Polyhedral Process Networks, pp.931-965, 2010. ,
Counting Integer Points in Parametric Polytopes Using Barvinok's Rational Functions, Algorithmica, vol.48, pp.37-66, 2007. ,