IEEE transactions on computers a publication of the IEEE Computer Society