A processing engine for GPS correlation | IEEE Conference Publication | IEEE Xplore