The ChARM Tool for Tuning Embedded Systems