ReiNN: Efficient error resilience in artificial neural networks using encoded consistency checks | IEEE Conference Publication | IEEE Xplore