An efficient GPU implementation for locating micro-seismic sources using 3D elastic wave time-reversal imaging. (September 2015)