dérivée d'un article de 1965 [Moo65], prévoit que le nombre de transistors des processeurs double tous les deux ans. Les constructeurs s'en sont rapidement servi comme feuille de route technologique ,
mesure le temps de résolution d'un système matriciel dense par une méthode directe. Ce test de performance historique devrait prochainementévoluer prochainementévoluer en considérant une résolution matricielle creuse par une méthode itérative, 1979. ,
Aps_iso := eval(Aij_iso): 'assuming'([simplify(taylor(App, theta = 0, 3))], [Vs ,
[kappa = 1, Vp = 3000, Vs = 1750]): plot([App_VTI, App_VTI_iso, App_ref_iso], theta = 0 ,
[kappa = 1, Vp = 3000, Vs = 1750]): plot([Aps_VTI, Aps_VTI_iso, Aps_ref_iso], theta = 0 ,
Asp_iso := eval(Aij_iso): 'assuming'([simplify(taylor(Ass, theta = 0, 3))], [Vp::positive,kappa ,
AnnexesàAnnexesà la partie I C[V[i,j],V[k,l]]:=temp: od; od; od; od; ###équation###équation de dispersion A:=Matrix ,
=1: Vp:=3000: Vs:=1500: epsilon:=0.25: delta:=0.10: gam:=0.20: theta_TTI:=30*Pi ,
Vp^2-Vs^2)^2+2*delta*Vp^2*rho^2*(Vp^2-Vs^2)) -rho*Vs^2: Cvti[2,3]:=Cvti[1,3]: temp:=0: for p from 1 to 3 do for q from 1 to 3 do for r from 1 to 3 do for s from 1 to 3 do temp, pp.3-5 ,
Faster, cheaper, better -a hybridization methodology to develop linear algebra software for gpus, GPU Computing Gems, 2010. ,
LU factorization for accelerator-based systems, The 9th IEEE/ACS International Conference on Computer Systems and Applications, AICCSA, pp.217-224, 2011. ,
QR Factorization on a Multicore Node Enhanced with Multiple GPU Accelerators, 2011 IEEE International Parallel & Distributed Processing Symposium, 2011. ,
DOI : 10.1109/IPDPS.2011.90
URL : https://hal.archives-ouvertes.fr/inria-00547614
Task-Based FMM for Multicore Architectures, SIAM Journal on Scientific Computing, vol.36, issue.1, pp.66-93, 2014. ,
DOI : 10.1137/130915662
URL : https://hal.archives-ouvertes.fr/hal-00807368
Unified Analysis of Discontinuous Galerkin Methods for Elliptic Problems, SIAM Journal on Numerical Analysis, vol.39, issue.5, pp.1749-1779, 2002. ,
DOI : 10.1137/S0036142901384162
Multifrontal QR Factorization for Multicore Architectures over Runtime Systems, Euro-Par 2013 Parallel Processing, pp.521-532, 2013. ,
DOI : 10.1007/978-3-642-40047-6_53
URL : https://hal.archives-ouvertes.fr/hal-01220611
Task-based conjugate-gradient for multi-gpus platforms, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00767368
Acoustic approximations for seismic processing in transversely isotropic media, Geophysics, vol.63, pp.623-631, 1998. ,
An acoustic wave equation for anisotropic media, Geophysics, vol.65, pp.1239-1250, 2000. ,
Dispersive and Dissipative Properties of Discontinuous Galerkin Finite Element Methods for the Second-Order Wave Equation, Journal of Scientific Computing, vol.15, issue.2, pp.1-3, 2006. ,
DOI : 10.1007/s10915-005-9044-x
StarPU : A Unified Platform for Task Scheduling on Heterogeneous Multicore Architectures . Concurrency and Computation : Practice and Experience, Special Issue : Euro-Par, pp.187-198, 2009. ,
URL : https://hal.archives-ouvertes.fr/inria-00384363
Scheduling Tasks over Multicore machines enhanced with Accelerators : a Runtime System's Perspective, 2011. ,
Modélisation et simulation numérique pour la migration terrestre paréquationparéquation d'ondes, 2009. ,
Task-Based Programming for Seismic Imaging: Preliminary Results, 2014 IEEE Intl Conf on High Performance Computing and Communications, 2014 IEEE 6th Intl Symp on Cyberspace Safety and Security, 2014 IEEE 11th Intl Conf on Embedded Software and Syst (HPCC,CSS,ICESS), pp.1259-1266, 2014. ,
DOI : 10.1109/HPCC.2014.205
URL : https://hal.archives-ouvertes.fr/hal-01057580
Absorbing Boundary Conditions for 2D Tilted Transverse Isotropic elastic media, EDP Sciences and SMAI ESAIM : Proceedings, volume 45 of Congrès SMAI 2013, pp.400-409, 2014. ,
DOI : 10.1051/proc/201445041
Flexible Development of Dense Linear Algebra Algorithms on Massively Parallel Architectures with DPLASMA, IPDPS Workshops, pp.1432-1441, 2011. ,
Flexible development of dense linear algebra algorithms on massively parallel architectures with DPLASMA, 12th IEEE International Workshop on Parallel and Distributed Scientific and Engineering Computing (PDSEC'11), 2011. ,
DAGuE : A generic distributed DAG engine for high performance computing, Parallel Computing, vol.38, pp.37-51, 2012. ,
PaRSEC : Exploiting Heterogeneity to Enhance Scalability, Computing in Science Engineering, vol.15, issue.6, pp.36-45, 2013. ,
Grid'5000: A Large Scale And Highly Reconfigurable Experimental Grid Testbed, International Journal of High Performance Computing Applications, vol.20, issue.4, pp.481-494, 2006. ,
DOI : 10.1177/1094342006070078
URL : https://hal.archives-ouvertes.fr/hal-00684943
hwloc : a generic framework for managing hardware affinities in HPC applications, Proceedings of the 18th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP2010), 2010. ,
Résolution par une méthode d'´ equations intégrales d'unprobì eme de diffraction d'ondesélastiquesondesélastiques transitoires par une fissure, 1991. ,
Analysis of programs for parallel processing, IEEE Transactions on Electronic Computers, vol.15, issue.5, pp.757-763, 1966. ,
A perfectly matched layer for the absorption of electromagnetic waves, Journal of comptational physics, vol.114, pp.185-200, 1994. ,
Three-dimensional perfectly matched layer for the absorption of electromagnetic waves, J. of Comp. Phys, vol.127, pp.363-379, 1996. ,
Stability of perfectly matched layers, group velocities and anisotropic waves, Journal of Computational Physics, vol.188, issue.2, pp.399-433, 2003. ,
DOI : 10.1016/S0021-9991(03)00184-0
Discontinuous galerkin methods for solving helmholtz elastic wave equations for seismic imaging, ECCOMAS -Book of abstracts, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01096324
High-order Absorbing Boundary Conditions for anisotropic and convective wave equations, Journal of Computational Physics, vol.229, issue.4, pp.1099-1129, 2010. ,
DOI : 10.1016/j.jcp.2009.10.012
Cilk : An efficient multithreaded runtime system, Journal of parallel and distributed computing, vol.37, issue.1, pp.55-69, 1996. ,
Reverse time migration, GEOPHYSICS, vol.48, issue.11, pp.1514-1524, 1983. ,
DOI : 10.1190/1.1441434
Parallel tiled QR factorization for multicore architectures. Concurrency and Computation : Practice and Experience, pp.1573-1590, 2008. ,
TIME-DOMAIN PARALLEL SIMULATION OF HETEROGENEOUS WAVE PROPAGATION ON UNSTRUCTURED GRIDS USING EXPLICIT, NONDIFFUSIVE, DISCONTINUOUS GALERKIN METHODS, Journal of Computational Acoustics, vol.14, issue.01, pp.57-81, 2006. ,
DOI : 10.1142/S0218396X06002937
URL : https://hal.archives-ouvertes.fr/hal-00607725
The interior penalty discontinuous Galerkin method for elastic wave propagation: grid dispersion, Geophysical Journal International, vol.175, issue.1, pp.83-93, 2008. ,
DOI : 10.1111/j.1365-246X.2008.03915.x
Radiation boundary conditions for wave-like equations, Communications on Pure and Applied Mathematics, vol.7, issue.6, pp.707-725, 1980. ,
DOI : 10.1002/cpa.3160330603
Diet: A Scalable Toolbox to Build Network Enabled Servers on the Grid, International Journal of High Performance Computing Applications, vol.20, issue.3, pp.335-352, 2006. ,
DOI : 10.1177/1094342006067472
URL : https://hal.archives-ouvertes.fr/hal-01429867
Unified Hybridization of Discontinuous Galerkin, Mixed, and Continuous Galerkin Methods for Second Order Elliptic Problems, SIAM Journal on Numerical Analysis, vol.47, issue.2, pp.1319-1365, 2009. ,
DOI : 10.1137/070706616
Compact DAG Representation and Its Dynamic Scheduling, Journal of Parallel and Distributed Computing, vol.58, issue.3, pp.487-514, 1999. ,
DOI : 10.1006/jpdc.1999.1566
URL : https://hal.archives-ouvertes.fr/inria-00098841
Discontinuous Galerkin methods, theory, computation and applications, 2000. ,
The development of discontinuous Galerkin methods, Lect. Notes Comput. Sci. Eng, vol.11, 2000. ,
Toward a unified theory of reflector mapping, Geophysics, vol.36, issue.3, pp.467-481, 1971. ,
Devising discontinuous galerkin methods for non-linear hyperbolic conservation laws, J. Comput. Appl. Math, vol.128, pp.187-204, 2001. ,
High order absorbing boundary conditions for wave propagations model : Straight line boundary and corner cases, SIAM, 1993. ,
Supermatrix out-of-order scheduling of matrix operations for smp and multi-core architectures, Nineteenth Annual ACM Symposium on Parallel Algorithms and Architectures SPAA'07, pp.116-125, 2007. ,
Application of the perfectly matched absorbing layer model to the linear elastodynamic problem in anisotropic heterogeneous media, GEOPHYSICS, vol.66, issue.1, pp.294-307, 2001. ,
DOI : 10.1190/1.1444908
Stable P-wave modeling for reverse-time migration in tilted TI media, GEOPHYSICS, vol.76, issue.2, pp.65-75, 2011. ,
DOI : 10.1190/1.3533964
PTG: An Abstraction for Unhindered Parallelism, 2014 Fourth International Workshop on Domain-Specific Languages and High-Level Frameworks for High Performance Computing, pp.21-30, 2014. ,
DOI : 10.1109/WOLFHPC.2014.8
The international exascale software roadmap, International Journal of High Performance Computer Applications, vol.25, issue.1, 2011. ,
Anisotropic reverse-time migration for tilted TI media, Geophysical Prospecting, vol.17, issue.6, pp.853-869, 2007. ,
DOI : 10.1046/j.1365-2478.2001.00255.x
MAGMA ; a new generation of linear algebra libraries for GPU and multicore architecture, 2012. ,
Wave???field separation in two???dimensional anisotropic media, GEOPHYSICS, vol.55, issue.7, pp.914-919, 1990. ,
DOI : 10.1190/1.1442906
First version of a data flow procedure language, Programming Symposium, pp.362-376, 1974. ,
A New Pseudo-acoustic Wave Equation for VTI Media, 70th EAGE Conference and Exhibition incorporating SPE EUROPEC 2008, p.33, 2008. ,
DOI : 10.3997/2214-4609.20147774
A high-order Discontinuous Galerkin method for the seismic wave propagation, ESAIM : Proceedings, pp.70-89, 2008. ,
DOI : 10.1051/proc/2009020
URL : https://hal.archives-ouvertes.fr/hal-00868418
Toward a new metric for ranking high performance computing systems, 2013. ,
An arbitrary high-order discontinuous Galerkin method for elastic waves on unstructured meshes - II. The three-dimensional isotropic case, Geophysical Journal International, vol.167, issue.1, pp.319-336, 2006. ,
DOI : 10.1111/j.1365-246X.2006.03120.x
OpenMP: an industry standard API for shared-memory programming, IEEE Computational Science and Engineering, vol.5, issue.1, pp.46-55, 1998. ,
DOI : 10.1109/99.660313
Acoustic VTI wave equations and their application for anisotropic reverse???time migration, SEG Technical Program Expanded Abstracts 2008, pp.2186-2190, 2008. ,
DOI : 10.1190/1.3059320
The LINPACK benchmark : An explanation, Supercomputing, pp.456-474, 1988. ,
Extending the OpenMP tasking model to allow dependent tasks, OpenMP in a New Era of Parallelism, 4th International Workshop, IWOMP, pp.111-122, 2008. ,
Absorbing boundary conditions for the numerical simulation of waves, Mathematics of Computation, vol.31, issue.139, pp.629-651, 1977. ,
DOI : 10.1090/S0025-5718-1977-0436612-4
Radiation boundary conditions for acoustic and elastic wave calculations, Communications on Pure and Applied Mathematics, vol.28, issue.3, pp.314-358, 1979. ,
DOI : 10.1002/cpa.3160320303
Reverse time migration in tilted transversely isotropic (TTI) media, GEOPHYSICS, vol.74, issue.6, pp.179-187, 2009. ,
DOI : 10.1190/1.3269902
Coupled equations for reverse time migration in transversely isotropic media, GEOPHYSICS, vol.75, issue.1, pp.11-22, 2010. ,
DOI : 10.1190/1.3294572
KAAPI, Proceedings of the 2007 international workshop on Parallel symbolic computation, PASCO '07, pp.15-23, 2007. ,
DOI : 10.1145/1278177.1278182
URL : https://hal.archives-ouvertes.fr/hal-00647474
Techniques for an efficient implementation of RTM in TTI media, SEG Technical Program Expanded Abstracts 2011, pp.3393-3397, 2011. ,
DOI : 10.1190/1.3627902
Exact and high order non-reflecting computational boundaries, volume Mathematical and Numerical Aspects of Wave Propagation, 2003. ,
X-Kaapi : a multi paradigm runtime for multicore architectures Discontinuous galerkin finite element method for the wave equation Shear waves in acoustic anisotropic media New results on absorbing layers and radiation boundary conditions , volume Topics in Computational Wave Propagation -Direct and Inverse Problems of Computational Science and Engineering Etude de conditions aux limites absorbantes pour des schemas numeriques relatifs a des equations hyperboliques lineaires Absorbing boundary conditions for elastic waves The analysis of matched layers Subsalt imaging using tti reverse time migration. The leading edge Comparison of isotropic, vti and tti reverse time migration : an experiment on bp anisotropic benchmark dataset Finite element methods for linear hyperbolic equations An analysis of the discontinuous galerkin method for a scalar hyperbolic equation Intel Xeon Phi Coprocessor High-Performance Programming An arbitrary high-order discontinuous galerkin method for elastic waves on unstructured meshes I : The two-dimensional isotropic case with external source terms Quantitative accuracy analysis of discontinuous galerkin method for seismic wave propagation Multi and Many-core processing : architecture, programming , algorithms, & Applications, Exact nonreflecting boundary conditions for the time dependent wave equation Parallel ProcessingKLY + 13] J. Kurzak, P. Luszczek, A. YarKhan, M. Faverge, J. Langou, H. Bouwmeester , and J. Dongarra. Multithreading in the PLASMA library, pp.280-297, 1980. ,
H -lu factorization on many-core systems, 2014. ,
Stable Reverse-time Migration in Variable-tilt TI Media, 71st EAGE Conference and Exhibition incorporating SPE EUROPEC 2009, p.64, 2009. ,
DOI : 10.3997/2214-4609.201400050
The cilk++ concurrency platform Sur la résolution des systèmes hyperboliques du premier ordre par des methodes d'´ eléments finis Taking advantage of hybrid systems for sparse direct solvers via task-based runtimes, Proceedings of the IEEE International Symposium on Parallel & Distributed Processing Workshops and Phd Forum (IPDPSW'14), HCW 2014, 2014. [LHZAP + 08] A.C. Lesage, H. H. Zhou, M. Araya-Polo, J.M. Cela, and F. Ortigosa. Hybrid finite difference-pseudospectral method for 3d rtm in tti media EAGE, pp.244-257, 1975. ,
Decoupled p and SV waves in an acoustic VTI media On a finite element method for solving the neutron transport equation A task-based h-matrix solver for acoustic and electromagnetic problems on multicore architectures, 79st Annual International Meeting SEG Expended Abstracts SciCADE, the International Conference on Scientific Computation and Differential Equations, 2013. [LY14] H. Ltaief and R. Yokota. Data-driven execution of fast multipole methods. Concurrency and Computation : Practice and Experience, pp.2844-2848, 1974. ,
A robust absorbing layer method for anisotropic seismic wave modeling Migration by extrapolation of time-dependent boundary values, Journal of Computational Physics Geophysical Prospecting, vol.279, issue.3, pp.218-240, 1983. ,
Cramming more components onto integrated circuits [MPI98] MPI?the Complete Reference : The MPI core A Finite Element Method for Convection-Diffusion Problems, Electronics, vol.38, issue.1, pp.1-4, 1965. ,
A flexible and portable programming model for SMP and multi-cores, 2007. ,
Transparent boundary conditions for elastic anisotropic (VTI) media : axially symmetric case, Commun. Comput. Phys, vol.11, issue.2, pp.541-554, 2012. ,
Separated p-and SV-wave equations for VTI media, 81st Annual International Meeting SEG Expended Abstracts, pp.163-167, 2011. ,
Solving dense linear systems on platforms with multiple hardware accelerators, ACM SIGPLAN Notices, vol.44, issue.4, pp.121-130, 2009. ,
Scheduling of QR factorization algorithms on SMP and multicore architectures, Proceedings of PDP'08, FLAME Working Note #24, 2008. ,
Intel threading building blocks : outfitting C++ for multi-core processor parallelism, 2007. ,
Boundary conditions for the numerical solution of wave equations problem, Geophysics, vol.43, issue.6, pp.1099-1110, 1978. ,
Triangular mesh methods for the neutron transport equation, 1973. ,
A NUMA-Aware Fine Grain Parallelization Framework for Multi-core Architecture, 2013 IEEE International Symposium on Parallel & Distributed Processing, Workshops and Phd Forum, 2013. ,
DOI : 10.1109/IPDPSW.2013.204
URL : https://hal.archives-ouvertes.fr/hal-00858350
The form and laws of propagation of seismic wavelets, Geophysics, vol.18, pp.10-40, 1953. ,
Partitioning and scheduling parallel programs for multiprocessors, 1989. ,
Absorbing boundary conditions for scalar waves in anisotropic media. part 1 : Time harmonic modeling, J. Comput. Phys, vol.229, issue.19, pp.6696-6714, 2010. ,
Absorbing boundary conditions for scalar waves in anisotropic media. part 2 : Time-dependent modeling, J. Comput. Phys, vol.229, issue.18, pp.6644-6662, 2010. ,
Accurate absorbing boundary conditions for anisotropic elastic media. part 1 : Elliptic anisotropy, J. Comput. Phys, vol.231, issue.22, pp.7584-7607, 2012. ,
Accurate absorbing boundary conditions for anisotropic elastic media. part 2 : Untilted non-elliptic anisotropy, J. Comput. Phys, vol.231, issue.22, pp.7608-7625, 2012. ,
hp-finite element methods for hyperbolic problems, MAFELAP X, pp.143-162, 2000. ,
hp-DGFEM for partial differential equations with non-negative characteristic form, Lect. Notes Comput. Sci. Eng, vol.11, 2000. ,
The free lunch is over : A fundamental turn toward concurrency in software, Dr. Dobb's Journal, vol.30, issue.3, 2005. ,
Welcome to the jungle, 2012. ,
Pseudodifferential operators, 1981. ,
Weak elastic anisotropy, Geophysics, issue.10, pp.511954-1966, 1986. ,
Modélisation mathématique et numérique de la propagation des ondesélastiquesondesélastiques tridimensionnelles dans des milieux fissurés, 1999. ,
P-wave signatures and notation for transversely isotropic media : An overview, Geophysics, vol.61, issue.2, pp.467-483, 1996. ,
Seismic signatures and analysis of reflection data in anisotropic media, 2001. ,
Nonhyperbolic reflection moveout in anisotropic media, GEOPHYSICS, vol.59, issue.8, pp.1290-1304, 1994. ,
DOI : 10.1190/1.1443686
Schémas numériques d'ordré elevé en temps et en espace pour l'´ equation des ondes du premier ordre. ApplicationàApplicationà la Reverse Time Migration, 2014. ,
Exascale computing for seismic exploration, 2014. ,
Iterative depth migration by backward time propagation, SEG, pp.827-830, 1983. ,
RTM using effective boundary saving: A staggered grid GPU implementation, Computers & Geosciences, vol.68, pp.64-72, 2014. ,
DOI : 10.1016/j.cageo.2014.04.004
QUARK users' guide : QUeueing And Runtime for Kernels, 2011. ,
Isotropic angle-domain elastic reverse-time migration, GEOPHYSICS, vol.73, issue.6, pp.229-239, 2008. ,
DOI : 10.1190/1.2981241
Elastic wave-mode separation for VTI media, GEOPHYSICS, vol.74, issue.5, pp.19-32, 2009. ,
DOI : 10.1190/1.3184014
Improving the efficiency of elastic wave-mode separation for heterogeneous tilted transverse isotropic media, GEOPHYSICS, vol.76, issue.4, pp.65-78, 2011. ,
DOI : 10.1190/1.3581360
The libflame Library for Dense Matrix Computations, Computing in Science and Engineering, vol.11, issue.6, pp.56-63, 2009. ,
Elastic imaging and time-lapse migration based on adjoint methods, GEOPHYSICS, vol.74, issue.6, pp.74-167, 2009. ,
DOI : 10.1190/1.3261747
Decoupled equations for reverse time migration in tilted transversely isotropic media, GEOPHYSICS, vol.77, issue.2, pp.37-45, 2012. ,
DOI : 10.1190/geo2011-0175.1
Reverse time migration in 3D heterogeneous TTI media, SEG Technical Program Expanded Abstracts 2008, pp.2196-2200, 2008. ,
DOI : 10.1190/1.3059322
A stable TTI reverse time migration and its implementation, SEG, pp.2794-2798, 2009. ,
An anisotropic acoustic wave equation for modeling and migration in 2d tti media, SEG, 2006. ,
An anisotropic acoustic wave equation for vti media, EAGE, 2006. ,
A stable TTI reverse time migration and its implementation, GEOPHYSICS, vol.76, issue.3, pp.3-11, 2011. ,
DOI : 10.1190/1.3554411