For obtaining accurate distance of the satellite

• the GPS receiver slides its codes backwards until it synchronises with the satellite signals
• the signal arrival time is corrected for tropospheric and ionospheric delays
• the carrier phase measurement technique is adopted
• All of these