.. Contraintes-pour-une-version-multicible-de-legolas++, 107 5.2.1 L'expérience MTPS : rappel des contraintes pour un code multicible

.. Bande-symétrique, 121 6.1.1 Structure de la matrice A et paramètres du problème, Premier cas : les blocs ont une structure

E. «. R&d, Site internet de code-aster

F. Archambeau, M. Sakiz, and N. Mehitoua, « Code saturne : A finite volume code for turbulent flows, International Journal On Finite Volumes, vol.1, issue.1, p.62, 2004.

E. «. R&d, Site internet de code-saturne ». http://www.code-saturne.org

E. «. R&d, Site internet de syrthes

J. Texeraud, M. Hypolite, and S. Marguet, « Coccinelle v3.9 : manuel d'utilisation ». Note Interne n o HI27-2010-00010, 2010.

M. Guillo and Y. , Pora et D. Couyras, « Documentation utilisateur de la version 1, 2009.

A. Arnaud, E. Derocquigny, J. Gaussot, and C. Duquennoy, « Calcul d'incertitudes : illustration des opportunités de réduction de conservatismes grâce au calcul haute performance ». Note Interne n o H-T56-2008-00373-FR, EDF R&D, 2008.

P. Vezolle, S. Vialle, and X. Warin, « Large Scale Experiment and Optimization of a Distributed Stochastic Control Algorithm Application to Energy Management Problems. », dans International workshop on Large-Scale Parallel Processing, 2009.

C. Makassikis, S. Vialle, and X. Warin, Distribution of a Stochastic Control Algorithm Applied to Gas Storage Valuation, 2007 IEEE International Symposium on Signal Processing and Information Technology, pp.493-498
DOI : 10.1109/ISSPIT.2007.4458002

URL : https://hal.archives-ouvertes.fr/hal-00246680

O. Boiteau, « Indicateurs de performance d'un calcul (temps/mémoire), Documentation Code_Aster n o U1.03.03 r4223, EDF R&D, 2010.

O. Boiteau, Notice d'utilisation du parallélisme ». Documentation Code_Aster n o U2, EDF R&D, 2011.

C. Moulinec, C. Denis, and C. Pham, TELEMAC: An efficient hydrodynamics suite for massively parallel architectures, Computers & Fluids, vol.51, issue.1, pp.30-34, 2011.
DOI : 10.1016/j.compfluid.2011.07.003

URL : https://hal.archives-ouvertes.fr/hal-00678557

A. Bretault, T. Jouhanique, and . Code-coccinelle, Implication du module de thermohydrolique et optimisation du temps de calcul ». Note Interne n o HT-10, 1992.

M. Guillo, Y. Pora, F. Hoareau, and D. Couyras, « Note de vérification et de validation de la version 1.1 du code cocagne ». Note Interne n o HI27-2010-03511-FR, EDF R&D, pp.3-4, 2010.

M. Guillo, F. Hoareau, D. Couyras, and E. R&d, Ètude de faisabilité d'un calcul 3d de coeur crayon par crayon avec le code de coeur cocagne ». Note Interne n o, pp.3-4, 1726.

S. Marguet, La physique des réacteurs nucléaires, pp.3-4, 2011.

F. Hoareau and «. Cocagne, impact des éléments finis RTk différents par direction sur les calculs crayon par crayon 3D ». Note Interne n o CR-I27, 2009.

M. Barrault, « Performances de la version 1.0.3 de cocagne (séquentiel) sur deux stations de travail, Compte Rendu interne n o CR-I23-2010-033, EDF R&D, 2010.

E. Gelbard, Simplified Spherical Harmonics Equations and Their Use in Shielding Problems ». Rapport technique n o WAPD-T-1182 (Rev. 1), Westinghouse Electric Corp, pp.4-93, 1961.

E. Lewis, W. Miller, and . Jr, Computational methods of neutron transport, 1993.

B. Lathuilière, Méthode de décomposition de domaine pour les équations du transport simplifié en neutronique, Thèse de doctorat, LaBRI, pp.4-93, 2010.

P. Guérin, Méthodes de décomposition de domaine pour la formulation mixte duale du problème critique de la diffusion des neutrons, Thèse de doctorat, 2007.

B. Carlson, Solution of the transport equations by s n approximations ». Rapport technique n o LA-1599, 1953.

J. Askew, « A charasteristic formulation of the neutron transport equation in complicated geometries, 1108.

M. Halsall and «. Cactus, a charasteristic solution to the neutron transport equation in complicated geometries ». Rapport technique n o AEEW-R 1291, Atomic Energy Establishment, 1980.

S. Hong, N. Cho, and . Crx, CRX: A code for rectangular and hexagonal lattices based on the method of characteristics, Annals of Nuclear Energy, vol.25, issue.8, pp.547-565, 1998.
DOI : 10.1016/S0306-4549(97)00113-8

F. Févotte, Techniques de traçage pour la méthode des caractéristiques appliquée à la résolution de l'équation du transport des neutrons en domaines multi-dimensionnels, Thèse de doctorat, 2009.

H. Joo, J. Cho, and K. Kim, « Methods and performance of a three-dimensional whole-core transport code decart », dans Proceedings of PHYSOR 2004 -The Physics of Fuel Cycles and Advanced Nuclear Systems : Global Developments, 2009.

M. Dahmani and R. Roy, Parallel Solver Based on the Three-Dimensional Characteristics Method: Design and Performance Analysis, Nuclear Science and Engineering, vol.21, issue.2, 2005.
DOI : 10.1016/0306-4549(94)90067-1

M. Smith, W. Marin-lafleche, and . Yang, « Method of Characteristics Development Targeting the High Performance Blue Gene, dans Proceedings of International Conference on Mathematics and Computational Methods Applied to Nuclear Science and Engineering, 2011.

M. Barrault, B. Lathuilière, P. Ramet, and J. Roman, « A Non Overlapping Parallel Domain Decomposition Method Applied to The Simplified Transport Equations, dans Proceedings of Mathematics, Computational Methods & Reactor Physics, 2009.

W. Kirschenmann, L. Plagne, and S. Vialle, on Multi-Core CPUS and Many-Core GPUS, Transport Theory and Statistical Physics, vol.23, issue.1, pp.255-281, 2010.
DOI : 10.1145/216585.216588

URL : https://hal.archives-ouvertes.fr/hal-00556812

M. Barrault, B. Lathuilière, P. Ramet, and J. Roman, Efficient parallel resolution of the simplified transport equations in mixed-dual formulation, Journal of Computational Physics, vol.230, issue.5, pp.2004-2020, 2011.
DOI : 10.1016/j.jcp.2010.11.047

URL : https://hal.archives-ouvertes.fr/hal-00547406

J. Texeraud and M. Hypolite, « Cahier des charges négocié contractuel coccinelle v3.10 ». Note Interne n o HI27-2010-097, 2010.

C. L. Lawson and . Background, Motivation, and a Retrospective View of the BLAS, Rapport technique, SIAM, 1999.

C. L. Lawson, R. J. Hanson, and F. T. Krogh, « A proposal for standard linear algebra subprograms, ACM SIGNUM Newsletter, vol.8, 1973.

C. L. Lawson, R. J. Hanson, D. R. Kincaid, and F. T. Krogh, Basic Linear Algebra Subprograms for Fortran Usage, Basic linear algebra subprograms for fortran usage, pp.308-323, 1979.
DOI : 10.1145/355841.355847

J. J. Dongarra and S. C. Eisenstat, Squeezing the most out of an algorithm in CRAY FORTRAN, ACM Transactions on Mathematical Software, vol.10, issue.3, pp.219-230, 1984.
DOI : 10.1145/1271.319413

J. J. Dongarra, J. D. Croz, S. Hammarling, and R. J. Hanson, A proposal for an extended set of Fortran Basic Linear Algebra Subprograms, ACM SIGNUM Newsletter, vol.20, issue.1, pp.2-18, 1985.
DOI : 10.1145/1057935.1057936

J. J. Dongarra, J. Du-croz, S. Hammarling, and R. J. Hanson, An extended set of FORTRAN basic linear algebra subprograms, ACM Transactions on Mathematical Software, vol.14, issue.1, pp.1-17, 1988.
DOI : 10.1145/42288.42291

J. J. Dongarra, J. Du-croz, I. Duff, and S. Hammarling, A proposal for a set of level 3 basic linear algebra subprograms, ACM SIGNUM Newsletter, vol.22, issue.3, pp.2-14, 1987.
DOI : 10.1145/36318.36319

J. J. Dongarra, J. Du-croz, S. Hammarling, and I. S. Duff, A set of level 3 basic linear algebra subprograms, ACM Transactions on Mathematical Software, vol.16, issue.1, pp.1-17, 1990.
DOI : 10.1145/77626.79170

J. J. Dongarra and . Preface, Preface: Basic Linear Algebra Subprograms Technical (Blast) Forum Standard, The International Journal of High Performance Computing Applications, vol.16, issue.1, pp.1-111, 2002.
DOI : 10.1177/10943420020160010101

J. J. Dongarra and . Preface, Preface: Basic Linear Algebra Subprograms Technical (Blast) Forum Standard, The International Journal of High Performance Computing Applications, vol.16, issue.2, pp.115-199, 2002.
DOI : 10.1177/10943420020160020101

K. Goto and R. A. Van-de-geijn, Anatomy of high-performance matrix multiplication, ACM Transactions on Mathematical Software, vol.34, issue.3, pp.7-123, 2008.
DOI : 10.1145/1356052.1356053

K. Goto and R. A. Van-de-geijn, High-performance implementation of the level-3 BLAS, ACM Transactions on Mathematical Software, vol.35, issue.1, pp.7-137, 2008.
DOI : 10.1145/1377603.1377607

M. Frigo and S. G. Johnson, The design and implementation of FFTW3 Special issue on " Program Generation, Optimization, and Platform Adaptation, Proceedings of the IEEE, pp.216-231, 2005.

B. Gough, GNU Scientific Library Reference Manual -Third Edition, Network Theory Ltd, vol.3, 2009.

L. Plagne, F. Hülsemann, D. Barthou, and J. Jaeger, « Parallel expression template for large vectors », dans POOSC '09 : Proceedings of the 8th workshop on Parallel/High-Performance Object- Oriented Scientific Computing, pp.8-150, 2009.

G. Keller, M. M. Chakravarty, and R. Leshchinskiy, « Regular, shape-polymorphic, parallel arrays in haskell, dans Proceedings of the 15th ACM SIGPLAN international conference on Functional programming, pp.261-272, 2010.

. Mathworks, MATLAB -The Language Of Technical Computing Documentation, version 2009b

A. Van-deursen, P. Klint, and J. Visser, Domain-specific languages, ACM SIGPLAN Notices, vol.35, issue.6, pp.26-36, 2000.
DOI : 10.1145/352029.352035

P. Hudak, Building domain-specific embedded languages, ACM Computing Surveys, vol.28, issue.4es, 1996.
DOI : 10.1145/242224.242477

K. Czarnecki, J. T. Odonnell, and J. Striegnitz, DSL Implementation in MetaOCaml, Template Haskell, and C++, MetaOCaml, Template Haskell, and C++ », pp.51-72, 2004.
DOI : 10.1007/978-3-540-25935-0_4

J. Falcou, Un Cluster pour la Vision Temps Réel : Architecture, Outils et Applications, Thèse de doctorat, pp.16-71, 2006.

J. Falcou, J. Sérot, L. Pech, J. Lapresté-dans, E. Luque et al., Meta-programming Applied to Automatic SMP Parallelization of Linear Algebra Code, Euro-Par 2008 ? Parallel Processing, pp.729-738, 2008.
DOI : 10.1007/978-3-540-85451-7_78

P. Plauger, M. Lee, D. Musser, and A. A. Stepanov, C++ Standard Template Library, pp.17-71, 2000.

T. L. Veldhuizen and D. Gannon, Active libraries : Rethinking the roles of compilers and libraries, dans SIAM Workshop on Object Oriented Methods for Inter-operable Scientific and Engineering Computing (OO'98). SIAM, pp.17-147, 1998.

K. Czarnecki, U. W. Eisenecker, and R. Glück, Generative Programming and Active Libraries, dans Selected Papers from the International Seminar on Generic Programming, pp.25-39, 2000.
DOI : 10.1007/3-540-39953-4_3

T. L. Veldhuizen, Active libraries and universal languages, Thèse de doctorat, pp.17-147, 2004.

J. O. Coplien, Curiously recurring template patterns, pp.135-144, 1996.

M. A. Heroux, R. A. Bartlett, and V. E. Howle, An overview of the Trilinos project, ACM Transactions on Mathematical Software, vol.31, issue.3, pp.397-423, 2005.
DOI : 10.1145/1089014.1089021

C. G. Baker, H. Carter-edwards, M. A. Heroux, and A. B. Williams, A Light-weight API for Portable Multicore Programming, 2010 18th Euromicro Conference on Parallel, Distributed and Network-based Processing, pp.17-76, 2010.
DOI : 10.1109/PDP.2010.49

S. Blackford, G. Corliss, and J. , « Basic linear algebra subprograms technical forum standard, International Journal of High Performance Applications and Supercomputing, vol.16, issue.1, pp.18-19, 2002.

G. M. Morton, « A computer oriented geodetic data base ; and a new technique in file sequencing ». Rapport technique, IBM Canada Ltd, pp.19-106, 1966.

P. Gottschling, D. S. Wise, and M. D. , Adams, « Representation-transparent matrix algorithms with scalable performance, Proceedings of the 21st annual international conference on Supercomputing , coll. « ICS '07, pp.116-125, 2007.

J. Herrero, J. Navarro-dans, B. Kågström, E. Elmroth, J. J. Dongarra et al., Using Non-canonical Array Layouts in Dense Matrix Operations, éditeurs, Applied Parallel Computing. State of the Art in Scientific Computing, pp.580-588, 2007.
DOI : 10.1007/978-3-540-75755-9_70

Z. Bai, J. Demmel, and J. J. Dongarra, éditeurs, Templates for the solution of algebraic eigenvalue problems : a practical guide, SIAM, pp.19-165, 2000.

P. Hénon, P. Ramet, J. Roman, and . Pastix, PaStiX: a high-performance parallel direct solver for sparse symmetric positive definite systems, Parallel Computing, vol.28, issue.2, pp.301-321, 2002.
DOI : 10.1016/S0167-8191(01)00141-7

G. Karypis and V. Kumar, A Parallel Algorithm for Multilevel Graph Partitioning and Sparse Matrix Ordering, Journal of Parallel and Distributed Computing, vol.48, issue.1, pp.71-95, 1998.
DOI : 10.1006/jpdc.1997.1403

S. Balay, W. D. Gropp, L. C. Mcinnes, and B. F. Smith, Efficient Management of Parallelism in Object-Oriented Numerical Software Libraries, éditeurs, Modern Software Tools in Scientific Computing, pp.163-202, 1997.
DOI : 10.1007/978-1-4612-1986-6_8

S. Balay and J. Brown, « PETSc users manual ». Rapport technique n o ANL-95/11 -Revision 3, 2010.

M. Benzi, G. H. Golub, and J. Liesen, Numerical solution of saddle point problems, Acta Numerica, vol.14, pp.1-137, 2005.
DOI : 10.1017/S0962492904000212

W. H. Press, S. A. Teukolsky, W. T. Vetterling, and B. P. Flannery, Numerical Recipes 3rd Edition : The Art of Scientific Computing, pp.27-107, 2007.

J. M. Rabaey, A. Chandrakasan, and B. Nikolic, Digital Integrated Circuits, second edition, 2003.

R. Duncan, A survey of parallel computer architectures, Computer, vol.23, issue.2, pp.5-16, 1990.
DOI : 10.1109/2.44900

K. Olukotun, B. A. Nayfeh, and L. Hammond, « The case for a single-chip multiprocessor », SIGPLAN Not, pp.2-11, 1996.

S. F. Anderson, J. G. Earle, R. E. Goldschmidt, and D. M. Powers, The IBM System/360 Model 91: Floating-Point Execution Unit, IBM Journal of Research and Development, vol.11, issue.1, pp.34-67, 1967.
DOI : 10.1147/rd.111.0034

J. Makino, T. Fukushige, and M. Koga, 349 tflops simulation of black holes in a galactic center on grape-6, dans Proceedings of the 2000 ACM/IEEE conference on Supercomputing, coll. « Supercomputing '00, 2000.

B. Bishop, T. P. Kelliher, M. J. Irwin, and . Sparta, Simulation of physics on a real-time architecture, Proceedings of the 10th Great Lakes symposium on VLSI, coll. « GLSVLSI '00, pp.177-182, 2000.

S. Yardi, B. Bishop, and T. Kelliher, HELLAS, Proceedings of the 44th annual southeast regional conference on , ACM-SE 44, pp.56-61, 2006.
DOI : 10.1145/1185448.1185462

S. Hauck and A. Dehon, Reconfigurable Computing : The Theory and Practice of FPGA-Based Computation, 2007.

S. Benner, R. J. Chen, and N. A. Wilson, Sequence-specific detection of individual DNA polymerase complexes in real time using a nanopore, Nature Nanotechnology, vol.6, issue.11, pp.718-724, 2007.
DOI : 10.1038/nnano.2007.344

J. A. Kahle, M. N. Day, and H. P. Hofstee, Introduction to the Cell multiprocessor, IBM Journal of Research and Development, vol.49, issue.4.5, pp.589-604, 2005.
DOI : 10.1147/rd.494.0589

T. Chen, R. Raghavan, J. N. Dale, and E. Iwata, Cell Broadband Engine Architecture and its first implementation???A performance view, IBM Journal of Research and Development, vol.51, issue.5, pp.559-572, 2007.
DOI : 10.1147/rd.515.0559

S. Williams, J. Shalf, and L. Oliker, The potential of the cell processor for scientific computing, Proceedings of the 3rd conference on Computing frontiers , CF '06, pp.9-20, 2006.
DOI : 10.1145/1128022.1128027

E. Lindholm, J. Nickolls, S. Oberman, and J. Montrym, NVIDIA Tesla: A Unified Graphics and Computing Architecture, IEEE Micro, vol.28, issue.2, pp.39-55, 2008.
DOI : 10.1109/MM.2008.31

N. and «. Nvidia, s Next Generation CUDA Compute Architecture : Fermi ». Whitepaper, NVIDIA corp, pp.35-42, 2009.

M. Faverge, Ordonnancement hybride statique-dynamique en algèbre linéaire creuse pour de grands clusters de machines NUMA et multi-coeurs, Thèse de doctorat, 2009.

M. Faverge and P. Ramet, « A NUMA aware scheduler for a parallel sparse direct solver », Parallel Computing, 2009.

S. Weiss and J. E. Smith, « Instruction issue logic for pipelined supercomputers, SIGARCH Comput. Archit. News, pp.110-118, 1984.

J. Nickolls and W. J. Dally, The GPU Computing Era, The gpu computing era, pp.56-69, 2010.
DOI : 10.1109/MM.2010.41

. Pixar, The RenderMan Interface, édition version 3.1 specification, 1989.

A. A. Apodaca, M. W. Mantle, and . Renderman, RenderMan: pursuing the future of graphics, IEEE Computer Graphics and Applications, vol.10, issue.4, pp.44-49, 1990.
DOI : 10.1109/38.56298

T. Mitra, Chiueh, « A breadth-first approach to efficient mesh traversal, Proceedings of the ACM SIGGRAPH/EUROGRAPHICS workshop on Graphics hardware, coll. « HWWS '98, pp.31-38, 1998.

M. S. Peercy, M. Olano, J. Airey, and P. J. Ungar, Interactive multi-pass programmable shading, Proceedings of the 27th annual conference on Computer graphics and interactive techniques , SIGGRAPH '00, pp.425-432, 2000.
DOI : 10.1145/344779.344976

M. Pharr and R. Fernando, Programming Techniques for High-Performance Graphics and General-Purpose Computation (Gpu Gems), p.41, 2005.

S. Collange, Enjeux de conception des architectures GPGPU : unités arithmétiques spécialisées et exploitation de la régularité, Thèse de doctorat

D. M. Tullsen, S. J. Eggers, and H. M. Levy, Simultaneous multithreading, ACM SIGARCH Computer Architecture News, vol.23, issue.2, pp.392-403, 1995.
DOI : 10.1145/225830.224449

URL : https://digital.lib.washington.edu:443/researchworks/bitstream/1773/6921/1/9704558.pdf

H. Hirata, K. Kimura, and S. Nagamine, An elementary processor architecture with simultaneous instruction issuing from multiple threads, ACM SIGARCH Computer Architecture News, vol.20, issue.2, pp.136-145, 1992.
DOI : 10.1145/146628.139710

M. Harris, C. ». Optimizing, and N. , Tutoriel CUDA présenté à SuperComputing, 2007.

W. J. Bolosky and M. L. Scott, « False sharing and its effect on shared memory performance », dans USENIX Systems on USENIX Experiences with Distributed and Multiprocessor Systems, pp.3-3, 1993.

J. Reinders, INTEL threading building blocks, pp.52-103, 2007.

Y. Magda, Visual C++ Optimization with Assembly Code. A-List Publishing, 2004.

A. E. Eichenberger, J. K. O-'brien, and K. M. O-'brien, « Using advanced compiler technology to exploit the performance of the cell broadband enginetm architecture », IBM Syst, J, vol.45, pp.59-84, 2006.

M. Hassaballah, S. Omran, and Y. B. Mahdy, A Review of SIMD Multimedia Extensions and their Usage in Scientific and Engineering Applications, The Computer Journal, vol.52, issue.1, pp.630-649, 2008.
DOI : 10.1504/IJBRA.2006.011041

D. Fraser, Array Permutation by Index-Digit Permutation, Journal of the ACM, vol.23, issue.2, pp.298-309, 1976.
DOI : 10.1145/321941.321949

A. Edelman, S. Heller, and S. L. Johnsson, Index transformation algorithms in a linear algebra framework, IEEE Transactions on Parallel and Distributed Systems, vol.5, issue.12, pp.1302-1309, 1994.
DOI : 10.1109/71.334903

S. , L. Johnsson, and C. Ho, « Algorithms for matrix transposition on boolean n-cube configured ensemble architecture, SIAM J. Matrix Anal. Appl, vol.9, pp.419-454, 1988.

M. Bader, H. Bungartz, and D. Mudigere, « Fast GPGPU data rearrangement kernels using CUDA », ArXiv e-prints, novembre 2010

P. Lascaux and R. Théodor, Analyse numérique matricielle appliquée à l'art de l'ingénieur vol 1 méthodes directes. Masson, 2 ème édition, p.53, 1998.

J. D. Mccalpin and . Stream, Sustainable memory bandwidth in high performance computers ». Rapport technique A continually updated technical report, 1991.

M. E. Thomadakis, « The Architecture of the Nehalem Processor and Nehalem-EP SMP Platforms, 2010.

I. and «. Intel, and ia-32 architectures software developer's manual volumes 2a and 2b : Instruction set reference, a-z, 2010.

D. R. Butenhof, Programming with POSIX threads, 1997.

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

H. Boehm, Threads cannot be implemented as a library, ACM SIGPLAN Notices, vol.40, issue.6, pp.261-268, 2005.
DOI : 10.1145/1064978.1065042

S. Savage, M. Burrows, and G. Nelson, Eraser: a dynamic data race detector for multithreaded programs, ACM Transactions on Computer Systems, vol.15, issue.4, pp.391-411, 1997.
DOI : 10.1145/265924.265927

H. Jula, D. Tralamazza, C. Zamfir, and G. Candea, « Deadlock immunity : enabling systems to defend against deadlocks USENIX Associa- tion, Proceedings of the 8th USENIX conference on Operating systems design and implementation, OSDI'08, pp.295-308, 2008.

K. Serebryany, T. Iskhodzhanov, and . Threadsanitizer, data race detection in practice, dans Proceedings of the Workshop on Binary Instrumentation and Applications, coll. « WBIA '09, pp.62-71, 2009.

A. Jannesari and W. F. Tichy, On-the-fly race detection in multi-threaded programs », dans Proceedings of the 6th workshop on Parallel and distributed systems : testing, analysis, and debugging , coll. « PADTAD '08, pp.1-6, 2008.

A. Mühlenfeld and F. Wotawa, Fault detection in multi-threaded c++ server applications, Proceedings of the 12th ACM SIGPLAN symposium on Principles and practice of parallel programming , PPoPP '07, pp.5-22, 2007.
DOI : 10.1145/1229428.1229457

D. D. Chamberlin and R. F. Boyce, A structured english query language », dans Proceedings of the 1974 ACM SIGFIDET (now SIGMOD) workshop on Data description, access and control, coll. « SIGFIDET '74, pp.249-264, 1974.

E. Meijer, B. Beckman, G. Bierman, and . Linq, reconciling object, relations and xml in the .net framework, Proceedings of the 2006 ACM SIGMOD international conference on Management of data, coll. « SIGMOD '06, pp.706-706, 2006.

P. Pialorsi and M. Russo, Introducing microsoft linq, 2007.

Y. Yu, M. Isard, and D. Fetterly, « DryadLINQ : a system for general-purpose distributed data-parallel computing using a high-level language USENIX Association, dans Proceedings of the 8th USENIX conference on Operating systems design and implementation, coll. « OSDI'08, pp.1-14, 2008.

M. Isard and Y. Yu, Distributed data-parallel computing using a high-level programming language, Proceedings of the 35th SIGMOD international conference on Management of data, SIGMOD '09, pp.987-994, 2009.
DOI : 10.1145/1559845.1559962

M. Isard, M. Budiu, and Y. Yu, Dryad, ACM SIGOPS Operating Systems Review, vol.41, issue.3, pp.59-72, 2007.
DOI : 10.1145/1272998.1273005

M. Isard, M. Budiu, and Y. Yu, « Dryad : distributed data-parallel programs from sequential building blocks, Proceedings of the 2nd ACM SIGOPS/EuroSys European Conference on Computer Systems 2007, coll. « EuroSys '07, pp.59-72, 2007.

L. «. Linq++, An embeded dsl for c++ (site internet de LINQ++) ». https://github. com/hjiang/linqxx/wiki

T. Faison, Event-Based Programming : Taking Events to the Limit, 2006.

J. Armstrong and S. Virding, « Erlang -an experimental telephony programming language », dans XIII International Switching Symposium, pp.43-48, 1990.
DOI : 10.1109/iss.1990.765711

L. Wesolowski, « An application programming interface for general purpose graphics processing units in an asynchronous runtime system, 2008.

M. Cole, Algorithmic Skeletons, 1991.
DOI : 10.1007/978-1-4471-0841-2_13

H. González-vélez and M. Leyton, A survey of algorithmic skeleton frameworks: high-level structured parallel programming enablers, Software: Practice and Experience, vol.21, issue.6, pp.1135-1160, 2010.
DOI : 10.1007/978-3-540-39425-9_37

E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design patterns : elements of reusable objectoriented software, 1995.

S. Macdonald, D. Szafron, J. Schaeffer, and S. Bromling, « Generating parallel program frameworks from parallel design patterns », dans Euro-Par '00, Proceedings from the 6th International Euro-Par Conference on Parallel Processing, pp.95-104, 2000.

J. Falcou, J. Sérot, T. Chateau, J. Lapresté, and . Quaff, Quaff: efficient C++ design for parallel skeletons, Parallel Computing, vol.32, issue.7-8, pp.604-615, 2006.
DOI : 10.1016/j.parco.2006.06.001

URL : https://hal.archives-ouvertes.fr/hal-00167412

M. D. Mccool, USENIX Association, Structured parallel programming with deterministic patterns », dans Proceedings of the 2nd USENIX conference on Hot topics in parallelism, coll. « HotPar'10, pp.5-5, 2010.

E. W. Dijkstra, Letters to the editor: go to statement considered harmful, Go To statement considered harmful, pp.147-148, 1968.
DOI : 10.1145/362929.362947

L. Bougé, The data-parallel programming model : A semantic perspective », dans A. Darte et G.-R. Perrin, éditeurs, The Data-Parallel Programming Model, LNCS Tutorial), vol.1132, pp.4-26

J. Dean, S. Ghemawat, and . Mapreduce, MapReduce, Communications of the ACM, vol.51, issue.1, pp.107-113, 2008.
DOI : 10.14293/S2199-1006.1.SOR-UNCAT.AUNHT8.v1.RBZFIB

G. H. Botorog and H. Kuchen, Efficient high-level parallel programming, Theoretical Computer Science, vol.196, issue.1-2, pp.71-107, 1998.
DOI : 10.1016/S0304-3975(97)00196-5

URL : https://doi.org/10.1016/s0304-3975(97)00196-5

B. Bacci, M. Danelutto, and S. Orlando, P3L: A structured high-level parallel language, and its structured support, Concurrency -Practice and Experience, pp.225-255, 1995.
DOI : 10.1002/cpe.4330070305

R. Loogen, Y. Ortega-mallén, and R. , Parallel functional programming in Eden, Journal of Functional Programming, vol.15, issue.3, pp.431-475, 2005.
DOI : 10.1017/S0956796805005526

P. An, A. Jula, and S. Rus, STAPL: An Adaptive, Generic Parallel C++ Library, Proceedings of the 14th international conference on Languages and compilers for parallel computing, coll. « LCPC'01, pp.193-208, 2003.
DOI : 10.1007/3-540-35767-X_13

A. Buss, I. Harshvardhan, and . Papadopoulos, Standard Template Adaptive Parallel Library, Proceedings of the 3rd Annual Haifa Experimental Systems Conference, coll. « SYSTOR '10, pp.1-14, 2010.

N. Thomas, G. Tanase, and O. Tkachyshyn, A framework for adaptive algorithm selection in STAPL, Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming , PPoPP '05, pp.277-288, 2005.
DOI : 10.1145/1065944.1065981

J. Hoberock and N. Bell, Thrust : http ://code.google.com, p.76

J. Enmyren, C. W. Kessler, and . Skepu, a multi-backend skeleton programming library for multi-GPU systems », dans Proceedings of the fourth international workshop on High-level parallel programming and applications, coll. « HLPP '10, pp.5-14, 2010.

D. V. Dyk, M. Geveler, and S. Mallach, « HONEI : A collection of libraries for numerical computations targeting multiple processor architectures, Computer Physics Communications, vol.180, issue.12, pp.2534-2543, 2009.

M. Süß and C. Leopold, « A user's experience with parallel sorting and OpenMP, Proceedings of the Sixth European Workshop on OpenMP -EWOMP'04, pp.23-38, 2004.

A. Basumallik, S. Min, R. Eigenmann-dans, H. Zima, K. Joe et al., Towards OpenMP Execution on Software Distributed Shared Memory Systems, éditeurs, High Performance Computing, pp.357-362, 2006.
DOI : 10.1007/3-540-47847-7_42

D. Millot, A. Muller, C. Parrot, F. Silber-chaussumier, and «. Step, STEP: A Distributed OpenMP for Coarse-Grain Parallelism Tool, OpenMP in a New Era of Parallelism, pp.83-99, 2008.
DOI : 10.1007/978-3-540-79561-2_8

URL : https://hal.archives-ouvertes.fr/hal-01373120

M. Sato, S. Satoh, K. Kusano, and Y. Tanaka, « Design of OpenMP compiler for an SMP cluster, dans Proceedings of First European Workshop on OpenMP (EWOMP), 1999.

S. Lee, S. Min, and R. Eigenmann, OpenMP to GPGPU, ACM SIGPLAN Notices, vol.44, issue.4, pp.101-110, 2009.
DOI : 10.1145/1594835.1504194

E. Ayguadé, R. M. Badia, and F. D. , An Extension of the StarSs Programming Model for Platforms with Multiple GPUs, dans Proceedings of the 15th International Euro-Par Conference on Parallel Processing Euro-Par '09, pp.851-862, 2009.
DOI : 10.1147/rd.515.0593

E. Ayguade, R. M. Badia, and D. Cabrera, A Proposal to Extend the OpenMP Tasking Model for Heterogeneous Architectures, Proceedings of the 5th International Workshop on OpenMP : Evolving OpenMP in an Age of Extreme Parallelism, coll. « IWOMP '09, pp.154-167, 2009.
DOI : 10.1007/978-3-540-79561-2_10

G. Krawezik, Performance comparison of MPI and three openMP programming styles on shared memory multiprocessors, Proceedings of the fifteenth annual ACM symposium on Parallel algorithms and architectures , SPAA '03, pp.118-127, 2003.
DOI : 10.1145/777412.777433

F. Bodin and S. Bihan, Heterogeneous Multicore Parallel Programming for Graphics Processing Units, Scientific Programming, vol.17, issue.4, pp.325-336, 2009.
DOI : 10.1155/2009/784893

. Openacc, The OpenACC TM Application Programming Interface, pp.2011-77

S. and P. Jones, Harnessing the Multicores: Nested Data Parallelism in Haskell, Ramalingam , éditeur, Programming Languages and Systems Lecture Notes in Computer Science, vol.5356, pp.138-138, 2008.
DOI : 10.1007/978-3-540-89330-1_10

G. E. Blelloch and «. Nesl, A nested data-parallel language (version 2.6) ». Rapport technique n o CMU-CS-93-129, 1993.

G. E. Blelloch, S. Chatterjee, and J. C. Hardwick, Implementation of a Portable Nested Data-Parallel Language, Journal of Parallel and Distributed Computing, vol.21, issue.1, pp.4-14, 1994.
DOI : 10.1006/jpdc.1994.1038

M. M. Chakravarty, R. Leshchinskiy, and S. P. Jones, Data parallel Haskell, Proceedings of the 2007 workshop on Declarative aspects of multicore architectures , DAMP '07, pp.10-18, 2007.
DOI : 10.1145/1248648.1248652

M. M. Chakravarty, G. Keller, and S. Lee, « Accelerating Haskell array codes with multicore GPUs », dans Proceedings of the sixth workshop on Declarative aspects of multicore programming, coll. « DAMP '11, pp.3-14, 2011.

I. Buck, T. Foley, and D. Horn, « Brook for GPUs : stream computing on graphics hardware, dans ACM SIGGRAPH 2004 Papers, coll. « SIGGRAPH '04, pp.777-786, 2004.

I. Buck, T. Foley, and D. Horn, Brook for GPUs, ACM Transactions on Graphics, vol.23, issue.3, pp.777-786, 2004.
DOI : 10.1145/1015706.1015800

M. D. Mccool, K. W. Henderson, and H. Lin, Poster reception---Performance evaluation of GPUs using the RapidMind development platform, Proceedings of the 2006 ACM/IEEE conference on Supercomputing , SC '06, p.181, 2006.
DOI : 10.1145/1188455.1188642

M. Mccool, S. Du-toit, and T. Popa, Shader algebra, ACM Transactions on Graphics, vol.23, issue.3, pp.787-795, 2004.
DOI : 10.1145/1015706.1015801

A. Ghuloum, E. Sprangle, and J. Fang, A flexible parallel programming model for tera-scale architectures ». Rapport technique, INTEL, 2007.

C. J. Newburn, M. Mccool, and B. So, « Intel array building blocks : A retargetable, dynamic compiler and embedded language, The International Symposium on Code Generation and Optimization (CGO), pp.2011-78

J. A. Stratton, S. S. Stone, W. W. Hwu, and «. Mcuda, An efficient implementation of CUDA kernels for multi-core CPUs », dans J. N. Amaral, éditeur, Languages and Compilers for Parallel Computing, pp.16-30, 2008.

N. Farooqui, A. Kerr, and G. Diamos, A framework for dynamically instrumenting GPU compute applications within GPU Ocelot, Proceedings of the Fourth Workshop on General Purpose Processing on Graphics Processing Units, GPGPU-4, pp.1-9, 2011.
DOI : 10.1145/1964179.1964192

G. F. Diamos, A. R. Kerr, S. Yalamanchili, N. Clark, and . Ocelot, a dynamic optimization framework for bulk-synchronous applications in heterogeneous systems, Proceedings of the 19th international conference on Parallel architectures and compilation techniques, coll. « PACT '10, pp.353-364, 2010.

R. Domínguez, D. Schaa, and D. Kaeli, dynamic translation of runtime environments for GPUs, Proceedings of the Fourth Workshop on General Purpose Processing on Graphics Processing Units, coll. « GPGPU-4, pp.1-5, 2011.

K. Opencl and W. Group, The OpenCL Specification, version 1, 2008.

W. Kirschenmann, L. Plagne, and S. Vialle, « Multi-target C++ implementation of parallel skeletons », dans POOSC '09 : Proceedings of the 8th workshop on Parallel/High-Performance Object-Oriented Scientific Computing, pp.83-87, 2009.

W. Kirschenmann, L. Plagne, S. Vialle, and . Multi, Target Vectorization With MTPS C++ Generic Library », dans Proceedings of PARA 2010 conference : State of the Art in Scientific and Parallel Computing PARA 2010 : State of the Art in Scientific and Parallel Computing, pp.6-83, 2010.

G. Hutton, A tutorial on the universality and expressiveness of fold, Journal of Functional Programming, vol.9, issue.4, pp.355-372, 1999.
DOI : 10.1017/S0956796899003500

C. Strachey, « Fundamental concepts in programming languages, Higher-Order and Symbolic Computation, pp.11-49, 2000.

B. Stroustrup, The C++ Programming Language, 2000.

J. Douglas and J. E. Gunn, A general formulation of alternating direction methods, Numerische Mathematik, vol.3, issue.1, pp.428-453, 1964.
DOI : 10.1090/surv/003

P. Gottschling, D. S. Wise, and M. D. , Adams, « Representation-transparent matrix algorithms with scalable performance, dans ICS '07 : Proceedings of the 21st annual international conference on Supercomputing, pp.116-125, 2007.

P. Gottschling, D. S. Wise, and A. Joshi, Generic support of algorithmic and structural recursion for scientific computing », The International Journal of Parallel, Emergent and Distributed Systems (IJPEDS), pp.479-503, 2009.

J. J. Dongarra, Performance of various computers using standard linear equations software, ACM SIGARCH Computer Architecture News, vol.20, issue.3, pp.22-44, 1992.
DOI : 10.1145/141868.141871

T. L. Veldhuizen, Expression templates, pp.475-487, 1996.