373 search results - page 41 / 75 » Automatic Generation of Symmetry-Breaking Constraints |
ICSE
2005
IEEE-ACM
14 years 10 months ago
2005
IEEE-ACM
We present an automatic error-detection approach that combines static checking and concrete test-case generation. Our approach consists of taking the abstract error conditions inf...
SAS
2005
Springer
14 years 3 months ago
2005
Springer
A method is developed to infer a polymorphic well-typing for a logic program. Our motivation is to improve the automation of termination analysis by deriving types from which norms...
COMPSAC
2003
IEEE
14 years 3 months ago
2003
IEEE
Usual techniques for automatic test data generation are based on the assumption that a complete oracle will be available during the testing process. However, there are programs fo...
ICCV
2007
IEEE
14 years 12 months ago
2007
IEEE
This paper addresses the problem of image-based surface reconstruction. The main contribution is the computation of the exact derivative of the reprojection error functional. This...
ASPDAC
2012
ACM
12 years 5 months ago
2012
ACM
— The Dark Silicon Age kicked off with the transition to multicore and will be characterized by a wild chase for seemingly ever-more insane architectural designs. At the heart o...