3387 search results - page 154 / 678 » Model-Checking for Real-Time Systems |
205
click to vote
PAAMS
2010
Springer
15 years 4 months ago
2010
Springer
This presents a study in which a high level abstract architecture was used to design open multi-agent systems and virtual organizations that offer services with temporal constraint...
174
click to vote
VLSID
2008
IEEE
16 years 7 months ago
2008
IEEE
Worst-case execution time (WCET) analysis and, in general, the predictability of real-time applications implemented on multiprocessor systems has been addressed only in very restri...
182
click to vote
SEUS
2007
IEEE
16 years 1 months ago
2007
IEEE
The popularity of mobile and multimedia applications made real-time support a mandatory feature for embedded operating systems. However, the current situation is that the overall p...
180
click to vote
FORMATS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Introducing a monitor on a system typically changes the system's behaviour by slowing the system down and increasing memory consumption. This may possibly result in ...
183
click to vote
ECRTS
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper, we explore the feasibility and performance optimization problems for real-time systems that must remain functional during an operation/mission with a fixed, initial...