Now showing items 1-3 of 3
A study of viscous effects in seismic modeling, imaging, and inversion: Methodology, computational aspects, and sensitivity
Real Earth media are anelastic, which affects both the kinematics and dynamics of propagating waves: Waves are attenuated and dispersed. If anelastic effects are neglected, inversion and migration can yield erroneous ...
Automatic data layout for distributed memory machines
The goal of languages like Fortran D or High Performance Fortran (HPF) is to provide a simple yet efficient machine-independent parallel programming model. Besides the algorithm selection, the data layout choice is the key ...
Value-driven redundancy elimination
Value-driven redundancy elimination is a combination of value numbering and code motion. Value numbering is an optimization that assigns numbers to values in such a way that two values are assigned the same number if the ...