. Il-serait-intéressant-de-permettre-au-concepteur-d, exprimer les libertés d'ordre sur les éléments des flux. Cela permettrait par exemple pour les flux dont l'ordre n'est pas important de relacher l'ordonnancement. Cela nécessiterait peut-être d'introduire de nouveaux noeuds SJD : par exemple

. Bibliographie-[-abc-+-06-]-k, R. Asanovic, B. C. Bodik, J. J. Catanzaro, P. Gebis et al., The landscape of parallel computing research : A view from berkeley, EECS Department, pp.2006-183, 2006.

P. [. Amar, P. Boulet, and . Dumont, Projection of the Array-OL Specification Language onto the Kahn Process Network Computation Model, 8th International Symposium on Parallel Architectures,Algorithms and Networks (ISPAN'05), p.6, 2005.
DOI : 10.1109/ISPAN.2005.70
URL : https://hal.archives-ouvertes.fr/inria-00565167

M. Andries, G. Engels, A. Habel, B. Hoffmann, H. Kreowski et al., Graph transformation for specification and programming, Science of Computer Programming, vol.34, issue.1, pp.1-54, 1999.
DOI : 10.1016/S0167-6423(98)00023-9

M. S. Amarasinghe, M. Gordon, J. Karczmarek, D. Lin, R. M. Maze et al., Language and Compiler Design for Streaming Applications, International Journal of Parallel Programming, vol.19, issue.2, pp.261-278, 2005.
DOI : 10.1007/s10766-005-3590-6

W. [. Ashcroft and . Wadge, Lucid, a nonprocedural language with iteration, Communications of the ACM, vol.20, issue.7, pp.519-526, 1977.
DOI : 10.1145/359636.359715

]. A. Bce-+-03, P. Benveniste, S. A. Caspi, N. Edwards, P. L. Halbwachs et al., The synchronous languages 12 years later, Proceedings of the IEEE, pp.64-83, 2003.

M. [. Bilsen, R. Engels, J. Lauwereins, and . Peperstraete, Cyclo-static data flow, 1995 International Conference on Acoustics, Speech, and Signal Processing, 1995.
DOI : 10.1109/ICASSP.1995.479579

J. Buck, S. Ha, E. A. Lee, and D. G. Messerschmitt, Ptolemy: A Framework for Simulating and Prototyping Heterogeneous Systems, International Journal of Computer Simulation, vol.4, issue.2, pp.155-182, 1994.
DOI : 10.1016/B978-155860702-6/50048-X

P. [. Bhattacharyya, E. A. Murthy, and . Lee, APGAN and RPMC : Complementary heuristics for translating DSP block diagrams into efficient software implementations . Design Automation for Embedded Systems, pp.33-60, 1997.

]. P. Bou07 and . Boulet, Array-OL revisited, multidimensional intensive signal processing specification, 2007.

. [. Black-schaffer, Block Parallel Programming for Real-Time Applications on Multicore Processors, 2008.

]. J. Buc93 and . Buck, Scheduling dynamic dataflow graphs with bounded memory using the token flow model, 1993.

A. A. Charfi, A. Gamatié, J. L. Honoré, M. Dekeyser, and . Abid, Validation de modèles dans un cadre d'IDM dédié à la conception de systèmes sur puce, 4èmes Jounées sur l'Ingénierie Dirigée par les Modèles (IDM 08), 2008.

Y. Choi, N. Lin, S. Chong, T. Mahlke, and . Mudge, Stream Compilation for Real-Time Embedded Multicore Systems, 2009 International Symposium on Code Generation and Optimization, pp.210-220, 2009.
DOI : 10.1109/CGO.2009.27
URL : http://cccp.eecs.umich.edu/papers/ychoi-cgo09.pdf

A. Stephen and . Cook, The complexity of theorem-proving procedures, STOC '71 : Proceedings of the third annual ACM symposium on Theory of computing, pp.151-158, 1971.

M. [. Chandrakasan, J. Potkonjak, R. Rabaey, and . Brodersen, An Approach For Power Minimization Using Transformations, Workshop on VLSI Signal Processing, pp.41-50, 1992.
DOI : 10.1109/VLSISP.1992.639171

P. M. Carpenter, A. Ramirez, and E. Ayguade, Mapping stream programs onto heterogeneous multiprocessor systems, Proceedings of the 2009 international conference on Compilers, architecture, and synthesis for embedded systems, CASES '09, pp.57-66, 2009.
DOI : 10.1145/1629395.1629406

A. [. Carpenter, E. Ramirez, and . Ayguade, Buffer Sizing for Self-timed Stream Programs on Heterogeneous Distributed Memory Multiprocessors, High Performance Embedded Architectures and Compilers, pp.96-110, 2010.
DOI : 10.1007/978-3-642-11515-8_9

J. [. Cooley and . Tukey, An algorithm for the machine calculation of complex Fourier series, Mathematics of Computation, vol.19, issue.90, pp.297-301, 1965.
DOI : 10.1090/S0025-5718-1965-0178586-1

F. Devin, P. Boulet, J. L. Dekeyser, and P. Marquet, GASPARD: a visual parallel programming environment, Proceedings. International Conference on Parallel Computing in Electrical Engineering, pp.145-150, 2002.
DOI : 10.1109/PCEE.2002.1115225

J. Steven, B. L. Deitz, L. Chamberlain, and . Snyder, Abstractions for dynamic data distribution, Proc. of the Workshop on High-Level Parallel Programming Models and Supportive Environments, 2004.

P. [. Duda and . Hart, Use of the Hough transformation to detect lines and curves in pictures, Communications of the ACM, vol.15, issue.1, pp.11-15, 1972.
DOI : 10.1145/361237.361242

[. Dershowitz and Z. Manna, Proving termination with multiset orderings, Communications of the ACM, vol.22, issue.8, 1979.
DOI : 10.1145/359138.359142

]. P. De-oliveira-castro, S. Louise, and D. Barthou, Design-Space Exploration of Stream Programs through Semantic-Preserving Transformations, p.447376, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00447376

]. P. De-oliveira-castro, S. Louise, and D. Barthou, A Multidimensional Array Slicing DSL for Stream Programming, 2010 International Conference on Complex, Intelligent and Software Intensive Systems, pp.913-918, 2010.
DOI : 10.1109/CISIS.2010.135
URL : https://hal.archives-ouvertes.fr/hal-00551572

]. P. De-oliveira-castro, S. Louise, and D. Barthou, Reducing memory requirements of stream programs by graph transformations, 2010 International Conference on High Performance Computing & Simulation, pp.171-180, 2010.
DOI : 10.1109/HPCS.2010.5547134
URL : https://hal.archives-ouvertes.fr/hal-00551584

P. De, O. Castro, S. Louise, and D. Barthou, Automatic mapping of stream programs on multicore architectures, Présentation au 15th Workshop on Compilers for Parallel Computing, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00551680

]. P. Dum05 and . Dumont, Spécification Multidimensionnelle pour le traitement du signal systématique, 2005.

O. [. Edwards and . Tardieu, SHIM, Proceedings of the 5th ACM international conference on Embedded software , EMSOFT '05, pp.854-867, 2006.
DOI : 10.1145/1086228.1086277

N. [. Edwards, O. Vasudevan, and . Tardieu, Programming shared memory multiprocessors with deterministic message-passing concurrency, Proceedings of the conference on Design, automation and test in Europe, DATE '08, pp.1498-1503, 2008.
DOI : 10.1145/1403375.1403735

]. P. Fea92a and . Feautrier, Some efficient solutions to the affine scheduling problem. Part I : Onedimensional time, International journal of parallel programming, vol.21, issue.5, pp.313-347, 1992.

]. P. Fea92b and . Feautrier, Some efficient solutions to the affine scheduling problem. Part II : Multidimensional time, International journal of parallel programming, vol.21, issue.5, pp.389-420, 1992.

M. [. Foroozannejad, T. L. Hashemi, S. Hodges, and . Ghiasi, Look into details, ACM SIGPLAN Notices, vol.45, issue.4, pp.27-36, 2010.
DOI : 10.1145/1755951.1755894

[. Group, Streamit benchmarks

I. Michael, W. Gordon, M. Thies, J. Karczmarek, A. S. Lin et al., A Stream Compiler for Communication-Exposed Architectures, Int. Conf. on Architectural Support for Programming Languages and Operating Systems, pp.291-303, 2002.

]. N. Hal98 and . Halbwachs, Synchronous programming of reactive systems, Computer Aided Verification, pp.1-16, 1998.

]. C. Hoa78 and . Hoare, Communicating sequential processes, Commun. ACM, vol.21, issue.8, pp.666-677, 1978.

R. W. Hockney, The communication challenge for MPP: Intel Paragon and Meiko CS-2, Parallel Computing, vol.20, issue.3, pp.389-398, 1994.
DOI : 10.1016/S0167-8191(06)80021-9

I. [. Jantsch and . Sander, Models of computation and languages for embedded system design, IEE Proceedings-Computers and Digital Techniques, pp.114-129, 2005.
DOI : 10.1049/ip-cdt:20045098

]. G. Kah74 and . Kahn, The semantics of a simple language for parallel programming, Information processing, pp.471-475, 1974.

. Kdk-+-01-]-b, W. J. Khailany, U. J. Dally, P. Kapasi, J. Mattson et al., Imagine : Media processing with streams, IEEE micro, vol.21, issue.2, pp.35-46, 2001.

G. Karypis and V. Kumar, A Fast and High Quality Multilevel Scheme for Partitioning Irregular Graphs, SIAM Journal on Scientific Computing, vol.20, issue.1, pp.359-392, 1998.
DOI : 10.1137/S1064827595287997

R. [. Karp and . Miller, Properties of a Model for Parallel Computations: Determinacy, Termination, Queueing, SIAM Journal on Applied Mathematics, vol.14, issue.6, pp.1390-1411, 1966.
DOI : 10.1137/0114108

[. Kudlur and S. Mahlke, Orchestrating the Execution of Stream Programs on Multicore Platforms, Proc. of the SIGPLAN conf. on Programming Language Design and Implementation, pp.114-124, 2008.

G. [. Lim, M. S. Cheong, and . Lam, An affine partitioning algorithm to maximize parallelism and minimize communication, Proceedings of the 13th international conference on Supercomputing , ICS '99, pp.228-237, 1999.
DOI : 10.1145/305138.305197

S. Liao, Z. Du, G. Wu, and G. Lueh, Data and Computation Transformations for Brook Streaming Applications on Multiprocessors, In Int. Symp. on Code Generation and Optimization, 2006.

[. Lee, The Problem with Threads, Computer, vol.39, issue.5, pp.33-42, 2006.
DOI : 10.1109/MC.2006.180

M. [. Lim and . Lam, Maximizing parallelism and minimizing synchronization with affine transforms, Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '97, p.214, 1997.
DOI : 10.1145/263699.263719

[. Lee and D. Messerschmitt, Synchronous data flow, Proceedings of the IEEE, pp.1235-1245, 1987.
DOI : 10.1109/PROC.1987.13876

T. Bruce and . Lowerre, The Harpy Speech Recognition System, 1976.

[. Lee and T. Parks, Dataflow process networks, Proceedings of the IEEE, pp.773-801, 1995.
DOI : 10.1109/5.381846

E. H. Munk, C. Ayguadé, P. Bastoul, Z. Carpenter, A. Chamski et al., Advanced Compiler Technologies for Embedded Streaming, International Journal of Parallel Programming, pp.1-54, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00551083

S. [. Murthy and . Bhattacharyya, Buffer merging---a powerful technique for reducing memory requirements of synchronous dataflow specifications, ACM Transactions on Design Automation of Electronic Systems, vol.9, issue.2, pp.212-237, 2004.
DOI : 10.1145/989995.989999

W. R. Mark, R. S. Glanville, K. Akeley, and M. J. Kilgard, Cg : A system for programming graphics hardware in a C-like language, ACM SIGGRAPH 2003 Papers, p.907, 2003.

]. R. Mil80 and . Milner, A calculus of communicating systems, Lecture Notes in Computer Science, vol.92, 1980.

]. G. Moo75 and . Moore, Progress in digital integrated electronics, Electron Devices Meeting, pp.11-13, 1975.

J. [. Milner, D. Parrow, and . Walker, A calculus of mobile processes, i. Information and Computation, pp.1-40, 1992.

]. J. Msa-+-85, S. Mcgraw, S. Skwdzielewsli, D. Allan, R. Grit et al., SISAL : streams and iteration in a single assignment languageversion 1.2. Language reference manual, 1985.

L. [. Olukotun and . Hammond, The future of microprocessors, Queue, vol.3, issue.7, p.29, 2005.
DOI : 10.1145/1095408.1095418

]. T. Por08 and . Portegys, General Graph Identification With Hashing, 2008.

]. W. Pot98 and . Pottenger, The role of associativity and commutativity in the detection and transformation of loop-level parallelism, Proceedings of the 12th international conference on Supercomputing, p.195, 1998.

J. [. Parks, E. A. Pino, and . Lee, A Comparison of Synchronous and Cycle-Static Dataflow The expressive power of indeterminate dataflow primitives, Asilomar Conf. on Signals, Systems and Computers, pp.99-131, 1992.

S. [. Quilleré and . Rajopadhye, Optimizing memory usage in the polyhedral model, ACM Transactions on Programming Languages and Systems (TOPLAS), vol.22, issue.5, pp.773-815, 2000.

]. B. Rau94 and . Rau, Iterative modulo scheduling : An algorithm for software pipelining loops, Proceedings of the 27th annual international symposium on Microarchitecture, pp.63-74, 1994.

D. [. Read, The graph isomorphism disease, Journal of Graph Theory, vol.7, issue.4, pp.339-363, 1977.
DOI : 10.1002/jgt.3190010410

C. [. Rabaey, P. Chu, M. Hoang, and . Potkonjak, Fast prototyping of datapath-intensive architectures, IEEE Design & Test of Computers, vol.8, issue.2, pp.40-51, 1991.
DOI : 10.1109/54.82037

]. D. Sco72 and . Scott, Continuous lattices. Toposes, algebraic geometry and logic, pp.97-136, 1972.

[. Stuijk, M. Geilen, and T. Basten, Throughput-Buffering Trade-Off Exploration for Cyclo-Static and Synchronous Dataflow Graphs, IEEE Transactions on Computers, vol.57, issue.10, pp.1331-1345, 2008.
DOI : 10.1109/TC.2008.58

]. J. Sou01 and . Soula, Principe de Compilation d'un Langage de Traitement de Signal, 2001.

W. [. Sermulins, R. Thies, S. Rabbah, and . Amarasinghe, Cache aware optimization of stream programs, ACM SIGPLAN Notices, vol.40, issue.7, p.126, 2005.

]. W. Thi09 and . Thies, Language and Compiler Support for Stream Programs, 2009.

J. [. Thies, S. Lin, and . Amarasinghe, Phased Computation Graphs in the Polyhedral Model, 2002.

]. A. Ugt09a, R. Udupa, and M. J. Govindarajan, Software pipelined execution of stream programs on GPUs, Proceedings of the 2009 International Symposium on Code Generation and Optimization, pp.200-209, 2009.

A. Udupa, R. Govindarajan, and M. J. Thazhuthaveetil, Synergistic execution of stream programs on multicores with accelerators, Proc. of the 2009 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems, pp.99-108, 2009.

A. K. Verma, P. Brisk, and P. Ienne, Data-Flow Transformations to Maximize the Use of Carry-Save Representation in Arithmetic Circuits, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.27, issue.10, pp.1761-1774, 2008.
DOI : 10.1109/TCAD.2008.2003280

J. [. Volkov, Benchmarking GPUs to tune dense linear algebra, 2008 SC, International Conference for High Performance Computing, Networking, Storage and Analysis, pp.1-11, 1995.
DOI : 10.1109/SC.2008.5214359

[. Wiggers, M. Bekooij, and G. Smit, Efficient computation of buffer capacities for cyclo-static dataflow graphs, Proceedings of the 44th annual conference on Design automation, DAC '07, pp.658-663, 2007.
DOI : 10.1145/1278480.1278647