Journal: IEEE Transactions on Computers