IEEE transactions on computers (The Institute of Electrical and Electronics Engineers)