Sciweavers

37 search results - page 8 / 8
» Test Case Generation by OCL Mutation and Constraint Solving
Sort
View
TODAES
2002
134views more  TODAES 2002»
13 years 6 months ago
False-noise analysis using logic implications
ct Cross-coupled noise analysis has become a critical concern in today's VLSI designs. Typically, noise analysis makes an assumption that all aggressing nets can simultaneousl...
Alexey Glebov, Sergey Gavrilov, David Blaauw, Vlad...
BMCBI
2011
13 years 1 months ago
A quality metric for homology modeling: the H-factor
Background: The analysis of protein structures provides fundamental insight into most biochemical functions and consequently into the cause and possible treatment of diseases. As ...
Eric di Luccio, Patrice Koehl