203 search results - page 41 / 41 » Pushdown Module Checking |
110
click to vote
GLOBECOM
2010
IEEE
15 years 3 days 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 ...
141
click to vote
EMSOFT
2011
Springer
14 years 1 months 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...
145
click to vote
ASPLOS
2012
ACM
13 years 10 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...