7092 search results - page 64 / 1419 » Parallelizing constraint programs |
COR
2000
13 years 9 months ago
2000
Abstract
CONSTRAINTS
2011
13 years 4 months ago
2011
ISNN
2005
Springer
14 years 2 months ago
2005
Springer
Recently, a mathematical proof is obtained in (Liu, Chiu, Xu, 2004) on the so called one-bit-matching conjecture that all the sources can be separated as long as there is an one-to...
IPPS
1998
IEEE
14 years 1 months ago
1998
IEEE
Abstract. We extend the refinement calculus to permit the derivation of programs in the Bulk Synchronous Parallelism (BSP) style. This demonstrates that formal approaches developed...
ICLP
2004
Springer
14 years 2 months ago
2004
Springer
A protein is identified by a finite sequence of aminoacids, each of them chosen from a set of 20 elements. The Protein Structure Prediction Problem is the problem of predicting t...