2974 search results - page 310 / 595 » Model-Driven Constraint Programming |
175
click to vote
REFSQ
2007
Springer
16 years 23 days ago
2007
Springer
This paper investigates two integer linear programming models that integrate requirement scheduling into software release planning. The first model can schedule the development of ...
169
click to vote
FOCS
2005
IEEE
16 years 7 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...
146
click to vote
ICSM
2005
IEEE
16 years 7 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...
153
click to vote
CC
2005
Springer
16 years 5 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...
190
click to vote
CPAIOR
2005
Springer
16 years 5 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...