Conception de SoC à Base d'Horloges Abstraites : Vers l'Exploration d'Architectures en MARTE, 2011. ,
URL : https://hal.archives-ouvertes.fr/tel-00597031
Array-OL : Proposition d'un Formalisme Tableau pour le Traitement de Signal Multi-Dimensionnel, Gretsi, 1995. ,
Guide to applying the UML. Springer professional computing, 2002. ,
Traceability mechanism for error localization in model transformation, proceedings of the ICSOFT 2009 Conference, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00461266
Using an Alternative Trace for QVT, Workshop on Multi-Paradigm Modeling, 2010. ,
URL : https://hal.archives-ouvertes.fr/inria-00524153
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
The Designer's Guide to VHDL, 2001. ,
Modèles et simulation de systèmes sur puce multiprocesseurs -Estimation des performances et de la consommation d'énergie, 2007. ,
Templates for the Solution of Linear Systems: Building Blocks for Iterative Methods, SIAM, 1994. ,
DOI : 10.1137/1.9781611971538
Electromagnetic modeling by finite element methods. Electrical engineering and electronics, 2003. ,
Efficient sparse matrix-vector multiplication on CUDA, 2008. ,
Multilevel MPSoC Performance Evaluation Using MDE Approach, International Symposium on System, 2006. ,
Optimizing irregular hpf applications using halos. Concurrency -Practice and Experience, pp.137-155, 2000. ,
DOI : 10.1007/bfb0097986
code_Carmel3D": mise en oeuvre de la version 1.0, 2008. ,
On the unification power of models. Software and System Modeling, pp.171-188, 2005. ,
Multidimensional Intensive Signal Processing Specification Research Report RR- 6113, INRIA, 2007. ,
Formal Semantics of Array-OL, a Domain Specific Language for Intensive Multidimensional Signal Processing, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00261178
Formal Semantics of Array-OL, a Domain Specific Language for Intensive Multidimensional Signal Processing, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00261178
Algorithmes Data-parallèles Irréguliers Appliqués à la Simulation Éléctromagntique Tridimensionelle, 2000. ,
http://www.caps-enterprise.org, 2011. ,
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
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
Using OpenMP: Portable Shared Memory Parallel Programming (Scientific and Engineering Computation), p.9780262533027, 2007. ,
Some Experiments and Issues to Exploit Multicore Parallelism in a Distributed-Memory Parallel Sparse Direct Solver ,
URL : https://hal.archives-ouvertes.fr/inria-00524249
Rate of Convergence of Several Conjugate Gradient Algorithms, SIAM Journal on Numerical Analysis, pp.248-259, 1972. ,
CRAY-1 computer system reference manual 224004, 1976. ,
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. ,
Cedric Dumoulin, and Frédéric Guyomarc'H. Component-based Models Going Generic : the MARTE Case-Study, p.162, 2008. ,
Parallel Sparse Matrix Solver on the GPU Applied to Simulation of Electrical Machines, 2009. ,
Enabling Traceability in an MDE Approach to Improve Performance of GPU Applications, Research Report RR, vol.7720, 2011. ,
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. ,
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. ,
An MDE Approach for Automatic Code Generation from MARTE to OpenCL, Research Report RR, vol.7525, 2011. ,
A Modeling Approach based on UM- L/MARTE for GPU Architecture, Symposium en Architectures nouvelles de machines (SympA'14), 2011. ,
Automatic ,
An MDE Approach for Automatic Code Generation from UML/MARTE to OpenCL, IEEE Computer in Science & Engineering -Special Edition on GPUs Journal, 2012. ,
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
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
An Array Approach for Signal Processing Design, Sophia-Antipolis conference on MicroElectronics (SAME'98): SoC Session, 1998. ,
Modeling Multigrid Algorithms for Variational Imaging, 2010 21st Australian Software Engineering Conference, pp.224-234 ,
DOI : 10.1109/ASWEC.2010.16
Analytical solutions to eddycurrent probe-coil problems, Journal of Applied Physics, pp.2829-2832, 1968. ,
DOI : 10.2172/4499902
Numerical linear algebra for high-performance computers . Software, environments, tools, Society for Industrial and Applied Mathematics, 1998. ,
DOI : 10.1137/1.9780898719611
Spécification Multidimensionnelle pour le Traitement du Signal Systématique, 2005. ,
GNU Octave Manual Version 3. Network Theory Ltd., 3 edition, 2008. ,
Electromagnetics: History, Theory, and Applications, 1999. ,
DOI : 10.1109/9780470544525
Consistent Discretization of Maxwell's Equations on Polyhedral Grids, 2007. ,
Some Computer Organizations and Their Effectiveness, Computers, IEEE Transactions, issue.219, pp.948-960 ,
ARM System-on-Chip Architecture, 2000. ,
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
Parallel Algorithms for Dense Linear Algebra Computations, SIAM Review, vol.32, issue.1, pp.54-135, 1990. ,
DOI : 10.1137/1032002
Synchronous Modeling and Analysis of Data Intensive Applications, EURASIP Journal on Embedded Systems, vol.2008, issue.1, 2008. ,
DOI : 10.1007/BF01379404
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. ,
Conjugate Gradients on Graphic Hardware: Performance and Feasibility. Lecture Notes in Computer Science, 2011. is under review and can be found in http ,
IEEE Standard Computer Dictionary: Compilation of IEEE Standard Computer Glossaries, 1991. ,
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
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
The Java Language Specification, Third Edition, 2005. ,
GPUmat User Guide, 2011. ,
Nonstrict independence-based program parallelization using sharing and freeness information, Theor. Comput. Sci, vol.410, pp.4704-4723, 2009. ,
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
Direct and iterative solvers for finite-element problems. Numerical Algorithms, pp.39-531019174710859, 1997. ,
Eclipse Modeling Project: A Domain-Specific Language (DSL) Toolkit, p.197, 0198. ,
System Design with SystemC, 2002. ,
Meta object facility (mof) 2.0 query/view/transformation. Specification Version 1.0, Object Management Group, p.44, 0198. ,
Signal: A formal design environment for real-time systems, In TAPSOFT, pp.789-790, 1995. ,
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
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. ,
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
Coupling Simulink and UML Models Formal Methods for Automation and Safety in Railway and Automotive Systems, Proceedings of Symposium FORMS, pp.304-311, 2004. ,
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. ,
Electromagnetics and calculation of fields, 1997. ,
DOI : 10.1007/978-1-4684-0526-2
1003.1c-1995 thread extensions, 1996. ,
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
Java tools and libraries for the advancement of sciences, 2011. ,
Physics of the Future: How Science Will Shape Human Destiny and Our Daily Lives by the Year 2100, 2011. ,
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
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
Programming Massively Parallel Processors: A Hands-on Approach, p.9780123814722, 2010. ,
PyCUDA and PyOpenCL: A Scripting-Based Approach to GPU Run-Time Code Generation. CoRR, abs/0911, 2011. ,
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
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. ,
A Design Flow to Map Parallel Applications onto FPGAs, 17th IEEE International Conference on Field Programmable Logic and Applications, 2007. ,
OpenMP to GPGPU, ACM SIGPLAN Notices, vol.44, issue.4, pp.101-110, 2009. ,
DOI : 10.1145/1594835.1504194
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
Parallel programming, Proceedings of the 45th annual conference on Design automation, DAC '08, pp.7-11, 2008. ,
DOI : 10.1145/1391469.1391474
A Treatise on Electricity and Magnetism, 1998. ,
DOI : 10.1017/cbo9780511709333
URL : http://www.e-rara.ch/download/pdf/2506524?name=Vol.%25201
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
Computing Horizons: Developing and Deploying for Microsoft Windows, 2010. ,
Progress in Digital Electronics, Technical Digest of the Intel Electronic Devices Meeting, p.13, 1975. ,
The OpenCL Specification 1.1. Specification , Khronos Group, p.180, 2011. ,
DOI : 10.1109/hotchips.2009.7478342
Optimal loop unrolling for GPGPU programs, 2010 IEEE International Symposium on Parallel & Distributed Processing (IPDPS), pp.1-11 ,
DOI : 10.1109/IPDPS.2010.5470423
Harnessing green it: Principles and practices. IT Professional, pp.24-33, 2008. ,
DOI : 10.1002/9781118305393
Pthreads Programming, 1996. ,
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. ,
Cited on page 44.) [114] Object Management Group. MOF Model To Text Transformation Language (MOFM2T, 2008. ,
UML Version 2.1.2 Specification . http://www.omg.org/spec, 2008. ,
UML Profile for MARTE: Modeling and Analisys of Real-Time Embedded Systems, 2011. ,
Object Constraint Language (OCL) http://www.omg.org/spec/OCL, 2011. ,
Scenarios of Traceability in Model to Text Transformations, Model Driven Architecture- Foundations and Applications, 2007. ,
DOI : 10.1007/978-3-540-72901-3_11
OpenHMPP -Open Hybrid Manycore Parallel Programming, 2011. ,
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
Principles of Object-Oriented Modeling and Simulation with Modelica 2.1, 2004. ,
DOI : 10.1109/9780470545669
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. ,
MARTE based model driven design methodology for targeting dynamically reconfigurable FPGA based SoCs, 2010. ,
Treating a User-defined Parallel Library as a Domain-Specfiic Language, Proceedings of the 16th International Parallel and Distributed Processing, 2002. ,
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. ,
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
Enabling Traceability in an MDE Approach to Improve Performance of GPU Applications, 2011. ,
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
An Environment for High-Productivity High- Performance Computing using GPUs/Accelerators Collaborative research, NSF, 2009. ,
Model-driven engineering, IEEE Computer, vol.39, issue.2, 2006. ,
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
Block Algorithms for Parallel Machines Numerical Algorithms for Modern Parallel Computer Architectures, number 13 in IMA, Mathematics and Its Applications, pp.197-207, 1988. ,
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
Une approche orientée modèle pour la parallélisation d'un code de calcul éléments finis, pp.39-132, 2009. ,
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
Institute of High Performance Computing - A*STAR, Matrix Multiplication on GPU in Octave. Research report, 2008. ,
PGI Accelerator Compilers, 2011. ,
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
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
Mint, Proceedings of the international conference on Supercomputing, ICS '11, pp.214-224, 2011. ,
DOI : 10.1145/1995896.1995932
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
Efficient Local Search for DAG Scheduling, IEEE Trans. on Parallel and Distributed Systems ,
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. ,