A novel method based on MapReduce to extract auxiliary information for GNSS receivers. (27th August 2016)