A Shadow Dynamic Finite State Machine for Branch Prediction: An Alternative for the 2-Bit Saturating Counter. IJCAI 35 (2).