IEEE Transactions on Electronic Computers | IEEE Xplore