PPU: A Control Error-Tolerant Processor for Streaming Applications with Formal Guarantees - Golnari, Pareesa Ameneh; Yetim, Yavuz; Martonosi, Margaret; Vizel, Yakir; Malik, Sharad (ACM journal on emerging technologies in computing systems, 2017)