3082 search results - page 414 / 617 » Deviation Analysis: A New Use of Model Checking |
169
click to vote
SMA
2003
ACM
15 years 11 months ago
2003
ACM
The presented approach to discretization of functionally defined heterogeneous objects is oriented towards applications associated with numerical simulation procedures, for exampl...
164
click to vote
ISPD
2003
ACM
15 years 11 months ago
2003
ACM
Delay evaluation is always a crucial concern in the VLSI design and it becomes increasingly more critical in the nowadays deep-submicron technology. To obtain an accurate delay va...
168
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Developing and evaluating new technology that enables researchers to recover gene-expression levels of colonic cells from fecal samples could be key to a non-invasive ...
165
click to vote
ICCAD
2002
IEEE
16 years 3 months ago
2002
IEEE
— The communication sub-system of complex IC systems is increasingly critical for achieving system performance. Given this, it is important that the on-chip communication archite...
163
click to vote
FBIT
2007
IEEE
15 years 10 months ago
2007
IEEE
In this pilot study, we developed a set of computer vision based surface segmentation and statistical shape analysis algorithms to study genetic influences on brain structure in a...