Platune: a tuning framework for system-on-a-chip platforms