IEEE TRANSACTIONS ON COMPUTERS