D. De-saint-jorre, ingénieuringénieur`ingénieurà l'IETR, a d'ailleurs commencé une génération de code multi-plateformes basée sur ce modèle d'architecture

R. The, Version of the PSDF graph of Fig. 2.5, p.35

M. Normative, 126 7.5 Proprietary description of an MPEG-4 part 2 Simple Profile decoder. 127 7.6 Implementation of an RVC-CAL Actor in C, p.131

P. Publications, [. Gjb-+-09, ]. R. Gu, J. W. Janneck, S. S. Bhattacharyya et al., Exploring the concurrency of an MPEG RVC decoder based on dataflow program analysis, IEEE Transactions on Circuits and Systems for Video Technology, issue.11, p.19, 2009.

[. Gorin, M. Wipliez, F. Prêteux, and M. Raulet, A portable Video Tool Library for MPEG Reconfigurable Video Coding using LLVM representation, 2010 Conference on Design and Architectures for Signal and Image Processing (DASIP), 2010.
DOI : 10.1109/DASIP.2010.5706263
URL : https://hal.archives-ouvertes.fr/hal-00565298

[. Gorin and M. Wipliez, Françoise Prêteux, and Mickaël Raulet. An LLVM-based decoder for MPEG Reconfigurable Video Coding, IEEE workshop on Signal Processing Systems (SiPS), 2010.

[. Gorin, M. Wipliez, F. Prêteux, and M. Raulet, LLVM-based and scalable MPEG-RVC decoder, Journal of Real-Time Image Processing, vol.83, issue.5, pp.1-12
DOI : 10.1007/s11554-010-0169-2
URL : https://hal.archives-ouvertes.fr/hal-00560026

I. J. Janneck, D. B. Miller, G. Parlour, M. Roquier, M. Wipliez et al., Synthesizing Hardware from Dataflow Programs, IEEE workshop on Signal Processing Systems (SiPS), pp.287-292, 2008.
DOI : 10.1007/s11265-009-0397-5
URL : https://hal.archives-ouvertes.fr/hal-00407947

M. [. Janneck, M. Mattavelli, M. Raulet, and . Wipliez, Reconfigurable video coding, Proceedings of the first annual ACM SIGMM conference on Multimedia systems, MMSys '10, pp.223-234, 2010.
DOI : 10.1145/1730836.1730864
URL : https://hal.archives-ouvertes.fr/hal-00566149

M. K. Jerbi, M. Wipliez, O. Raulet, M. Déforges, M. Babel et al., Fast Hardware Implementation of an Hadamard Transform Using RVC-CAL Dataflow Programming, 2010 5th International Conference on Embedded and Multimedia Computing, 2010.
DOI : 10.1109/EMC.2010.5575731
URL : https://hal.archives-ouvertes.fr/hal-00502234

C. Lucarz, M. Mattavelli, M. Wipliez, G. Roquier, M. Raulet et al., Dataflow/Actor-Oriented language for the design of complex signal processing systems, Design and Architectures for Signal and Image Processing (DASIP), 2008.
URL : https://hal.archives-ouvertes.fr/hal-00336520

. Ppw-+-09-]-m, J. Pelcat, M. Piat, S. Wipliez, J. F. Aridhi et al., An open framework for rapid prototyping of signal processing applications, EURASIP Journal on Embedded Systems, p.3, 2009.

G. Roquier, C. Lucarz, M. Mattavelli, M. Wipliez, M. Raulet et al., An integrated environment for HW/SW co-design based on a CAL specification and HW/SW code generators, 2009 IEEE International Symposium on Circuits and Systems, p.799, 2009.
DOI : 10.1109/ISCAS.2009.5117876
URL : https://hal.archives-ouvertes.fr/hal-00440497

M. Raulet, J. W. Janneck, I. D. Miller, and D. B. Parlour, Automatic software synthesis of dataflow program: An MPEG-4 simple profile decoder case study, IEEE workshop on Signal Processing Systems (SiPS), pp.281-286, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00336516

[. Siret and M. Wipliez, Jean-François Nezan, and Aimad Rhatay. Hardware code generation from dataflow programs, Design and Architectures for Signal and Image Processing, 2010.

M. Wipliez and M. Raulet, Classification and transformation of dynamic dataflow programs, 2010 Conference on Design and Architectures for Signal and Image Processing (DASIP), 2010.
DOI : 10.1109/DASIP.2010.5706280
URL : https://hal.archives-ouvertes.fr/hal-00565290

[. Wipliez, G. Roquier, and J. Nezan, Software Code Generation for the RVC-CAL Language, Journal of Signal Processing Systems, vol.29, issue.12, 2009.
DOI : 10.1007/s11265-009-0390-z
URL : https://hal.archives-ouvertes.fr/hal-00407950

M. Wipliez, G. Roquier, M. Raulet, J. Nezan, and O. Déforges, Code generation for the MPEG Reconfigurable Video Coding framework: From CAL actions to C functions, 2008 IEEE International Conference on Multimedia and Expo, pp.1049-1052, 2008.
DOI : 10.1109/ICME.2008.4607618
URL : https://hal.archives-ouvertes.fr/hal-00336487

M. Contributions, [. Décologne, M. Raulet, G. Roquier, M. Wipliez et al., M15420: RVC Conformance Testing of a Functional Unit using Open Dataflow and, 2008.

W. Jörn, D. Janneck, I. Parlour, M. Miller, M. Wipliez et al., M15386: CAL profile for HW/SW code generators of the RVC framework, 2008.

[. Lagalaye, M. Raulet, M. Wipliez, M. Mattavelli, and R. Wg11, M17839: Debug and development support tools for, 2010.

M. Rpr-+-07-]-ghislain-roquier, M. Pelcat, M. Raulet, J. Wipliez, O. Nezan et al., M14457: A scheme for implementing MPEG-4 SP codec in the RVC framework, ISO/IEC JTC1/SC29/WG11, 80th MPEG Meeting Document Register, 2007.

G. Raulet, M. Roquier, J. Wipliez, O. Nezan, and . Déforges, M15167: Update of CAL2C code generation, ISO/IEC JTC1/SC29/WG11, 83rd MPEG Meeting Document Register, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00689966

M. Raulet and M. Wipliez, M16700: Extension of Cal2C in a new compiler infrastructure called ORCC, ISO/IEC JTC1/SC29/WG11, 89th MPEG Meeting Document Register, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00688894

M. Raulet, J. W. Wipliez, and . Janneck, M16333: FU Parametrization and FU code generation, ISO/IEC JTC1/SC29/WG11, 88th MPEG Meeting Document Register, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00688895

[. Wipliez, J. Piat, and M. Raulet, M15680: DDL graphical editor, ISO/IEC JTC1/SC29/WG11, 85th MPEG Meeting Document Register, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00689967

M. Wipliez and M. Raulet, M18346: Automatic classification of FUs, ISO/IEC JTC1/SC29/WG11, 94th MPEG Meeting Document Register, 2010.

[. Wipliez, M. Raulet, J. Gorin, and N. Siret-cal, M18345: Addendum: Specification of typing rules for RVC

[. Wipliez, M. Raulet, and J. Nezan, M16145: Proposed changes for RVC-CAL annex A of ISO-IEC 23001-4, ISO/IEC JTC1/SC29/WG11, 87th MPEG Meeting Document Register, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00688898

[. Wipliez, M. Raulet, and J. Piat, M15870: Editing a RVC FU network using a GUI called Graphiti, ISO/IEC JTC1/SC29/WG11, 86th MPEG Meeting Document Register, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00689969

M. Wipliez, G. Roquier, M. Raulet, J. Nezan, M. Mattavelli et al., M14981: Status of CAL2C code generation, ISO/IEC JTC1/SC29/WG11, 82nd MPEG Meeting Document Register, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00696467

M. Wipliez, M. Raulet, G. Roquier, J. Nezan, and O. Déforges, M15382: A fast simulation of RVC MPEG4 SP decoder using Cal2C code generation, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00689972

. [. Bibliography, N. Aycock, and . Horspool, Simple generation of static singleassignment form, Compiler Construction, pp.110-125, 2000.

]. K. Anvp10, A. Arzén, C. Nilsson, ]. A. Von-platenasu86, R. Aho et al., Model Compiler Compilers: principles, techniques , and tools, 1986.

A. [. Bansal and . Aiken, Automatic generation of peephole superoptimizers, ACM SIGOPS Operating Systems Review, vol.40, issue.5, pp.394-403, 2006.
DOI : 10.1145/1168917.1168906

]. R. Bar98 and . Bardohl, A Generic Graphical Editor for Visual Languages based on Algebraic Graph Grammars, Proc. IEEE Symp. Visual Languages, pp.48-55, 1998.

S. Shuvra, G. Bhattacharyya, J. W. Brebner, J. Janneck, . Eker et al., OpenDF: a dataflow toolset for reconfigurable hardware and multicore systems, SIGARCH Comput. Archit. News, issue.5, pp.3629-3664, 2008.

[. Bhattacharya, S. S. Bhattacharyya, and S. Member, Parameterized dataflow modeling for DSP systems, IEEE Transactions on Signal Processing, vol.49, issue.10, pp.2408-2421, 2001.
DOI : 10.1109/78.950795

K. [. Briggs and . Cooper, Effective partial redundancy elimination

K. [. Briggs, T. J. Cooper, L. T. Harvey, and . Simpson, Practical improvements to the construction and destruction of static single assignment form. Software: Practice and Experience, pp.859-881, 1998.

K. [. Briggs, L. Cooper, and . Torczon, Improvements to graph coloring register allocation, ACM Transactions on Programming Languages and Systems, vol.16, issue.3, p.455, 1994.
DOI : 10.1145/177492.177575

. Bdr-+-09-]-b, A. Boissinot, F. Darte, B. D. Rastello, C. De-dinechin et al., Revisiting out-of-SSA translation for correctness, code quality and efficiency, Proceedings of the 2009 International Symposium on Code Generation and Optimization, pp.114-125, 2009.

M. Eiglsperger, I. Herman, M. Himsolt, and M. Marshall, GraphML Progress Report Structural Layer Proposal, Graph Drawing, pp.109-112, 2002.

M. [. Bilsen, R. Engels, J. Lauwereins, and . Peperstraete, Cycle-static dataflow, IEEE Transactions on Signal Processing, vol.44, issue.2, pp.397-408, 1996.
DOI : 10.1109/78.485935

]. V. Ber06 and . Berman, Standards: The P1685 IP-XACT IP Metadata Standard, IEEE Design & Test of Computers, vol.23, issue.4, pp.316-317, 2006.

A. Benveniste, P. L. Guernic, and C. Jacquemot, Synchronous programming with events and relations: the SIGNAL language and its semantics, Science of Computer Programming, vol.16, issue.2, pp.103-149, 1991.
DOI : 10.1016/0167-6423(91)90001-E

. D. Bjk-+-95-]-r, C. F. Blumofe, B. C. Joerg, C. E. Kuszmaul, K. H. Leiserson et al., Cilk: An efficient multithreaded runtime system, Proceedings of the fifth ACM SIGPLAN symposium on Principles and practice of parallel programming, pp.207-216, 1995.

E. [. Buck and . Lee, Scheduling dynamic dataflow graphs with bounded memory using the token flow model, IEEE International Conference on Acoustics Speech and Signal Processing, pp.429-432, 1993.
DOI : 10.1109/ICASSP.1993.319147

]. J. Bll-+-08, C. Boutellier, S. Lucarz, V. M. Lafond, M. Gomez et al., Quasi-static scheduling of CAL actor networks for reconfigurable video coding, Journal of Signal Processing Systems, pp.1-12, 2008.

H. [. Brandis and . Mössenböck, Single-pass generation of static single-assignment form for structured languages, ACM Transactions on Programming Languages and Systems, vol.16, issue.6, p.1698, 1994.
DOI : 10.1145/197320.197331

[. Bezati, M. Mattavelli, and M. Raulet, RVC-CAL dataflow implementations of MPEG AVC/H.264 CABAC decoding, 2010 Conference on Design and Architectures for Signal and Image Processing (DASIP), 2010.
DOI : 10.1109/DASIP.2010.5706266
URL : https://hal.archives-ouvertes.fr/hal-00565297

M. M. Brandis, Optimizing compilers for structured programming languages, 1995.

. J. Cac-+-81-]-g, M. A. Chaitin, A. K. Auslander, J. Chandra, M. E. Cocke et al., Register allocation via coloring, Computer Languages, pp.47-57, 1981.

R. [. Cousot and . Cousot, Abstract interpretation, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '77, pp.238-252, 1977.
DOI : 10.1145/512950.512973
URL : https://hal.archives-ouvertes.fr/inria-00528590

R. [. Choi, J. Cytron, and . Ferrante, Automatic construction of sparse data flow evaluation graphs, Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '91, pp.55-66, 1991.
DOI : 10.1145/99583.99594

S. F. Chow, R. Chan, S. M. Kennedy, R. Liu, P. Lo et al., A new algorithm for partial redundancy elimination based on SSA form, Proceedings of the ACM SIGPLAN 1997 conference on Programming language design and implementation, p.286, 1997.

J. [. Cytron and . Ferrante, Efficiently computing ??-nodes on-the-fly, ACM Transactions on Programming Languages and Systems, vol.17, issue.3, pp.487-506, 1995.
DOI : 10.1145/203095.203099

. Cfr-+-91-]-r, J. Cytron, B. K. Ferrante, M. N. Rosen, F. K. Wegman et al., Efficiently computing static single assignment form and the control dependence graph, ACM Transactions on Programming Languages and Systems (TOPLAS), vol.13, issue.4, p.490, 1991.

J. [. Carter, C. Ferrante, and . Thomborson, Folklore confirmed: reducible flow graphs are exponentially larger, Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp.106-114, 2003.

J. [. Chow and . Hennessy, Register allocation by priority-based coloring, Proceedings of the 1984 SIGPLAN symposium on Compiler construction, pp.222-232, 1984.

C. [. Cordy, E. Halpern-hamu, and . Promislow, TXL: A rapid prototyping system for programming language dialects, Computer Languages, vol.16, issue.1, pp.97-107, 1991.
DOI : 10.1016/0096-0551(91)90019-6

A. J. Cortadella, L. Kondratyev, C. Lavagno, Y. Passerone, and . Watanabe, Quasi-static scheduling of independent tasks for reactive systems, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, issue.10, pp.241492-1514, 2005.

]. C. Cli95 and . Click, Global code motion/global value numbering, ACM SIGPLAN Notices, vol.30, issue.6, pp.246-257, 1995.

R. [. Cocke and . Miller, Some analysis techniques for optimizing computer programs, Proc. 2nd Hawaii International Conference on System Sciences, pp.143-146, 1969.

J. Cocke, Global common subexpression elimination, ACM SIGPLAN Notices, vol.5, issue.7, pp.20-24, 1970.
DOI : 10.1145/390013.808480

]. J. Den74 and . Dennis, First version of a data flow procedure language, Programming Symposium, pp.362-376, 1974.

]. P. Deu96 and . Deutsch, RFC 1952: GZIP file format specification version 4.3. Internet Engineering Task Force (IETF), 1996.

L. Damas and R. Milner, Principal type-schemes for functional programs, Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '82, pp.207-212, 1982.
DOI : 10.1145/582153.582176

R. [. Dagum and . Menon, OpenMP: an industry standard API for shared-memory programming, IEEE Computational Science and Engineering, vol.5, issue.1, pp.46-55, 2002.
DOI : 10.1109/99.660313

J. [. Desrivì-eres and . Wiegand, Eclipse: A platform for integrating development tools, IBM Systems Journal, vol.43, issue.2, pp.371-383, 2004.
DOI : 10.1147/sj.432.0371

C. [. Ehrig, S. Ermel, G. Hänsgen, and . Taentzer, Generation of visual editors as eclipse plug-ins, Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering , ASE '05, p.143, 2005.
DOI : 10.1145/1101908.1101930

]. J. Ejl-+-03, J. W. Eker, E. A. Janneck, J. Lee, X. Liu et al., Taming heterogeneity-the Ptolemy approach, Proceedings of the IEEE, pp.127-144, 2003.

[. Zürich, Moses project

~. , /. S. Efftinge, and M. Völter, oAW xText: A framework for textual DSLs, Workshop on Modeling Symposium at Eclipse Summit, 2006.

L. [. Gagnon and . Hendren, SableCC, an object-oriented compiler framework, Proceedings. Technology of Object-Oriented Languages. TOOLS 26 (Cat. No.98EX176), 1998.
DOI : 10.1109/TOOLS.1998.711009
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.37.7150

E. [. Gropp, A. Lusk, and . Skjellum, Using MPI: portable parallel programming with the message passing interface, 1999.

P. [. Halbwachs, P. Caspi, D. Raymond, and . Pilaud, The synchronous data flow programming language LUSTRE, Proceedings of the IEEE, pp.1305-1320, 2002.
DOI : 10.1109/5.97300

]. L. Hde-+-93, C. Hendren, M. Donawa, G. Emami, B. Gao et al., Designing the McCAT compiler based on a family of structured intermediate representations. Languages and Compilers for Parallel Computing, pp.406-420, 1993.

W. Haid, L. Schor, K. Huang, I. Bacivarov, and L. Thiele, Efficient execution of Kahn process networks on multi-processor systems using protothreads and windowed FIFOs, 2009 IEEE/ACM/IFIP 7th Workshop on Embedded Systems for Real-Time Multimedia, pp.35-44, 2009.
DOI : 10.1109/ESTMED.2009.5336828

[. Fdis, (E) Information technology ? MPEG video technologies ? Part 2: Fixed-point 8x8 inverse discrete cosine transform and discrete cosine transform, 2007.

[. Fdis, MPEG systems technologies ? Part 4: Codec Configuration Representation, pp.23001-23005, 2009.

]. J. Jan97 and . Janneck, Graph-type definition language (GTDL)?specification. Moses project, 1997.

H. [. Janssen and . Corporaal, Controlled Node Splitting, Compiler Construction, pp.44-58, 1996.
DOI : 10.1007/3-540-61053-7_52
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.52.9609

W. Jörn, R. Janneck, and . Esser, A predicate-based approach to defining visual language syntax, HCC '01: Proceedings of the IEEE 2001 Symposia on Human Centric Computing Languages and Environments (HCC'01), p.40, 2001.

]. S. Joh76 and . Johnson, YACC-yet another compiler-compiler, 1976.

N. [. Jones, F. Ramsey, and . Reig, C-???: A Portable Assembly Language that Supports Garbage Collection, Principles and Practice of Declarative Programming, pp.1-28, 1999.
DOI : 10.1007/10704567_1

]. G. Kah74 and . Kahn, The semantics of a simple language for parallel programming, Proceedings of IFIP'74, pp.471-475, 1974.

]. G. Kil73, A unified approach to global program optimization, Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages, pp.194-206, 1973.

]. V. Kod04 and . Kodaganallur, Incorporating language processing into Java applications: A JavaCC tutorial, IEEE software, pp.70-77, 2004.

S. [. Krasner and . Pope, A cookbook for using the model-view controller user interface paradigm in Smalltalk-80, Journal of Objectoriented programming, vol.1, issue.3, p.49, 1988.

K. Knobe and V. Sarkar, Array SSA form and its use in parallelization, Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '98, pp.107-120, 1998.
DOI : 10.1145/268946.268956

C. Lattner and V. Adve, Llvm: A compilation framework for lifelong program analysis & transformation. Code Generation and Optimization, IEEE/ACM International Symposium on, p.75, 2004.

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

I. [. Mattavelli, M. Amer, and . Raulet, The Reconfigurable Video Coding Standard [Standards in a Nutshell, IEEE Signal Processing Magazine, vol.27, issue.3, pp.159-167, 2010.
DOI : 10.1109/MSP.2010.936032
URL : https://hal.archives-ouvertes.fr/hal-00488661

C. [. Morel and . Renvoise, Global optimization by suppression of partial redundancies, Communications of the ACM, vol.22, issue.2, pp.96-103, 1979.
DOI : 10.1145/359060.359069

G. [. Minas and . Viehstaedt, DiaGen: a generator for diagram editors providing direct manipulation and execution of diagrams, Proceedings of Symposium on Visual Languages, pp.203-210, 1995.
DOI : 10.1109/VL.1995.520810

]. U. Mü93 and . Müller, brainfuck ? an eight-instruction turing-complete programming language Available at the Internet address http, 1993.

. C. Nch-+-05-]-g, J. Necula, M. Condit, S. Harren, W. Mcpeak et al., CCured: Type-safe retrofitting of legacy software, ACM Transactions on Programming Languages and Systems (TOPLAS), vol.27, issue.3, pp.477-526, 2005.

S. [. Necula, S. Mcpeak, W. Rahul, and . Weimer, CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs, Compiler Construction, pp.209-265, 2002.
DOI : 10.1007/3-540-45937-5_16

C. G. Nevill-manning and I. H. Witten, Identifying hierarchical structure in sequences: A linear-time algorithm, Journal of Artificial Intelligence Research, vol.7, issue.1, pp.67-82, 1997.

T. M. Parks, Bounded Scheduling of Process Networks, 1995.

T. Parr, Enforcing strict model-view separation in template engines, Proceedings of the 13th conference on World Wide Web , WWW '04, pp.224-233, 2004.
DOI : 10.1145/988672.988703

]. T. Par06 and . Parr, A functional language for generating structured text, 2006.

]. J. Pat95 and . Patterson, Accurate static branch prediction by value range propagation, ACM SIGPLAN Notices, vol.30, issue.6, pp.67-78, 1995.

G. [. Pingali and . Bilardi, APT: A data structure for optimal control dependence computation, Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation, pp.32-46, 1995.

R. [. Parr and . Quong, ANTLR: A predicated-LL (k) parser generator . Software: Practice and Experience, pp.789-810, 1995.

V. [. Poletto and . Sarkar, Linear scan register allocation, ACM Transactions on Programming Languages and Systems, vol.21, issue.5, pp.895-913, 1999.
DOI : 10.1145/330249.330250
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.27.2462

G. [. Sreedhar and . Gao, A linear time algorithm for placing &phgr;-nodes, Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp.62-73, 1995.

R. [. Sreedhar, D. Ju, V. Gillies, and . Santhanam, Translating out of static single assignment form. Static Analysis, pp.849-849, 1999.

F. [. Stitt and . Vahid, New decompilation techniques for binary-level co-processor generation, ICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005., pp.547-554, 2005.
DOI : 10.1109/ICCAD.2005.1560127

S. Staiger, G. Vogel, S. Keul, and E. Wiebe, Interprocedural Static Single Assignment Form, 14th Working Conference on Reverse Engineering (WCRE 2007), pp.1-10, 2007.
DOI : 10.1109/WCRE.2007.31
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.149.7830

J. D. Valois, Lock-free linked lists using compare-and-swap, Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing , PODC '95, p.222, 1995.
DOI : 10.1145/224964.224988
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.41.9506

. Vrcg-+-99-]-r, P. Vallée-rai, E. Co, L. Gagnon, P. Hendren et al., Soot -a Java bytecode optimization framework, Proceedings of the 1999 conference of the Centre for Advanced Studies on Collaborative research, p.13, 1999.

M. [. Wauters, R. Engels, J. Lauwereins, and . Peperstraete, Cyclodynamic dataflow, p.319, 1996.

]. L. Wer02 and . Wernli, Design and implementation of a code generator for the CAL actor language, 2002.

. P. Wfw-+-94-]-r, R. S. Wilson, C. S. French, S. P. Wilson, J. M. Amarasinghe et al., SUIF: An infrastructure for research on parallelizing and optimizing compilers, ACM Sigplan Notices, issue.12, pp.2931-2968, 1994.

]. N. Wir83 and . Wirth, Programming in MODULA-2, 1983.

]. N. Wir88 and . Wirth, The programming language Oberon. Software: Practice and Experience, pp.671-690, 1988.

W. [. West and . Kahl, A Generic Graph Transformation, Visualisation , and Editing Framework in Haskell, 8th International Workshop on Graph Transformation and Visual Modeling Techniques, 2009.

S. [. Wulf and . Mckee, Hitting the memory wall, ACM SIGARCH Computer Architecture News, vol.23, issue.1, pp.20-24, 1995.
DOI : 10.1145/216585.216588

F. [. Wegman and . Zadeck, Constant propagation with conditional branches, ACM Transactions on Programming Languages and Systems, vol.13, issue.2, pp.181-210, 1991.
DOI : 10.1145/103135.103136

C. Zebelein, J. Falk, C. Haubelt, and J. Teich, Classification of General Data Flow Actors into Known Models of Computation, 2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design, pp.119-128, 2008.
DOI : 10.1109/MEMCOD.2008.4547699

]. G. Zho04 and . Zhou, Dynamic dataflow modeling in Ptolemy II, 2004.

H. [. Zeigler, T. G. Praehofer, and . Kim, Theory of modeling and simulation, 2000.