1833 search results - page 268 / 367 » Mechanized Verification with Sharing |
147
click to vote
ICC
2009
IEEE
15 years 11 months ago
2009
IEEE
—We consider a multi-access two-way relay network where multiple pairs of users exchange information with their pre-assigned partners with the assistance of an intermediate relay...
143
click to vote
IEEEPACT
2009
IEEE
15 years 11 months ago
2009
IEEE
Translation Lookaside Buffers (TLBs) are a staple in modern computer systems and have a significant impact on overall system performance. Numerous prior studies have addressed TL...
129
click to vote
INFOCOM
2009
IEEE
15 years 11 months ago
2009
IEEE
—We develop diverse routing schemes for dealing with multiple, possibly correlated, failures. While disjoint path protection can effectively deal with isolated single link failur...
119
click to vote
DRM
2009
Springer
15 years 11 months ago
2009
Springer
Digital Rights Management (DRM) is used to protect copyrighted content from unauthorized use. However, this has taken away the jurisdiction of the consumers over their purchased c...
130
click to vote
ISAAC
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. In a multicore transactional memory (TM) system, concurrent execution threads interact and interfere with each other through shared memory. The less interference a progra...