349 search results - page 38 / 70 » Recursive Path Orderings Can Also Be Incremental |
132
click to vote
INFSOF
2007
15 years 1 months ago
2007
: Correct functioning of object-oriented software depends upon the successful integration of classes. While individual classes may function correctly, several new faults can arise ...
107
click to vote
VLSISP
2008
15 years 1 months ago
2008
Cryptographic substitution boxes (S-boxes) are an integral part of modern block ciphers like the Advanced Encryption Standard (AES). There exists a rich literature devoted to the ...
122
click to vote
CVPR
2010
IEEE
15 years 10 months ago
2010
IEEE
We describe a general method for building cascade classifiers from part-based deformable models such as pictorial structures. We focus primarily on the case of star-structured mod...
128
click to vote
PLDI
2003
ACM
15 years 7 months ago
2003
ACM
This paper reports on a new approach to solving a subset-based points-to analysis for Java using Binary Decision Diagrams (BDDs). In the model checking community, BDDs have been s...
112
click to vote
LOPSTR
1994
Springer
15 years 6 months ago
1994
Springer
We present a goal replacement rule whose main applicability condition is based on termination properties of the resulting transformed program. The goal replacement rule together wi...