2725 search results - page 259 / 545 » Constraint Solving for Interpolation |
166
click to vote
DATE
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper presents a wrapper and test access mechanism design for multi-clock domain SoCs that consists of cores with different clock frequencies during test. We also propose a t...
173
click to vote
DSD
2006
IEEE
16 years 1 months ago
2006
IEEE
We propose a novel two-level Boolean minimizer coming in succession to our previously developed minimizer BOOM, so we have named it BOOM-II. It is a combination of two minimizers,...
176
click to vote
BIRTHDAY
2005
Springer
16 years 24 days ago
2005
Springer
Computational experiments are reported involving the concept of foreknowledge, an agent’s direct, unmediated and accurate, but possibly incomplete, awareness of its future includ...
167
click to vote
CSCLP
2005
Springer
16 years 24 days ago
2005
Springer
We discuss four variants of the graph colouring problem, and present algorithms for solving them. The problems are k-Colourability, Max Ind k-COL, Max Val k-COL, and, finally, Max...
204
click to vote
PPDP
2005
Springer
16 years 22 days ago
2005
Springer
The paper describes a constraint-based solution to the protein folding problem on face-centered cubic lattices—a biologically meaningful approximation of the general protein fol...