16216 search results - page 20 / 3244 » Effective Modeling with Constraints |
IJDMB
2010
14 years 6 months ago
2010
: Crystal lattices are discrete models of the three-dimensional space that have been effectively employed to facilitate the task of determining proteins' natural conformation....
70
Voted
ATS
2009
IEEE
15 years 4 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...
BMCBI
2006
14 years 9 months ago
2006
Background: Understanding the relationship between gene expression changes, enzyme activity shifts, and the corresponding physiological adaptive response of organisms to environme...
JCS
2010
14 years 4 months ago
2010
We introduce constraint differentiation, a powerful technique for reducing search when model-checking security protocols using constraint-based methods. Constraint differentiation...
CODES
2001
IEEE
15 years 1 months ago
2001
IEEE
New embedded systems must be power-aware, not just low-power. That is, they must track their power sources and the changingpower and performance constraints imposed by the environ...