7092 search results - page 263 / 1419 » Parallelizing constraint programs |
110
click to vote
ISSTA
2009
ACM
15 years 8 months ago
2009
ACM
Many automatic testing, analysis, and verification techniques for programs can be effectively reduced to a constraint-generation phase followed by a constraint-solving phase. Th...
133
click to vote
ALGORITHMICA
2002
15 years 2 months ago
2002
We consider the total weighted completion time scheduling problem for parallel identical machines and precedence constraints, P jprecj PwiCi. This important and broad class of pro...
131
click to vote
SAC
2003
ACM
15 years 7 months ago
2003
ACM
DICE (DIstributed Constraint Environment) is a framework for the construction of distributed constraint solvers from software components in a number of predefined categories. The...
PPOPP
2009
ACM
16 years 2 months ago
2009
ACM
This paper proposes a new parallel execution model where programmers augment a sequential program with pieces of code called serializers that dynamically map computational operati...
132
click to vote
OOPSLA
2009
Springer
15 years 8 months ago
2009
Springer
Scripting languages enjoy great popularity due their support for rapid and exploratory development. They typically have lightweight syntax, weak data privacy, dynamic typing, powe...