Sciweavers

2 search results - page 1 / 1
» Temperature- and energy-constrained scheduling in multitaski...
Sort
View
ISLPED
2010
ACM
158views Hardware» more  ISLPED 2010»
14 years 9 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
15 years 2 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