3387 search results - page 35 / 678 » Model-Checking for Real-Time Systems |
RTAS
2009
IEEE
14 years 2 months ago
2009
IEEE
CPU utilization control has recently been demonstrated to be an effective way of meeting end-to-end deadlines for distributed real-time systems running in unpredictable environmen...
RTSS
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract—Power dissipation has constrained the performance boosting of modern computer systems in the past decade. Dynamic power management has been widely applied to change the ...
EUC
2007
Springer
14 years 1 months ago
2007
Springer
Networked embedded systems present unique challenges for system designers composing distributed applications with dyanmic, real-time, and resilience requirements. We consider the ...
RTSS
2007
IEEE
14 years 1 months ago
2007
IEEE
We present a performance analysis technique for distributed real-time systems in a setting where certain components are modeled in a purely functional manner, while the remainin...
RTCSA
2005
IEEE
14 years 1 months ago
2005
IEEE
We address in this paper the problem of scheduling for multiprocessor real-time systems with hard and soft tasks. Utility functions are associated to soft tasks to capture their r...