2861 search results - page 224 / 573 » Constraint Programming |
179
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
We provide a verification technique for a class of programs working on integer arrays of finite, but not a priori bounded length. We use the logic of integer arrays SIL [13] to spe...
185
click to vote
PPOPP
2010
ACM
16 years 3 months ago
2010
ACM
This poster is a case study on the application of a novel programming model, called Concurrent Collections (CnC), to the implementation of an asynchronous-parallel algorithm for c...
171
click to vote
CC
2005
Springer
16 years 17 hour ago
2005
Springer
Abstract. We present techniques that enable source-level debugging for multiple languages at the cost of only modest programming effort. The key idea is to avoid letting debugging ...
167
click to vote
EMMCVPR
2005
Springer
16 years 9 hour ago
2005
Springer
Abstract. Reverse-convex programming (RCP) concerns global optimization of a specific class of non-convex optimization problems. We show that a recently proposed model for sparse ...
180
click to vote
ILP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Logic Programs with Annotated Disjunctions (LPADs) provide a simple and elegant framework for integrating probabilistic reasoning and logic programming. In this paper we ...