352 search results - page 16 / 71 » Evaluating the imprecision of static analysis |
110
Voted
RV
2010
Springer
15 years 8 days ago
2010
Springer
Researchers have developed a number of runtime verification tools that generate runtime monitors in the form of AspectJ aspects. In this work, we present Clara, a novel framework ...
134
click to vote
COMSWARE
2006
IEEE
15 years 8 months ago
2006
IEEE
Many of the bugs in distributed software modules are security vulnerabilities, the most common and also the most exploited of which are buffer overflows and they typically arise in...
158
click to vote
ISSTA
2012
ACM
13 years 4 months ago
2012
ACM
A static analysis design is sufficient if it can prove the property of interest with an acceptable number of false alarms. Ultimately, the only way to confirm that an analysis d...
125
click to vote
IEEEPACT
1998
IEEE
15 years 6 months ago
1998
IEEE
Hybrid branch predictors combine the predictions of multiple single-level or two-level branch predictors. The prediction-combining hardware -- the "meta-predictor" -may ...
131
click to vote
ICMI
2009
Springer
15 years 8 months ago
2009
Springer
Human nonverbal behavior recognition from multiple cues and modalities has attracted a lot of interest in recent years. Despite the interest, many research questions, including th...