226 search results - page 46 / 46 » Symbolic Model Checking for Real-time Systems |
GLOBECOM
2010
IEEE
13 years 4 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 ...