189 search results - page 27 / 38 » Revisiting SIMD Programming |
272
click to vote
ICFP
2012
ACM
13 years 4 months ago
2012
ACM
Graphics processing units (GPUs) provide both memory bandwidth and arithmetic performance far greater than that available on CPUs but, because of their Single-Instruction-Multiple...
189
click to vote
ICDT
2009
ACM
16 years 3 months ago
2009
ACM
We study the problem of querying data sources that accept only a limited set of queries, such as sources accessible by Web services which can implement very large (potentially inf...
127
click to vote
APLAS
2007
ACM
15 years 6 months ago
2007
ACM
Abstract. We propose a theory of up-to techniques for proofs by coinduction, in the setting of complete lattices. This theory improves over existing results by providing a way to c...
141
click to vote
CAISE
1995
Springer
15 years 5 months ago
1995
Springer
In this work we discuss a number of issues for the design of hypertext systems in an actor-based model of computation. We examine how the "traditional" basic concepts whi...
127
click to vote
CLUSTER
2007
IEEE
15 years 8 months ago
2007
IEEE
— The Cell Broadband Engine (BE) is a heterogeneous multicore processor, combining a general-purpose POWER architecture core with eight independent single-instructionmultiple-dat...