Title: New double-byte error-correcting codes for memory systems
Subjects: Error correcting codes, Memory (Computers), Decoding, Theorem proving, Computer systems performance