IEEE Transactions on Computers