540 search results - page 33 / 108 » Protection in Programming-Language Translations |
142
click to vote
TON
2012
13 years 5 months ago
2012
—The deployment of cognitive radio networks enables efficient spectrum sharing and opportunistic spectrum access. It also presents new challenges to the classical problem of int...
130
click to vote
POPL
1998
ACM
15 years 6 months ago
1998
ACM
abstractions, such as closures, tuples, and user-defined abstract data types. The type system ensures that well-typed programs cannot violate these abstractions. In addition, the ...
117
Voted
HPCA
1996
IEEE
15 years 6 months ago
1996
IEEE
Traditional DMA requires the operating system to perform many tasks to initiate a transfer, with overhead on the order of hundreds or thousands of CPU instructions. This paper des...
161
click to vote
ICFEM
2009
Springer
15 years 9 days ago
2009
Springer
Abstract. Certificate translation is a method that transforms certificates of source programs into certificates of their compilation. It provides strong guarantees on low-level cod...
149
click to vote
CASES
2007
ACM
15 years 6 months ago
2007
ACM
Dynamic binary translation (DBT) has been used to achieve numerous goals (e.g., better performance) for general-purpose computers. Recently, DBT has also attracted attention for e...