7557 search results - page 124 / 1512 » Constraints as a design pattern |
158
click to vote
PROCEDIA
2011
14 years 3 months ago
2011
We report the first evaluation of Constraint Satisfaction as a computational framework for solving closest string problems. We show that careful consideration of symbol occurrenc...
87
Voted
ATS
2009
IEEE
15 years 7 months ago
2009
IEEE
—Measuring the steady state leakage current (IDDQ) is very successful in detecting faults not discovered by standard fault models. But vector dependencies of IDDQ decrease the re...
CIARP
2005
Springer
15 years 2 months ago
2005
Springer
Registration of CT and PET thoracic images has to cope with deformations of the lungs during breathing. Possible tumors in the lungs usually do not follow the same deformations, an...
CONSTRAINTS
2007
15 years 21 days ago
2007
In the ECAD area, the Test Generation (TG) problem consists in finding an input vector test for some possible diagnosis (a set of faults) of a digital circuit. Such tests may have ...
116
click to vote
ISQED
2011
IEEE
14 years 4 months ago
2011
IEEE
Due to the dramatic increase in design complexity, verifying the functional correctness of a circuit is becoming more difficult. Therefore, bugs may escape all verification effo...