500 search results - page 77 / 100 » A parallel quadratic programming method for dynamic optimiza... |
81
Voted
MICRO
2006
IEEE
15 years 5 months ago
2006
IEEE
Dynamic software bug detection tools are commonly used because they leverage run-time information. However, they suffer from a fundamental limitation, the Path Coverage Problem: t...
101
click to vote
SIGMOD
2012
ACM
13 years 1 months ago
2012
ACM
Query substitution is an important problem in information retrieval. Much work focuses on how to find substitutes for any given query. In this paper, we study how to efficiently ...
82
Voted
LCPC
2000
Springer
15 years 2 months ago
2000
Springer
In translating HPF programs, a compiler has to generate local iteration and communication sets. Apart from local enumeration, local storage compression is an issue, because in HPF ...
90
Voted
JPDC
2007
14 years 11 months ago
2007
This paper discusses algorithmic and implementation aspects of a distributed remote visualization system that optimally decomposes and adaptively maps the visualization pipeline t...
89
Voted
JCB
2006
14 years 11 months ago
2006
Abstract We present a new approach for aligning families of 2D gels. Instead of choosing one of the gels as reference and performing pairwise alignment, we construct an ideal gel t...