Daniel A. Jiménez Heather L. Hanson Calvin Lin Boolean Formula-Based Branch Prediction for Future Technologies. 97-106 2001 conf/IEEEpact/2001 IEEE PACT http://www.computer.org/proceedings/pact/1363/13630097abs.htm db/conf/IEEEpact/IEEEpact2001.html#JimenezHL01