4725 search results - page 191 / 945 » Dependence-Based Program Analysis |
164
click to vote
CASCON
2001
15 years 6 months ago
2001
Automated verification tools vary widely in the types of properties they are able to analyze, the complexity of their algorithms, and the amount of necessary user involvement. In ...
168
Voted
CADE
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. In the context of deductive program verification, supporting floatingpoint computations is tricky. We propose an expressive language to formally specify behavioral proper...
175
click to vote
ICML
2007
IEEE
16 years 5 months ago
2007
IEEE
Regularized Kernel Discriminant Analysis (RKDA) performs linear discriminant analysis in the feature space via the kernel trick. The performance of RKDA depends on the selection o...
147
click to vote
ICDAR
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper, we present a scheme towards the segmentation of English multi-oriented touching strings into individual characters. When two or more characters touch, they generate...
133
Voted
IEEEPACT
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—Load elimination is a classical compiler transformation that is increasing in importance for multi-core and many-core architectures. The effect of the transformation is ...