Exact and approximate algorithms for the extension of embedded processor instruction sets | IEEE Journals & Magazine | IEEE Xplore