21094 search results - page 4086 / 4219 » An experiment using DLV-K |
96
Voted
PLDI
2010
ACM
15 years 5 months ago
2010
ACM
This paper presents a novel optimizing compiler for general purpose computation on graphics processing units (GPGPU). It addresses two major challenges of developing high performa...
120
click to vote
PLDI
2010
ACM
15 years 5 months ago
2010
ACM
Static analysis designers must carefully balance precision and efficiency. In our experience, many static analysis tools are built around an elegant, core algorithm, but that alg...
PLDI
2010
ACM
15 years 5 months ago
2010
ACM
Self-adjusting computation provides an evaluation model where computations can respond automatically to modifications to their data by using a mechanism for propagating modifica...
107
Voted
PLDI
2010
ACM
15 years 5 months ago
2010
ACM
The availability of multicore processors has led to significant interest in compiler techniques for speculative parallelization of sequential programs. Isolation of speculative s...
95
Voted
ECCV
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We address the problem of large scale place-of-interest recognition in cell phone images of urban scenarios. Here, we go beyond what has been shown in earlier approaches ...