A. Abdallah, Conception de SoC à Base d'Horloges Abstraites : Vers l'Exploration d'Architectures en MARTE, 2011.
URL : https://hal.archives-ouvertes.fr/tel-00597031

A. Demeure, A. Lafage, E. Boutillon, D. Rozzonelli, J. Dufourd et al., Array-OL : Proposition d'un Formalisme Tableau pour le Traitement de Signal Multi-Dimensionnel, Gretsi, 1995.

S. S. Alhir, Guide to applying the UML. Springer professional computing, 2002.

V. Aranega, J. Mottu, A. Etien, and J. Dekeyser, Traceability mechanism for error localization in model transformation, proceedings of the ICSOFT 2009 Conference, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00461266

V. Aranega, A. Etien, and J. Dekeyser, Using an Alternative Trace for QVT, Workshop on Multi-Paradigm Modeling, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00524153

V. Aranega, J. Mottu, A. Etien, and J. Dekeyser, Traceability for Mutation Analysis in Model Transformation, Models in Software Engineering, pp.259-273, 2011.
DOI : 10.1002/stvr.4370020105

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

J. Peter and . Ashenden, The Designer's Guide to VHDL, 2001.

A. Rabie-ben, Modèles et simulation de systèmes sur puce multiprocesseurs -Estimation des performances et de la consommation d'énergie, 2007.

R. Barrett, M. Berry, T. F. Chan, J. Demmel, J. Donato et al., Templates for the Solution of Linear Systems: Building Blocks for Iterative Methods, SIAM, 1994.
DOI : 10.1137/1.9781611971538

J. Bastos and N. Sadowski, Electromagnetic modeling by finite element methods. Electrical engineering and electronics, 2003.

N. Bell and M. Garland, Efficient sparse matrix-vector multiplication on CUDA, 2008.

L. Rabie-ben-atitallah, S. Bonde, . Niar, S. Meftali, and . Dekeyser, Multilevel MPSoC Performance Evaluation Using MDE Approach, International Symposium on System, 2006.

S. Benkner, Optimizing irregular hpf applications using halos. Concurrency -Practice and Experience, pp.137-155, 2000.
DOI : 10.1007/bfb0097986

B. Natacha and . Edf-r&d, code_Carmel3D": mise en oeuvre de la version 1.0, 2008.

J. Bézivin, On the unification power of models. Software and System Modeling, pp.171-188, 2005.

P. Boulet and . Array, Multidimensional Intensive Signal Processing Specification Research Report RR- 6113, INRIA, 2007.

P. Boulet, Formal Semantics of Array-OL, a Domain Specific Language for Intensive Multidimensional Signal Processing, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00261178

P. Boulet, Formal Semantics of Array-OL, a Domain Specific Language for Intensive Multidimensional Signal Processing, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00261178

E. Cagniot, Algorithmes Data-parallèles Irréguliers Appliqués à la Simulation Éléctromagntique Tridimensionelle, 2000.

C. Hmpp, http://www.caps-enterprise.org, 2011.

P. Caspi, D. Pilaud, N. Halbwachs, and J. A. Plaice, LUSTRE: a declarative language for real-time programming, Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '87, pp.178-188, 1987.
DOI : 10.1145/41625.41641

A. Cevahir, A. Nukada, and S. Matsuoka, High performance conjugate gradient solver on multi-gpu clusters using hypergraph partitioning Computer Science -Research and Development, pp.83-91, 2010.
DOI : 10.1007/s00450-010-0112-6

B. Chapman, G. Jost, and R. Van-der-pas, Using OpenMP: Portable Shared Memory Parallel Programming (Scientific and Engineering Computation), p.9780262533027, 2007.

I. Chowdhury and J. Excellent, Some Experiments and Issues to Exploit Multicore Parallelism in a Distributed-Memory Parallel Sparse Direct Solver
URL : https://hal.archives-ouvertes.fr/inria-00524249

I. Arthur and . Cohen, Rate of Convergence of Several Conjugate Gradient Algorithms, SIAM Journal on Numerical Analysis, pp.248-259, 1972.

C. Inc and . Research, CRAY-1 computer system reference manual 224004, 1976.

E. De-jong, E. M. Paalvast, H. J. Sips, and M. R. Van-steen, High-level specification tools for parallel application development Parallel logic programming systems, CompEuro '92 . 'Computer Systems and Software Engineering' ,Proceedings.) [33] Jacques Chassin de Kergommeaux and Philippe Codognet, pp.163-168, 1994.

C. Olavo-de-moura-filho, A. Etien, and J. Taillard, Cedric Dumoulin, and Frédéric Guyomarc'H. Component-based Models Going Generic : the MARTE Case-Study, p.162, 2008.

A. Wendell-de-oliveira-rodrigues, F. Guyomarc-'h, Y. L. Menach, and J. Dekeyser, Parallel Sparse Matrix Solver on the GPU Applied to Simulation of Electrical Machines, 2009.

A. Wendell-de-oliveira-rodrigues, V. Aranega, A. Etien, F. Guyomarc-'h, and J. Dekeyser, Enabling Traceability in an MDE Approach to Improve Performance of GPU Applications, Research Report RR, vol.7720, 2011.

A. Wendell-de-oliveira-rodrigues, F. Guyomarc-'h, and J. Dekeyser, Using ArrayOL to Identify Potentially Shareable Data in Thread Work-Groups of GPUs, Designing for Embedded Parallel Computing Platforms: Architectures, Design Tools, and Applications on DATE 2011, 2011.

A. Wendell-de-oliveira-rodrigues, F. Guyomarc-'h, and J. Dekeyser, Programming Massively Parallel Architectures using MARTE: a Case Study, 2nd Workshop on Model Based Engineering for Embedded Systems Design (M-BED) on Date Conference 2011, 2011.

A. Wendell-de-oliveira-rodrigues, F. Guyomarc-'h, and J. Dekeyser, An MDE Approach for Automatic Code Generation from MARTE to OpenCL, Research Report RR, vol.7525, 2011.

A. Wendell-de-oliveira-rodrigues, F. Guyomarc-'h, and J. Dekeyser, A Modeling Approach based on UM- L/MARTE for GPU Architecture, Symposium en Architectures nouvelles de machines (SympA'14), 2011.

A. Wendell-de-oliveira-rodrigues, F. Guyomarc-'h, J. Dekeyser, and Y. L. Menach, Automatic

A. Wendell-de-oliveira-rodrigues, F. Guyomarc-'h, and J. Dekeyser, An MDE Approach for Automatic Code Generation from UML/MARTE to OpenCL, IEEE Computer in Science & Engineering -Special Edition on GPUs Journal, 2012.

A. Wendell-de-oliveira-rodrigues, F. Guyomarc-'h, Y. L. Menach, and J. Dekeyser, Automatic Multi-GPU Code Generation Applied to Simulation of Electrical Machines, IEEE Transactions on Magnetics, vol.48, issue.2, pp.831-834
DOI : 10.1109/TMAG.2011.2179527

M. M. Dehnavi, D. M. Fernandez, and D. Giannacopoulos, Enhancing the Performance of Conjugate Gradient Solvers on Graphic Processing Units, IEEE Transactions on Magnetics, vol.47, issue.5, pp.1162-1165, 2011.
DOI : 10.1109/TMAG.2010.2081662

A. Demeure and . Gallo, An Array Approach for Signal Processing Design, Sophia-Antipolis conference on MicroElectronics (SAME'98): SoC Session, 1998.

I. Dietrich, R. German, H. Koestler, and U. Ruede, Modeling Multigrid Algorithms for Variational Imaging, 2010 21st Australian Software Engineering Conference, pp.224-234
DOI : 10.1109/ASWEC.2010.16

C. V. Dodd and W. E. Deeds, Analytical solutions to eddycurrent probe-coil problems, Journal of Applied Physics, pp.2829-2832, 1968.
DOI : 10.2172/4499902

J. J. Dongarra, Numerical linear algebra for high-performance computers . Software, environments, tools, Society for Industrial and Applied Mathematics, 1998.
DOI : 10.1137/1.9780898719611

P. Dumont, Spécification Multidimensionnelle pour le Traitement du Signal Systématique, 2005.

J. W. Eaton, D. Bateman, and S. Haubergx, GNU Octave Manual Version 3. Network Theory Ltd., 3 edition, 2008.

R. S. Elliott, Electromagnetics: History, Theory, and Applications, 1999.
DOI : 10.1109/9780470544525

T. Euler and T. Darmstadt, Consistent Discretization of Maxwell's Equations on Polyhedral Grids, 2007.

J. Michael and . Flynn, Some Computer Organizations and Their Effectiveness, Computers, IEEE Transactions, issue.219, pp.948-960

S. Furber, ARM System-on-Chip Architecture, 2000.

E. Gabriel, G. E. Fagg, G. Bosilca, T. Angskun, J. J. Dongarra et al., Open MPI: Goals, Concept, and Design of a Next Generation MPI Implementation, Proceedings, 11th European PVM/MPI Users' Group Meeting, pp.97-104, 2004.
DOI : 10.1007/978-3-540-30218-6_19

K. A. Gallivan, R. J. Plemmons, and A. H. Sameh, Parallel Algorithms for Dense Linear Algebra Computations, SIAM Review, vol.32, issue.1, pp.54-135, 1990.
DOI : 10.1137/1032002

A. Gamatié, E. Rutten, H. Yu, P. Boulet, and J. Dekeyser, Synchronous Modeling and Analysis of Data Intensive Applications, EURASIP Journal on Embedded Systems, vol.2008, issue.1, 2008.
DOI : 10.1007/BF01379404

A. Gamatié, S. L. Beux, É. Piel, R. Ben-atitallah, A. Etien et al., A Model Driven Design Framework for Massively Parallel Embedded SystemsA Model Driven Design Framework for High Performance Embedded Systems, ACM Transactions on Embedded Computing Systems, 2011.

S. Georgescu and H. Okuda, Conjugate Gradients on Graphic Hardware: Performance and Feasibility. Lecture Notes in Computer Science, 2011. is under review and can be found in http

A. Geraci, IEEE Standard Computer Dictionary: Compilation of IEEE Standard Computer Glossaries, 1991.

C. Glitia, P. Boulet, E. Lenormand, and M. Barreteau, Repetitive model refactoring strategy for the design space exploration of intensive signal processing applications, Journal of Systems Architecture, vol.57, issue.9, 2011.
DOI : 10.1016/j.sysarc.2010.12.002

URL : https://hal.archives-ouvertes.fr/inria-00605069

F. Glitia, A. Etien, and C. Dumoulin, Fine Grained Traceability for an MDE Approach of Embedded System Conception, ECMDA Traceability Workshop, pp.27-38, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00524367

J. Gosling, B. Joy, G. Steele, and G. Bracha, The Java Language Specification, Third Edition, 2005.

G. Group, GPUmat User Guide, 2011.

D. Cabeza, G. , and M. V. Hermenegildo, Nonstrict independence-based program parallelization using sharing and freeness information, Theor. Comput. Sci, vol.410, pp.4704-4723, 2009.

A. Greenbaum, Estimating the Attainable Accuracy of Recursively Computed Residual Methods, SIAM Journal on Matrix Analysis and Applications, vol.18, issue.3, pp.535-551, 1997.
DOI : 10.1137/S0895479895284944

J. P. Gregoire, C. Rose, and B. Thomas, Direct and iterative solvers for finite-element problems. Numerical Algorithms, pp.39-531019174710859, 1997.

C. Richard and . Gronback, Eclipse Modeling Project: A Domain-Specific Language (DSL) Toolkit, p.197, 0198.

T. Grotker, System Design with SystemC, 2002.

M. Object and . Group, Meta object facility (mof) 2.0 query/view/transformation. Specification Version 1.0, Object Management Group, p.44, 0198.

P. Le and G. , Signal: A formal design environment for real-time systems, In TAPSOFT, pp.789-790, 1995.

J. Guo, A. Wendell-de-oliveira-rodrigues, J. Thiyagalingam, F. Guyomarc-'h, P. Boulet et al., Harnessing the Power of GPUs without Losing Abstractions in SAC and ArrayOL: A Comparative Study, 2011 IEEE International Symposium on Parallel and Distributed Processing Workshops and Phd Forum, 2011.
DOI : 10.1109/IPDPS.2011.276

URL : https://hal.archives-ouvertes.fr/inria-00569100

H. Martin, Z. Gutknecht, and . Strakos, Accuracy of two three-term and three two-term recurrences for krylov space solvers, SIAM J. Matrix Anal. Appl, vol.22, pp.213-229, 2000.

M. R. Hestenes and E. Stiefel, Methods of conjugate gradients for solving linear systems, Journal of Research of the National Bureau of Standards, vol.49, issue.6, pp.409-436, 1952.
DOI : 10.6028/jres.049.044

J. Hooman, N. Mulyar, and L. Posta, Coupling Simulink and UML Models Formal Methods for Automation and Safety in Railway and Automotive Systems, Proceedings of Symposium FORMS, pp.304-311, 2004.

P. Huber, The Model Transformation Language Jungle - An Evaluation and Extension of Existing Approaches. Master's thesis, Business Informatics Group -Institut für Softwaretechnik und Interaktive Systeme, p.197, 0198.

N. Ida and J. Bastos, Electromagnetics and calculation of fields, 1997.
DOI : 10.1007/978-1-4684-0526-2

I. Std, 1003.1c-1995 thread extensions, 1996.

F. Jouault, F. Allilaire, J. Bézivin, and I. Kurtev, ATL: A model transformation tool, Science of Computer Programming, vol.72, issue.1-2, pp.31-39, 2008.
DOI : 10.1016/j.scico.2007.08.002

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

. Jscience, Java tools and libraries for the advancement of sciences, 2011.

M. Kaku, Physics of the Future: How Science Will Shape Human Destiny and Our Daily Lives by the Year 2100, 2011.

K. Kennedy, C. Koelbel, and H. Zima, The rise and fall of High Performance Fortran, Proceedings of the third ACM SIGPLAN conference on History of programming languages , HOPL III, pp.7-8, 2007.
DOI : 10.1145/1238844.1238851

S. Kent, Model Driven Engineering, Proceedings of the Third International Conference on Integrated Formal Methods, IFM '02, pp.286-298, 2002.
DOI : 10.1007/3-540-47884-1_16

B. David, W. W. Kirk, and . Hwu, Programming Massively Parallel Processors: A Hands-on Approach, p.9780123814722, 2010.

A. Klöckner, N. Pinto, Y. Lee, B. C. Catanzaro, P. Ivanov et al., PyCUDA and PyOpenCL: A Scripting-Based Approach to GPU Run-Time Code Generation. CoRR, abs/0911, 2011.

Y. Kwong-kwok, I. Ahmad, and I. Ahmad, Dynamic critical-path scheduling: an effective technique for allocating task graphs to multiprocessors, IEEE Transactions on Parallel and Distributed Systems, vol.7, issue.5, pp.506-521, 1996.
DOI : 10.1109/71.503776

L. Sébastien and . Beux, Un flot de conception pour applications de traitement du signal systématique implémentées sur FPGA à base d'Ingénierie Dirigée par les Modèles, 2007.

P. Sébastien-le-beux, J. Marquet, and . Dekeyser, A Design Flow to Map Parallel Applications onto FPGAs, 17th IEEE International Conference on Field Programmable Logic and Applications, 2007.

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

D. Lugato, J. Bruel, and I. Ober, Model-driven Engineering for High-Performance Computing Applications, Modeling Simulation and Optimization -Focus on Applications, pp.19-33, 2010.
DOI : 10.5772/8969

URL : http://www.intechopen.com/articles/show/title/model-driven-engineering-for-high-performance-computing-applications

T. Mattson and M. Wrinn, Parallel programming, Proceedings of the 45th annual conference on Design automation, DAC '08, pp.7-11, 2008.
DOI : 10.1145/1391469.1391474

J. C. Maxwell, A Treatise on Electricity and Magnetism, 1998.
DOI : 10.1017/cbo9780511709333

URL : http://www.e-rara.ch/download/pdf/2506524?name=Vol.%25201

K. Meerbergen, K. Fresl, and T. Knapen, C++ Bindings to External Software Libraries with Examples from BLAS, LAPACK, UMFPACK, and MUMPS, ACM Transactions on Mathematical Software, vol.36, issue.4, pp.1-22, 2009.
DOI : 10.1145/1555386.1555391

M. Corp and . Gpgpu, Computing Horizons: Developing and Deploying for Microsoft Windows, 2010.

E. Gordon and . Moore, Progress in Digital Electronics, Technical Digest of the Intel Electronic Devices Meeting, p.13, 1975.

A. Munshi, The OpenCL Specification 1.1. Specification , Khronos Group, p.180, 2011.
DOI : 10.1109/hotchips.2009.7478342

G. S. Murthy, M. Ravishankar, M. M. Baskaran, and P. Sadayappan, Optimal loop unrolling for GPGPU programs, 2010 IEEE International Symposium on Parallel & Distributed Processing (IPDPS), pp.1-11
DOI : 10.1109/IPDPS.2010.5470423

S. Murugesan, Harnessing green it: Principles and practices. IT Professional, pp.24-33, 2008.
DOI : 10.1002/9781118305393

B. Nichols, D. Buttlar, and J. P. Farrell, Pthreads Programming, 1996.

A. O. Wendell, F. Rodrigues, J. Guyomarc-'h, and . Dekeyser, Programming Massively Parallel Architectures using MARTE: a Case Study, 2nd Workshop on Model Based Engineering for Embedded Systems Design (M-BED 2011) on Date Conference 2011, 2011.

. Obeo, . Acceleo-code, and . Generator, Cited on page 44.) [114] Object Management Group. MOF Model To Text Transformation Language (MOFM2T, 2008.

M. Object and . Group, UML Version 2.1.2 Specification . http://www.omg.org/spec, 2008.

M. Object and . Group, UML Profile for MARTE: Modeling and Analisys of Real-Time Embedded Systems, 2011.

M. Object and . Group, Object Constraint Language (OCL) http://www.omg.org/spec/OCL, 2011.

G. Olsen and J. Oldevik, Scenarios of Traceability in Model to Text Transformations, Model Driven Architecture- Foundations and Applications, 2007.
DOI : 10.1007/978-3-540-72901-3_11

O. Consortium, OpenHMPP -Open Hybrid Manycore Parallel Programming, 2011.

S. V. Pennington and M. Berzins, New NAG library software for first-order partial differential equations, ACM Transactions on Mathematical Software, vol.20, issue.1, pp.63-99, 1994.
DOI : 10.1145/174603.155272

P. Fritzson, Principles of Object-Oriented Modeling and Simulation with Modelica 2.1, 2004.
DOI : 10.1109/9780470545669

E. Piel, Ordonnancement de systèmes parallèles temps-réel, De la modélisation à la mise en oeuvre par l'ingénierie dirigée par les modèles, 2007.

Q. Imran-rafiq, MARTE based model driven design methodology for targeting dynamically reconfigurable FPGA based SoCs, 2010.

D. J. Quinlan, B. Miller, B. Philip, and M. Schordan, Treating a User-defined Parallel Library as a Domain-Specfiic Language, Proceedings of the 16th International Parallel and Distributed Processing, 2002.

F. Remondino and N. Bõrlin, Polylib -a library of polyhedral functions. http://icps.u-strasbg.fr/polylib/ or http://www.irisa.fr/polylib, International Archives of Photogrammetry , Remote Sensing and Spatial Information Sciences, 2004.

C. J. Ribbens, L. T. Watson, and C. Desa, Toward parallel mathematical software for elliptic partial differential equations, ACM Transactions on Mathematical Software, vol.19, issue.4, pp.457-473, 1993.
DOI : 10.1145/168173.168383

URL : http://eprints.cs.vt.edu/archive/00000277/01/TR-91-32.pdf

A. O. Wendell, V. Rodrigues, A. Aranega, F. Etien, J. Guyomarc-'h et al., Enabling Traceability in an MDE Approach to Improve Performance of GPU Applications, 2011.

Y. Saad and M. H. Schultz, GMRES: A Generalized Minimal Residual Algorithm for Solving Nonsymmetric Linear Systems, SIAM Journal on Scientific and Statistical Computing, vol.7, issue.3, pp.856-869, 1986.
DOI : 10.1137/0907058

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.476.951

P. Sadayappan, An Environment for High-Productivity High- Performance Computing using GPUs/Accelerators Collaborative research, NSF, 2009.

C. Douglas and . Schmidt, Model-driven engineering, IEEE Computer, vol.39, issue.2, 2006.

S. Scholz, With-loop-folding in Sac-condensing consecutive array operations, Proceedings of the 9th International Workshop on Implementation of Functional Languages, 1998.
DOI : 10.1007/BFb0055425

R. S. Schreiber, Block Algorithms for Parallel Machines Numerical Algorithms for Modern Parallel Computer Architectures, number 13 in IMA, Mathematics and Its Applications, pp.197-207, 1988.

A. Strey and M. Bange, Performance Analysis of Intel???s MMX and SSE: A Case Study, Proceedings of the 7th International Euro-Par Conference Manchester on Parallel Processing, Euro-Par '01, pp.142-147, 2001.
DOI : 10.1007/3-540-44681-8_21

J. Taillard, Une approche orientée modèle pour la parallélisation d'un code de calcul éléments finis, pp.39-132, 2009.

J. Taillard, F. Guyomarch, and J. Dekeyser, A Graphical Framework for High Performance Computing Using An MDE Approach, 16th Euromicro Conference on Parallel, Distributed and Network-Based Processing (PDP 2008), pp.165-173, 2008.
DOI : 10.1109/PDP.2008.74

T. Goh-cheng, Institute of High Performance Computing - A*STAR, Matrix Multiplication on GPU in Octave. Research report, 2008.

P. The and . Group, PGI Accelerator Compilers, 2011.

T. P. Theodoulidis, Model of ferrite-cored probes for eddy current nondestructive evaluation, Journal of Applied Physics, vol.93, issue.5, pp.3071-3078, 2003.
DOI : 10.1063/1.1543634

T. P. Theodoulidis, Analytical model for tilted coils in eddy-current nondestructive inspection, IEEE Transactions on Magnetics, vol.41, issue.9, pp.2447-2454, 2005.
DOI : 10.1109/TMAG.2005.854331

D. Unat, X. Cai, and S. B. Baden, Mint, Proceedings of the international conference on Supercomputing, ICS '11, pp.214-224, 2011.
DOI : 10.1145/1995896.1995932

F. Vazquez, G. Ortega, J. J. Fernandez, and E. M. Garzon, Improving the Performance of the Sparse Matrix Vector Product with GPUs, 2010 10th IEEE International Conference on Computer and Information Technology, pp.1146-1151, 2010.
DOI : 10.1109/CIT.2010.208

M. Wu, W. Shu, and J. Gu, Efficient Local Search for DAG Scheduling, IEEE Trans. on Parallel and Distributed Systems

H. Yu, Un Modéle Réactif Basé sur MARTE Dédié au Calcul Intensif à Parallélisme de Données : Transformation vers le Modèle Synchrone, 2008.