Models And Techniques For Green High-Performance Computing