1767 search results - page 141 / 354 » An Integrated Model for Cellular Analysis |
159
click to vote
FPGA
2007
ACM
16 years 17 days ago
2007
ACM
Variations in the semiconductor fabrication process results in variability in parameters between transistors on the same die, a problem exacerbated by lithographic scaling. The re...
182
click to vote
BICOB
2010
Springer
15 years 11 months ago
2010
Springer
Most existing approaches for gene selection are based on evaluating the statistical relevance. However, there are remarkable discrepancies between statistical relevance and biolog...
165
click to vote
ICCAD
2000
IEEE
15 years 10 months ago
2000
IEEE
A high accuracy system for transistor-level static timing analysis is presented. Accurate static timing verification requires that individual gate and interconnect delays be accu...
158
click to vote
DAC
2000
ACM
15 years 10 months ago
2000
ACM
Signal integrity analysis has become imperative for high-speed designs. In this paper, we present a new technique to advance Krylov-space based passive model-reduction algorithms ...
141
click to vote
ICECCS
2007
IEEE
16 years 21 days ago
2007
IEEE
In this paper we summarize parallel algorithms for enumerative model checking of properties formulated in linear time temporal logic (LTL) as well as a fragment of the µcalculus ...