Since the observation precision of the Global Navigation Satellite System (GNSS) carrier phase is on the order of millimeters, if the phase ambiguity is correctly solved, while calibrating the receiver inter-frequency bias, time synchronization on the order of tens of picoseconds is expected. In this contribution, a method that considers the prior constraints of the between-receiver inter-frequency bias (IFB) and its random variation characteristics is proposed for the estimation of the between-receiver clock difference, based on the uncombined GNSS carrier phase and pseudorange observations of the zero and short baselines. The proposed method can rapidly achieve the single-difference ambiguity resolution of the zero and short baselines, and then obtain the high-precision relative clock offset, by using only the carrier phase observations, along with the between-receiver IFBs being simultaneously determined. Our numerical tests, carried out using GNSS observations sampled every 30 s by a dedicatedly selected set of zero and short baselines, show that the method can fix the between-receiver single-difference ambiguity successfully within an average of fewer than 2 epochs (interval 30 s). Then, a clock difference between two receivers with millimeter precision is obtained, achieving time synchronization on tens of picoseconds level, and deriving a frequency stability of 5 × 10⁻¹⁴ for averaging times of 30,000 s. Furthermore, the proposed approach is compared with the precise point positioning (PPP) time transfer method. The results show that, for different types of receivers, the agreement between the two methods is between −6.7 ns and 0.2 ns.

Realizing real-time dense 3D reconstruction on resource-limited mobile platforms remains a significant challenge, particularly in low-texture environments that demand robust multi-frame fusion to resolve matching ambiguities. However, the inherent tight coupling of pose estimation and mapping in traditional monolithic SLAM architectures imposes a severe restriction on integrating high-complexity fusion algorithms without compromising tracking stability. To overcome these limitations, this paper proposes MDR–SLAM, a modular and fully decoupled stereo framework. The system features a novel keyframe-driven temporal filter that synergizes efficient ELAS stereo matching with Kalman filtering to effectively accumulate geometric constraints, thereby enhancing reconstruction density in textureless areas. Furthermore, a confidence-based fusion backend is employed to incrementally maintain global map consistency and filter outliers. Quantitative evaluation on the NUFR-M3F indoor dataset demonstrates the effectiveness of the proposed method: compared to the standard single-frame baseline, MDR–SLAM reduces map RMSE by 83.3% (to 0.012 m) and global trajectory drift by 55.6%, while significantly improving map completeness. The system operates entirely on CPU resources with a stable 4.7 Hz mapping frequency, verifying its suitability for embedded mobile robotics.