Sciweavers

2 search results - page 1 / 1
» Temperature- and energy-constrained scheduling in multitaski...
Sort
View
ISLPED
2010
ACM
158views Hardware» more  ISLPED 2010»
13 years 5 months ago
Temperature- and energy-constrained scheduling in multitasking systems: a model checking approach
The ongoing scaling of semiconductor technology is causing severe increase of on-chip power density and temperature in microprocessors. This has raised urgent requirement for both...
Weixun Wang, Xiaoke Qin, Prabhat Mishra
FORMATS
2003
Springer
13 years 10 months ago
Analysis of Real Time Operating System Based Applications
This text is dedicated to modelling of real-time applications running under multitasking operating system. Theoretical background is based on timed automata by Alur and Dill. As th...
Libor Waszniowski, Zdenek Hanzálek