1182 search results - page 102 / 237 » Reducing the Overhead of Dynamic Analysis |
125
Voted
ATVA
2006
Springer
15 years 7 months ago
2006
Springer
Chaining can reduce the number of iterations required for symbolic state-space generation and model-checking, especially in Petri nets and similar asynchronous systems, but require...
119
Voted
PE
2007
Springer
15 years 3 months ago
2007
Springer
A critical problem in providing Internet access to Mobile Ad Hoc Networks (MANETs) is how the mobile hosts can locate Internet-based servers efficiently in a dynamic, unstructure...
263
Voted
CORR
2011
Springer
14 years 10 months ago
2011
Springer
— Mobile ad hoc networks (MANETs) are dynamic wireless networks without any infrastructure. These networks are weak against many types of attacks. One of these attacks is the bla...
115
Voted
IEEEPACT
2009
IEEE
15 years 10 months ago
2009
IEEE
—CPR (Checkpoint Processing and Recovery) is a physical register management scheme that supports a larger instruction window and higher average IPC than conventional ROB-style re...
120
click to vote
USENIX
2007
15 years 5 months ago
2007
Patches to modern operating systems, including bug fixes and security updates, and the reboots and downtime they require, cause tremendous problems for system users and administr...