4426 search results - page 523 / 886 » Concurrent Constraint Programming |
173
click to vote
FOCS
2005
IEEE
16 years 13 days ago
2005
IEEE
We present a polynomial time algorithm based on semidefinite programming that, given a unique game of value 1 − O(1/ log n), satisfies a constant fraction of constraints, wher...
152
click to vote
ICSM
2005
IEEE
16 years 12 days ago
2005
IEEE
We have built a software development tool, CLIME, that uses constraints to ensure the consistency of the different artifacts associated with software. This approach to software dev...
161
click to vote
CC
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Many compiler optimization techniques depend on the ability to calculate the number of integer values that satisfy a given set of linear constraints. This count (the enum...
193
click to vote
CPAIOR
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. We present an algorithmic framework for integrating solution methods that is based on search, inference, and relaxation and their interactions. We show that the following...
176
Voted
ICALP
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Most of the decision procedures for symbolic analysis of protocols are limited to a fixed set of algebraic operators associated with a fixed intruder theory. Examples o...