Modeling cache inconsistencies in an ATM high-speed network interface architecture | IEEE Conference Publication | IEEE Xplore