231 search results - page 47 / 47 » Symbolic Model Checking for Event-Driven Real-Time Systems |
GLOBECOM
2010
IEEE
13 years 3 months ago
2010
IEEE
Motivated by the recent concept of Space-Time Shift Keying (STSK), we propose a novel cooperative STSK scheme, which is capable of achieving a flexible rate-diversity tradeoff, in ...