292 search results - page 1 / 59 » Exploiting Dead Value Information |
MICRO
1997
IEEE
13 years 9 months ago
1997
IEEE
We describe Dead Value Information (DVI) and introduce three new optimizations which exploit it. DVI provides assertions that certain register values are dead, meaning they will n...
SAS
1999
Springer
13 years 9 months ago
1999
Springer
The intrinsic complexity of most protocol speci cations in particular, and of asynchronous systems in general, lead us to study combinations of static analysis with classical model...
WWW
2010
ACM
13 years 5 months ago
2010
ACM
We propose a novel extraction approach that exploits content redundancy on the web to extract structured data from template-based web sites. We start by populating a seed database...
ADHOCNETS
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. Existing localization techniques such as GPS have fundamental limitations which preclude deployment in urban canyons or areas with inconsistent network availability. Augm...
PLDI
1996
ACM
13 years 9 months ago
1996
ACM
Many important classes of bugs result from invalid assumptions about the results of functions and the values of parameters and global variables. Using traditional methods, these b...