726 search results - page 52 / 146 » A Framework for Constraint Programming Based Column Generati... |
117
Voted
AUTOMATICA
2007
15 years 21 days ago
2007
This paper presents a new (geometrical) approach to the computation of polyhedral (robustly) positively invariant (PI) sets for general (possibly discontinuous) nonlinear discrete...
120
Voted
ICPP
1999
IEEE
15 years 4 months ago
1999
IEEE
There has been much work recently on improving the locality performance of loop nests in scientific programs through the use of loop as well as data layout optimizations. However,...
108
click to vote
CP
1998
Springer
15 years 4 months ago
1998
Springer
In a faulty digital circuit, many (single) faulty gates may explain the observed findings. In this paper we are mostly concerned, not in obtaining alternative diagnoses, but rathe...
115
Voted
IIE
2007
15 years 15 days ago
2007
Automatic assessment of programming exercises is typically based on testing approach. Most automatic assessment frameworks execute tests and evaluate test results automatically, bu...
96
Voted
TOPLAS
2008
15 years 14 days ago
2008
lem of inferring termination from such abstract information is not the halting problem for programs and may well be decidable. If this is the case, the decision algorithm forms a &...