Reduced-complexity binary search for Doppler estimation in GNSS receivers | IEEE Conference Publication | IEEE Xplore