7092 search results - page 378 / 1419 » Parallelizing constraint programs |
170
click to vote
PVLDB
2011
14 years 10 months ago
2011
Users of MapReduce often run into performance problems when they scale up their workloads. Many of the problems they encounter can be overcome by applying techniques learned from ...
125
click to vote
CVPR
2008
IEEE
16 years 5 months ago
2008
IEEE
This paper proposes a technique for estimating piecewise planar models of objects from their images and geometric constraints. First, assuming a bounded noise in the localization ...
114
click to vote
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
We present novel algorithms for parallel testing of code that takes structurally complex test inputs. The algorithms build on the Korat algorithm for constraint-based generation o...
116
click to vote
IV
2002
IEEE
15 years 8 months ago
2002
IEEE
: In computer-aided design, geometric modeling by constraints enables users to describe shapes by relationships called constraints between geometric elements. The problem is to der...
143
click to vote
ICCAD
1999
IEEE
15 years 7 months ago
1999
IEEE
This paper describes a polynomial time algorithm for min-area retiming for edge-triggered circuits to handle both setup and hold constraints. Given a circuit G and a target clock ...