As far as I'm aware they just timestamp the sample streams based on a local gps backed reference. Then when they get the data/tapes in one computing center they can just run a more sophisticated correlation in software to smooth things out.