IEEE transactions on computers.