3379 search results - page 569 / 676 » Parallel cross-entropy optimization |
112
click to vote
HPCA
2003
IEEE
16 years 2 months ago
2003
IEEE
Stream processors are high-performance programmable processors optimized to run media applications. Recent work has shown these processors to be more area- and energy-efficient th...
126
Voted
HPCA
2002
IEEE
16 years 2 months ago
2002
IEEE
The increasing performance gap between processors and memory will force future architectures to devote significant resources towards removing and hiding memory latency. The two ma...
116
Voted
CADE
2006
Springer
16 years 2 months ago
2006
Springer
Abstract. Verification by network invariants is a heuristic to solve uniform verification of parameterized systems. Given a system P, a network invariant for P is that abstracts th...
140
Voted
SIGMOD
2004
ACM
16 years 2 months ago
2004
ACM
We present new algorithms on commodity graphics processors to perform fast computation of several common database operations. Specifically, we consider operations such as conjunct...
123
Voted
SIGMOD
2003
ACM
16 years 2 months ago
2003
ACM
We propose a framework for integrating data from multiple relational sources into an XML document that both conforms to a given DTD and satisfies predefined XML constraints. The f...