4355 search results - page 219 / 871 » From Interpretation to Compilation |
154
click to vote
LCPC
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Empirical optimizers like ATLAS have been very effective in optimizing computational kernels in libraries. The best choice of parameters such as tile size and degree of l...
153
click to vote
ERSHOV
2006
Springer
15 years 8 months ago
2006
Springer
A new coordination language for distributed data-parallel programs is presented, call SNet. The intention of SNet is to introduce advanced structuring techniques into a coordinatio...
272
click to vote
EUROPKI
2009
Springer
15 years 2 months ago
2009
Springer
Efficient zero-knowledge proofs of knowledge (ZK-PoK) are basic building blocks of many cryptographic applications such as identification schemes, group signatures, and secure mult...
185
click to vote
ASPLOS
2011
ACM
14 years 8 months ago
2011
ACM
Graphics processing units (GPUs) provide a low cost platform for accelerating high performance computations. The introduction of new programming languages, such as CUDA and OpenCL...
153
click to vote
COMAD
2009
15 years 5 months ago
2009
We present a class of web queries whose result is a multi-column relation instead of a collection of unstructured documents as in standard web search. The user specifies the query...