IEEE transaction on computers