A simple thermal model for multi-core processors and its application to slack allocation