High-level power management of embedded systems with application-specific energy cost functions