Theories And Techniques For Efficient High-End Computing