Informatics Report Series



Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

Title:Probabilistic Source-Level Optimisation of Embedded Programs
Authors: Bjoern Franke ; Michael O'Boyle ; John Thomson ; Grigori Fursin
Date:Jun 2005
Publication Title:Proceedings of LCTES 2005 (Languages, Compilers, and Tools for Embedded Systems)
Publication Type:Conference Paper Publication Status:Published
Page Nos:78-86
DOI:10.1145/10695910.1065922 ISBN/ISSN:0362-1340
Efficient implementation of DSP applications is critical for many embedded systems. Optimising C compilers for embedded processors largely focus on code generation and instruction scheduling which, with their growing maturity, are providing diminishing returns. This paper empirically evaluates another approach, namely source-level transformations and the probabilistic feedback-driven search for "good" transformation sequences within a large optimisation space. This novel approach combines two selection methods: one based on exploring the optimisation space, the other focused on localised search of good areas. This technique was applied to the UTDSP benchmark suite on two digital signal and multimedia processors (Analog Devices TigerSHARC TS-101, Philips TriMedia TM-1100) and an embedded processor derived from a popular general-purpose processor architecture (Intel Celeron 400). On average, our approach gave a factor of 1.71 times improvement across all platforms equivalent to an average 41% reduction in execution time, outperforming existing approaches. In certain cases a speedup of up to 7 was found for individual benchmarks.
Links To Paper
1st Link
2nd Link
Bibtex format
author = { Bjoern Franke and Michael O'Boyle and John Thomson and Grigori Fursin },
title = {Probabilistic Source-Level Optimisation of Embedded Programs},
book title = {Proceedings of LCTES 2005 (Languages, Compilers, and Tools for Embedded Systems)},
publisher = {ACM},
year = 2005,
month = {Jun},
pages = {78-86},
doi = {10.1145/10695910.1065922},
url = {},

Home : Publications : Report 

Please mail <> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh