With the evolution of today´s semiconductor technology, chip temperature increases rapidly mainly due to the growth in power density. However, the obtained increase in performance imposes a major increase in temperature, which in turn reduces the system reliability. Exceeding a certain threshold temperature could lead to a reduction of performance, or even the damage of the physical system. The presentation will describe models and methods that link the discrete world of computations with temperature. This allows to answer some fundamental questions like: What is the maximal temperature during a computation? What timing properties can be guaranteed under feedback control of temperatures? In addition, we will show how the temperature constraint can be integrated into a high-level programming environment for embedded multiprocessor systems.