7380 search results - page 235 / 1476 » time 2008 |
173
click to vote
FMICS
2008
Springer
15 years 8 months ago
2008
Springer
Given the intractability of exhaustively verifying software, the use of runtime-verification, to verify single execution paths at runtime, is becoming popular. Although the use of ...
209
click to vote
ECRTS
2008
IEEE
15 years 6 months ago
2008
IEEE
Fault tolerance is an important aspect in real-time computing. In real-time control systems, tasks could be faulty due to various reasons. Faulty tasks may compromise the performa...
206
click to vote
HASE
2008
IEEE
15 years 6 months ago
2008
IEEE
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
162
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
We investigate the limits of communication over the discrete-time Additive White Gaussian Noise (AWGN) channel, when the channel output is quantized using a small number of bits. W...
177
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
The goal of combining beamforming and space-time coding is to obtain full-diversity order and to provide additional received power (array gain) compared to conventional space-time...