Trends in acoustic velocity log technology at RD Instruments | IEEE Conference Publication | IEEE Xplore