7827 search results - page 158 / 1566 » time 2007 |
164
click to vote
RTSS
2007
IEEE
16 years 6 days ago
2007
IEEE
The integration phase of real-time COTS-based systems is often problematic because when multiple tasks run concurrently, the interference at the bus level between cache fetching a...
177
click to vote
VTC
2007
IEEE
16 years 6 days ago
2007
IEEE
— This work presents and analyzes a cooperative relaying approach which offers large scale spatial diversity and an additional coding advantage in a virtual antenna array. It uti...
127
click to vote
CAV
2007
Springer
16 years 3 days ago
2007
Springer
In 2005 we proposed the first efficient on-the-fly algorithm for solving games based on timed game automata with respect to reachability and safety properties. The first prototy...
146
click to vote
FORMATS
2007
Springer
16 years 3 days ago
2007
Springer
Dierence Bound Matrices (DBMs) are the most commonly used data structure for model checking timed automata. Since long they are being used in successful tools like Kronos or UPPAA...
141
click to vote
HYBRID
2007
Springer
16 years 3 days ago
2007
Springer
We review state-space control models in order to identify timing properties that can favour flexible scheduling of real-time control tasks. First, from the state-space model of a ...