PICSEL: measuring user-perceived performance to control dynamic frequency scaling. - Arindam Mallik; Jack Cosgrove; Robert P. Dick; Gokhan Memik; Peter A. Dinda (ASPLOS, 2008)