Using static scheduling techniques for the retargeting of high speed, compiled simulators for embedded processors from an abstract machine description | IEEE Conference Publication | IEEE Xplore