549 search results - page 22 / 110 » Constraint Programming in Structural Bioinformatics |
DATE
2006
IEEE
15 years 6 months ago
2006
IEEE
Software-based self-test (SBST) of processors offers many benefits, such as dispense with expensive test equipments, test execution during maintenance and in the field or initiali...
105
Voted
VMCAI
2004
Springer
15 years 5 months ago
2004
Springer
Shape analysis is a promising technique for statically verifying and extracting properties of programs that manipulate complex data structures. We introduce a new characterization...
118
click to vote
NGC
1998
Springer
15 years 2 days ago
1998
Springer
Much progress has been made in distributed computing in the areas of distribution structure, open computing, fault tolerance, and security. Yet, writing distributed applications r...
110
click to vote
HEURISTICS
2002
15 years 6 days ago
2002
This paper presents operators searching large neighborhoods in order to solve the vehicle routing problem. They make use of the pruning and propagation techniques of constraint pr...
141
Voted
ICLP
2011
Springer
14 years 3 months ago
2011
Springer
In high-level constraint modelling languages, constraints can occur in non-Boolean contexts: implicitly, in the form of partial functions, or more explicitly, in the form of const...