Performance criteria and measurement for a time-sharing system | IBM Journals & Magazine | IEEE Xplore