IEEE Transactions on Electronic Computers