7092 search results - page 540 / 1419 » Parallelizing constraint programs |
155
click to vote
PDP
2009
IEEE
15 years 11 months ago
2009
IEEE
There is a multicore platform that is currently concentrating an enormous attention due to its tremendous potential in terms of sustained performance: the NVIDIA Tesla boards. The...
133
click to vote
COCO
2007
Springer
15 years 10 months ago
2007
Springer
We consider a class of two-prover interactive proof systems where each prover returns a single bit to the verifier and the verifier’s verdict is a function of the XOR of the tw...
ISCA
2003
IEEE
15 years 10 months ago
2003
IEEE
Clustered microarchitectures are an attractive alternative to large monolithic superscalar designs due to their potential for higher clock rates in the face of increasingly wire-d...
121
Voted
ICFP
2009
ACM
15 years 9 months ago
2009
ACM
This paper presents our experience using a domain-specific functional language, WaveScript, to build embedded sensing applications used in scientific research. We focus on a rec...
131
click to vote
SC
2000
ACM
15 years 9 months ago
2000
ACM
Hierarchical algorithms such as multigrid applications form an important cornerstone for scientific computing. In this study, we take a first step toward evaluating parallel lan...