1182 search results - page 121 / 237 » Reducing the Overhead of Dynamic Analysis |
131
Voted
JSAC
2008
15 years 3 months ago
2008
Dynamic spectrum access is a promising technique to use spectrum efficiently. Without being restricted to any prefixed spectrum bands, nodes choose operating spectrum ondemand. Suc...
131
click to vote
NFM
2011
14 years 10 months ago
2011
Program verifiers based on first-order theorem provers model the program heap as a collection of mutable maps. In such verifiers, preserving unmodified facts about the heap acr...
150
Voted
ISCA
2011
IEEE
14 years 7 months ago
2011
IEEE
Conventional high-performance processors utilize register renaming and complex broadcast-based scheduling logic to steer instructions into a small number of heavily-pipelined exec...
147
Voted
JSAC
2011
14 years 10 months ago
2011
— The growing interest in vehicular ad hoc networks (VANETs) enables decentralized traveler information systems to become more feasible and effective in Intelligent Transportatio...
151
click to vote
CODES
2007
IEEE
15 years 9 months ago
2007
IEEE
Multiprocessor SoCs are increasingly deployed in embedded systems with little or no security features built in. Code Injection attacks are one of the most commonly encountered sec...