7092 search results - page 396 / 1419 » Parallelizing constraint programs |
133
click to vote
CONCUR
2004
Springer
15 years 8 months ago
2004
Springer
In this paper we show how a resource-oriented logic, separation logic, can be used to reason about the usage of resources in concurrent programs.
130
click to vote
IPPS
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—Recent years have seen a trend in using graphic processing units (GPU) as accelerators for general-purpose computing. The inexpensive, single-chip, massively parallel ar...
131
click to vote
ICPP
2006
IEEE
15 years 9 months ago
2006
IEEE
RNA pseudoknot prediction is an algorithm for RNA sequence search and alignment. An important building block towards pseudoknot prediction is RNA secondary structure prediction. T...
160
click to vote
PVM
2005
Springer
15 years 8 months ago
2005
Springer
Parallel execution of simulation runs has become indispensable in different research areas recently. One of the most promising and powerful models in science are cellular automata ...
137
click to vote
PDP
2002
IEEE
15 years 8 months ago
2002
IEEE
Despite the explosive new interest in Distributed Computing, bringing software — particularly legacy software — to parallel platforms remains a daunting task. The Self Distrib...