1880 search results - page 238 / 376 » A Static Analysis for Beta-Binders |
193
click to vote
GLVLSI
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper reviews the modeling of subthreshold leakage current and proposes an improved model for general series-parallel CMOS networks. The presence of on-switches in off-networ...
169
click to vote
BIB
2010
15 years 6 months ago
2010
Dynamic molecular interactions play a central role in regulating the functioning of cells and organisms.The availability of experimentally determined large-scale cellular networks...
150
click to vote
CGF
2010
2010
ProbExplorer: Uncertainty-guided Exploration and Editing of Probabilistic Medical Image Segmentation
15 years 6 months ago
In this paper, we develop an interactive analysis and visualization tool for probabilistic segmentation results in medical imaging. We provide a systematic approach to analyze, in...
196
click to vote
ENTCS
2007
15 years 6 months ago
2007
The flow logic approach to static analysis amounts to specifying the admissibility of solutions to analysis problems; when specified using formulae in stratified alternation-fr...
209
click to vote
CODES
2010
IEEE
15 years 4 months ago
2010
IEEE
With the continuous scaling of semiconductor technology, the life-time of circuit is decreasing so that processor failure becomes an important issue in MPSoC design. A software so...