1138 search results - page 216 / 228 » Parallel Implementation of Constraint Solving |
129
click to vote
SIGMOD
2012
ACM
13 years 2 months ago
2012
ACM
Cloud enabled systems have become a crucial component to efficiently process and analyze massive amounts of data. One of the key data processing and analysis operations is the Sim...
182
click to vote
CVPR
2003
IEEE
16 years 1 months ago
2003
IEEE
We wish to determine the epipolar geometry of a stereo camera pair from image measurements alone. This paper describes a solution to this problem which does not require a parametr...
DAC
2003
ACM
16 years 18 days ago
2003
ACM
Delay budget is an excess delay each component of a design can tolerate under a given timing constraint. Delay budgeting has been widely exploited to improve the design quality. W...
121
click to vote
SIGSOFT
2007
ACM
16 years 11 days ago
2007
ACM
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...
100
click to vote
LCTRTS
2010
Springer
15 years 6 months ago
2010
Springer
For its high overall cost during product development, program debugging is an important aspect of system development. Debugging is a hard and complex activity, especially in time-...