Sciweavers

7092 search results - page 74 / 1419
» Parallelizing constraint programs
Sort
View
114
Voted
SAS
2001
Springer
149views Formal Methods» more  SAS 2001»
15 years 5 months ago
Analysis of Multithreaded Programs
Abstract. The field of program analysis has focused primarily on sequential programming languages. But multithreading is becoming increasingly important, both as a program structu...
Martin C. Rinard
CP
2001
Springer
15 years 5 months ago
Collaborative Learning for Constraint Solving
Abstract. Although constraint programming offers a wealth of strong, generalpurpose methods, in practice a complex, real application demands a person who selects, combines, and ref...
Susan L. Epstein, Eugene C. Freuder
ICLP
1997
Springer
15 years 4 months ago
Solving Small TSPs with Constraints
This paper presents a set of techniques that makes constraint programming a technique of choice for solving small (up to 30 nodes) traveling salesman problems. These techniques in...
Yves Caseau, François Laburthe
93
Voted
CP
2007
Springer
15 years 6 months ago
An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming
Tristan Denmat, Arnaud Gotlieb, Mireille Ducass&ea...
66
Voted
PPDP
2005
Springer
15 years 6 months ago
Timed constraint programming: a declarative approach to usage control
Radha Jagadeesan, Will Marrero, Corin Pitcher, Vij...