4491 search results - page 198 / 899 » Algorithm Engineering |
KBSE
2010
IEEE
15 years 26 days ago
2010
IEEE
We present the concepts, usage, and prototypic implementation of a new kind of visual debugging tool based on symbolic execution of Java source code called visual symbolic state d...
147
click to vote
SIAMJO
2011
14 years 9 months ago
2011
This paper is concerned with the study of a class of prox-penalization methods for solving variational inequalities of the form Ax + NC (x) 0 where H is a real Hilbert space, A : H...
135
click to vote
ARCS
2008
Springer
15 years 4 months ago
2008
Springer
: Sorting large data sets has always been an important application, and hence has been one of the benchmark applications on new parallel architectures. We present a parallel sortin...
118
click to vote
CIKM
2008
Springer
15 years 4 months ago
2008
Springer
Search engine logs are an emerging new type of data that offers interesting opportunities for data mining. Existing work on mining such data has mostly attempted to discover knowl...
109
click to vote
SCAM
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper presents and evaluates a number of techniques to improve the execution time of interprocedural pointer analysis in the context of large C programs. The analysis is form...