A GPU based real-time GPS software receiver