7092 search results - page 382 / 1419 » Parallelizing constraint programs |
106
click to vote
JPDC
2006
15 years 3 months ago
2006
We present provably efficient parallel algorithms for sweep scheduling, which is a commonly used technique in Radiation Transport problems, and involves inverting an operator by i...
130
click to vote
CP
2003
Springer
15 years 8 months ago
2003
Springer
Constraint satisfaction has been applied with great success in closed-world scenarios, where all options and constraints are known from the beginning and fixed. With the internet,...
142
click to vote
ICCAD
2009
IEEE
15 years 1 months ago
2009
IEEE
In a behavioral synthesis system, a typical approach used to guide the scheduler is to impose hard constraints on the relative timing between operations considering performance, a...
126
click to vote
VMCAI
2004
Springer
15 years 8 months ago
2004
Springer
Shape analysis is a promising technique for statically verifying and extracting properties of programs that manipulate complex data structures. We introduce a new characterization...
141
click to vote
CONSTRAINTS
2008
15 years 3 months ago
2008
We present the Auckland Layout Model (ALM), a constraint-based technique for specifying 2D layout as it is used for arranging the controls in a GUI. Most GUI frameworks offer layo...