Björn Franke Michael F. P. O'Boyle John Thomson Grigori Fursin Probabilistic source-level optimisation of embedded programs. 78-86 2005 conf/lctrts/2005 LCTES http://doi.acm.org/10.1145/1070891.1065922 db/conf/lctrts/lctes2005.html#FrankeOTF05