13841 search results - page 2634 / 2769 » Algorithms and Constraint Programming |
114
click to vote
IPPS
2010
IEEE
15 years 1 months ago
2010
IEEE
In this paper we present the venture of porting two different algorithms for solving the two-dimensional advection PDE on the CBE platform, an in-place and an outof-place one, and ...
118
click to vote
IPPS
2010
IEEE
15 years 1 months ago
2010
IEEE
With the advent of the multicore era, parallel programming is becoming ubiquitous. Multithreading is a common approach to benefit from these architectures. Hybrid M:N libraries lik...
132
click to vote
IPPS
2010
IEEE
15 years 1 months ago
2010
IEEE
Transactional memory is an alternative programming model for managing contention in accessing shared in-memory data objects. Distributed transactional memory (TM) promises to alle...
132
click to vote
LICS
2010
IEEE
15 years 1 months ago
2010
IEEE
Let R be a class of generators of node-labelled infinite trees, and L be a logical language for describing correctness properties of these trees. Given R R and L, we say that R ...
142
click to vote
OOPSLA
2010
Springer
15 years 1 months ago
2010
Springer
The usage of optimistic version control systems comes along with cumbersome and time-consuming conflict resolution in the case that the modifications of two developers are contrad...