10820 search results - page 1831 / 2164 » Understanding |
213
click to vote
LFCS
2007
Springer
16 years 27 days ago
2007
Springer
act Completion (Full Version) Guillaume Burel Claude Kirchner August 6, 2007 Deduction Modulo implements Poincar´e’s principle by identifying deduction and computation as diff...
150
click to vote
MLG
2007
Springer
16 years 27 days ago
2007
Springer
1 In web-related applications of image categorization, it is desirable to derive an interpretable classification rule with high accuracy. Using the bag-of-words representation and...
221
click to vote
OOPSLA
2007
Springer
16 years 27 days ago
2007
Springer
Java bug finders perform static analysis to find implementation mistakes that can lead to exploits and failures; Java compilers perform static analysis for optimization. If Java...
160
click to vote
OOPSLA
2007
Springer
16 years 27 days ago
2007
Springer
Calling context enhances program understanding and dynamic analyses by providing a rich representation of program location. Compared to imperative programs, objectoriented program...
199
click to vote
OOPSLA
2007
Springer
16 years 27 days ago
2007
Springer
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Previous and related work has shown that runtime m...