High-level power management of embedded systems with application-specific energy cost functions | IEEE Conference Publication | IEEE Xplore