2725 search results - page 261 / 545 » Constraint Solving for Interpolation |
177
click to vote
SCAM
2003
IEEE
16 years 16 days ago
2003
IEEE
This paper presents and evaluates a number of techniques to improve the execution time of interprocedural pointer analysis in the context of large C programs. The analysis is form...
195
click to vote
CDC
2009
IEEE
15 years 12 months ago
2009
IEEE
— This paper is concerned with understanding the connection between the existing Internet congestion control algorithms and the optimal control theory. The available resource all...
265
click to vote
CDC
2009
IEEE
15 years 12 months ago
2009
IEEE
—To deal with the estimation problem for systems subject to constraints while the corresponding noise processes are not completely known, the adaptive constraint-filtering method...
185
click to vote
HM
2009
Springer
15 years 12 months ago
2009
Springer
We present a hybrid solver (called GELATO) that exploits the potentiality of a Constraint Programming (CP) environment (Gecode) and of a Local Search (LS) framework (EasyLocal++ )....
170
click to vote
NOMS
2000
IEEE
15 years 11 months ago
2000
IEEE
Communication networks are expected to offer a wide range of services to an increasingly large number of users, with a diverse range of quality of service. This calls for efficien...