publication venue for Transient overclocking for aperiodic task execution in hard real-time systems 2008 Reactive speed control in temperature-constrained real-time systems 2006 On-Line Scheduling for Checkpointing Imprecise Computation 1993