2864 search results - page 227 / 573 » Constraint Programming in OPL |
104
click to vote
AMAST
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. This paper proposes a tool to support reasoning about (partial) correctness of constraint logic programs. The tool infers a speci cation that approximates the semantics o...
117
click to vote
EOR
2010
15 years 1 months ago
2010
We consider the unrelated parallel machines scheduling problem where jobs have earliness and tardiness penalties and a common due date. We formulate this problem and some of its v...
162
click to vote
JDCTA
2010
14 years 8 months ago
2010
To solve the cruise two-dimensional revenue management problem and develop such an automated system under uncertain environment, a static model which is a stochastic integer progr...
141
click to vote
PEPM
2011
ACM
14 years 4 months ago
2011
ACM
Navigating through tree structures is a core operation in tree processing programs. Most notably, XML processing programs intensively use XPath, the path specification language t...
120
click to vote
ICFEM
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...