4513 search results - page 370 / 903 » Logic programming with satisfiability |
141
click to vote
CPAIOR
2010
Springer
15 years 9 months ago
2010
Springer
In this paper, we present a constraint programming approach for the service consolidation problem that is being currently tackled by Neptuny, Milan. The problem is defined as: Giv...
138
Voted
SIGSOFT
1994
ACM
15 years 9 months ago
1994
ACM
In this paper we present an approach, based on data ow analysis, that can provide cost-e ective analysis of concurrent programs with respect to explicitly stated correctness prope...
156
click to vote
FM
2006
Springer
15 years 8 months ago
2006
Springer
Refactorings change the internal structure of code without changing its external behavior. For non-trivial refactorings, the preservation of external behavior depends on semantic p...
134
Voted
EUROGP
2000
Springer
15 years 8 months ago
2000
Springer
A mathematical formula containing one or more free variables is "general" in the sense that it provides a solution to an entire category of problems. For example, the fa...
116
click to vote
SIAMJO
2008
15 years 4 months ago
2008
This paper presents a parameter-free integer-programming based algorithm for the global resolution of a linear program with linear complementarity constraints (LPCC). The cornersto...