Design Technologies for Green and Sustainable Computing Systems (2013)