Linear Algorithmic Checksums for Deep-Neural-Network Error Detection: Fundamentals and Recent Advancements | IEEE Journals & Magazine | IEEE Xplore