Sciweavers

6 search results - page 2 / 2
» Safe Runtime Verification of Real-Time Properties
Sort
View
EMSOFT
2010
Springer
13 years 3 months ago
Resource adaptations with servers for hard real-time systems
Many real-time applications are designed to work in different operating modes each characterized by different functionality and resource demands. With each mode change, resource d...
Nikolay Stoimenov, Lothar Thiele, Luca Santinelli,...