A mathematical model of trace cache | IEEE Conference Publication | IEEE Xplore