16159 search results - page 2863 / 3232 » Parallel computing with CUDA |
194
click to vote
COCOA
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Many combinatorial optimization problems can be formulated as 0/1 integer programs (0/1 IPs). The investigation of the structure of these problems raises the following ta...
160
click to vote
CONCUR
2007
Springer
16 years 26 days ago
2007
Springer
Dπ is a simple distributed extension of the π-calculus in which agents are explicitly located, and may use an explicit migration construct to move between locations. In this pap...
159
click to vote
CONCUR
2007
Springer
16 years 26 days ago
2007
Springer
We present a fixpoint-based algorithm for context-sensitive interprocedural kill/gen-analysis of programs with thread creation. Our algorithm is precise up to abstraction of sync...
141
click to vote
CONCUR
2007
Springer
16 years 26 days ago
2007
Springer
It is well known that bisimulation on µ-expressions cannot be finitely axiomatised in equational logic. Complete axiomatisations such as those of Milner and Bloom/´Esik necessar...
212
click to vote
EUROPAR
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Prefetching transfers a data item in advance from its storage location to its usage location so that communication is hidden and does not delay computation. We present a ...