10820 search results - page 1831 / 2164 » Understanding |
190
click to vote
LFCS
2007
Springer
16 years 9 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...
135
click to vote
MLG
2007
Springer
16 years 9 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...
198
click to vote
OOPSLA
2007
Springer
16 years 9 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...
152
click to vote
OOPSLA
2007
Springer
16 years 9 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...
186
click to vote
OOPSLA
2007
Springer
16 years 9 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...