Revisiting the linear programming framework for leakage power vs. performance optimization