IEEE transactions on computers