4520 search results - page 108 / 904 » Algebraic Techniques for Timed Systems |
137
click to vote
GLOBECOM
2007
IEEE
16 years 21 days ago
2007
IEEE
— In this paper, we develop low-complexity iterative channel estimation techniques for emerging IDMA systems. The channel estimators make use of pilots as well as soft decoded da...
165
click to vote
ISQED
2007
IEEE
16 years 20 days ago
2007
IEEE
In this paper we address the problem of reducing the energy consumption in distributed embedded systems associated with time-constraints and equipped with fault-tolerant technique...
153
click to vote
TASE
2008
IEEE
16 years 23 days ago
2008
IEEE
Verification techniques like SAT-based bounded model checking have been successfully applied to a variety of system models. Applying bounded model checking to compositional proce...
202
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
Whereas partial order methods have proved their efficiency for the analysis of discrete-event systems, their application to timed systems remains a challenging research topic. Here...
176
click to vote
CTW
2008
15 years 5 months ago
2008
Modern developments in the use of information technology within command and control allow unprecedented degrees of flexibility in the way teams deal with tasks. These developments...