8699 search results - page 384 / 1740 » Elements of the Theory of Computation |
212
click to vote
LICS
2007
IEEE
16 years 1 months ago
2007
IEEE
In predicate logic, the proof that a theorem P holds in a theory Th is typically conducted in natural deduction or in the sequent calculus using all the information contained in t...
165
click to vote
IPPS
2010
IEEE
15 years 4 months ago
2010
IEEE
We present a number of optimization techniques to compute prefix sums on linked lists and implement them on multithreaded GPUs using CUDA. Prefix computations on linked structures ...
204
click to vote
ICA3PP
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Cloud computing providers have setup several data centers at different geographical locations over the Internet in order to optimally serve needs of their customers aroun...
164
click to vote
SIGITE
2004
ACM
16 years 8 days ago
2004
ACM
There are efforts underway to define each of several flavors of computing disciplines, including computer science, computer engineering, information science, information technolog...
187
click to vote
DAGSTUHL
2007
15 years 8 months ago
2007
: This is a position paper introducing blob computing: A Blob is a generic primitive used to structure a uniform computing substrate into an easier-to-program parallel virtual mach...