741 search results - page 34 / 149 » An Analysis of Rule Evaluation Metrics |
ISSTA
2012
ACM
11 years 11 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...
SOCC
2008
IEEE
14 years 3 months ago
2008
IEEE
— Several design metrics have been used in the past to evaluate the SRAM cell stability. However, most of them fail to provide the exact stability figures as shown in this paper...
ICDAR
2003
IEEE
14 years 2 months ago
2003
IEEE
This paper deals with performance evaluation of rasterto-vector conversion algorithms. We briefly review the past work, and focus our attention on a method proposed by Phillips a...
ICDCSW
2005
IEEE
14 years 2 months ago
2005
IEEE
Content-based event matching is an important problem in large-scale event-based publish/subscribe systems. However, open questions remain in ...
SAS
2009
Springer
14 years 9 months ago
2009
Springer
In this paper we present a new shape analysis algorithm. The key distinguishing aspect of our algorithm is that it is completely compositional, bottom-up and non-iterative. We pres...