13841 search results - page 171 / 2769 » Algorithms and Constraint Programming |
252
click to vote
POPL
2001
ACM
16 years 6 months ago
2001
ACM
Current verification condition (VC) generation algorithms, such as weakest preconditions, yield a VC whose size may be exponential in the size of the code fragment being checked. ...
229
click to vote
FP
1995
15 years 10 months ago
1995
We present a type reconstruction algorithm for SCIR 10], a type system for a language with syntactic control of interference. SCIR guarantees that terms of passive type do not cau...
148
click to vote
CONSTRAINTS
2007
15 years 6 months ago
2007
We study the “inter-distance constraint”, also known as the global minimum distance constraint, that ensures that the distance between any pair of variables is at least equal ...
213
click to vote
INFOCOM
2011
IEEE
14 years 10 months ago
2011
IEEE
—We formulate the problem of delay constrained energy-efficient broadcast in cooperative multihop wireless networks. We show that this important problem is not only NPcomplete, ...
205
click to vote
HEURISTICS
2006
15 years 6 months ago
2006
In case a CSP is over-constrained, it is natural to allow some constraints, called soft constraints, to be violated. We propose a generic method to soften global constraints that c...