221 search results - page 22 / 45 » Design, runtime, and analysis of multi-agent systems |
RTCSA
2000
IEEE
15 years 2 months ago
2000
IEEE
This paper introduces an exact schedulability analysis for the optional computation model urider a specified failure hypothesis. From this analysis, we propose a solutionfor deter...
104
click to vote
DATE
2009
IEEE
15 years 27 days ago
2009
IEEE
—Power management at any abstraction level is a key issue for many mobile multimedia and embedded applications. In this paper a design workflow to generate system-level power mo...
77
Voted
EMSOFT
2006
Springer
15 years 1 months ago
2006
Springer
Recently, a number of frameworks were proposed to extend interface theory to the domains of single-processor and distributed real-time systems. This paper unifies some of these ap...
148
click to vote
ISSS
2002
IEEE
15 years 2 months ago
2002
IEEE
This paper addresses the problem of mapping an application, which is highly dynamic in the future, onto a heterogeneous multiprocessor platform in an energy efficient way. A two-p...
102
click to vote
KBSE
2000
IEEE
15 years 2 months ago
2000
IEEE
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...