A mathematical hard disk timing model for full system simulation | IEEE Conference Publication | IEEE Xplore