203 search results - page 41 / 41 » Pushdown Module Checking |
101
Voted
GLOBECOM
2010
IEEE
14 years 11 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 ...
133
Voted
EMSOFT
2011
Springer
14 years 25 days ago
2011
Springer
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...
138
Voted
ASPLOS
2012
ACM
13 years 8 months ago
2012
ACM
Dynamic binary translation (DBT) is a powerful technique that enables fine-grained monitoring and manipulation of an existing program binary. At the user level, it has been emplo...