Power modeling and management for adaptive multi-core processors