Alok Garg, Michael C. Huang: A performance-correctness explicitly-decoupled architecture. MICRO 2008: 306-317