High‐rate dead‐time corrections in a general purpose digital pulse processing system. (7th August 2015)