4557 search results - page 857 / 912 » A performance evaluation of local descriptors |
177
click to vote
PLDI
2009
ACM
16 years 28 days ago
2009
ACM
Symbolic analysis shows promise as a foundation for bug-finding, specification inference, verification, and test generation. This paper addresses demand-driven symbolic analysi...
173
click to vote
PLDI
2009
ACM
16 years 28 days ago
2009
ACM
We show that recursive programs where variables range over finite domains can be effectively and efficiently analyzed by describing the analysis algorithm using a formula in a ...
159
click to vote
PPPJ
2009
ACM
16 years 28 days ago
2009
ACM
Dynamic compilers can optimize application code specifically for observed code behavior. Such behavior does not have to be stable across the entire program execution to be bene...
179
click to vote
SAC
2009
ACM
16 years 28 days ago
2009
ACM
Software developers use testing to gain and maintain confidence in the correctness of a software system. Automated reduction and prioritization techniques attempt to decrease the...
173
click to vote
SAC
2009
ACM
16 years 28 days ago
2009
ACM
SQL injection attacks (SQLIAs) consist of maliciously crafted SQL inputs, including control code, used against Databaseconnected Web applications. To curtail the attackers’ abil...