@article{P106.130, author={Vandierendonck, Hans and Jacquet, Jean-Marie and Nootaert, Bavo and De Bosschere, Koen}, title={Formally Modeling Microprocessor Caches and Branch Predictors}, journal={WSEAS Transactions on Computers}, year={2006}, month={11}, volume={5}, number={11}, pages={2588-2595}, editor={Mastorakis, N.}, publisher={WSEAS Press}, }