Describir: Modeling and optimization of parallel and distributed embedded systems /