Combining source-to-source transformations and processor instruction set extensions for the automated design-space exploration of embedded systems Further code optimization is left to the compiler. In this paper we develop a novel approach, namely the combined exploration of source-level ... RV Bennett...