Sciweavers

6554 search results - page 217 / 1311
» Constraint Logic Programming
Sort
View
CORR
2007
Springer
112views Education» more  CORR 2007»
15 years 6 months ago
Adaptive Methods for Linear Programming Decoding
—Detectability of failures of linear programming (LP) decoding and the potential for improvement by adding new constraints motivate the use of an adaptive approach in selecting t...
Mohammad H. Taghavi, Paul H. Siegel
POPL
2008
ACM
16 years 6 months ago
Lifting abstract interpreters to quantified logical domains
Sumit Gulwani, Bill McCloskey, Ashish Tiwari
ESOP
2010
Springer
16 years 3 months ago
Logical Concurrency Control From Sequential Proofs
G. Ramalingam, Jyotirmoy V. Deshmukh, Kapil Vaswan...
ISCAS
1999
IEEE
72views Hardware» more  ISCAS 1999»
15 years 10 months ago
Shape-based sequential machine analysis
In this paper, the problem of determining if a given sequential specification can be made to fit a predetermined set of shape constraints is explored. Shape constraints are constr...
A. Crews, F. Brewer
ICCL
1998
IEEE
15 years 10 months ago
A Conservative Technique to Improve Deterministic Evaluation of Logic Programs
Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Rama...