854 search results - page 139 / 171 » Timing coverification of concurrent embedded real-time syste... |
RTAS
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper presents a new algorithm for fixed-priority scheduling of sporadic task systems on multiprocessors. The algorithm is categorized to such a scheduling class that quali...
102
click to vote
RTAS
2003
IEEE
15 years 3 months ago
2003
IEEE
The use of feedback control theory for performance guarantees in QoS-aware systems has gained much attention in recent years. In this paper, we investigate merging, within a singl...
SIGMETRICS
2010
ACM
15 years 2 months ago
2010
ACM
In this paper, we present a comprehensive analysis of real smartphone usage during a 6-month study of real user activity on the Android G1 smartphone. Our goal is to study the hig...
100
click to vote
ICALP
1994
Springer
15 years 1 months ago
1994
Springer
When provingthe correctness of algorithmsin distributed systems, one generally considers safety conditions and liveness conditions. The Input Output I O automaton model and its ti...
RTCSA
2005
IEEE
15 years 3 months ago
2005
IEEE
In current research toward the design of more powerful behavior of RTDBS under unpredictable workloads, different research groups focus their work on QoS (Quality of Service) guar...