0 Modeling, Profiling, and Debugging the Energy Consumption of