Sciweavers

37 search results - page 8 / 8
» Test Case Generation by OCL Mutation and Constraint Solving
Sort
View
TODAES
2002
134views more  TODAES 2002»
15 years 1 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...
133
Voted
BMCBI
2011
14 years 8 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