IEEE Transactions on computers