Proceedings of the First Workshop on Green and Smart Embedded System Technology: Infrastructures, Methods and Tools (GREEMBED 2010)