757 search results - page 123 / 152 » Monte Carlo Model Checking |
121
Voted
ICCAD
2004
IEEE
15 years 11 months ago
2004
IEEE
9, IO]. However, unlike the case with static timing, it is not so easy We show how recent advances in the handling of correlated interval representations of range uncertainty can b...
146
Voted
BMCBI
2005
15 years 2 months ago
2005
Background: Coalescent simulations are playing a large role in interpreting large scale intraspecific sequence or polymorphism surveys and for planning and evaluating association ...
141
click to vote
EGC
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Grid technology is widely emerging as a solution for wide-spread applicability of computerized analysis and processing procedures in biomedical sciences. In this paper we...
158
Voted
FCCM
2008
IEEE
15 years 9 months ago
2008
IEEE
The map-reduce model requires users to express their problem in terms of a map function that processes single records in a stream, and a reduce function that merges all mapped out...
144
Voted
GLVLSI
2008
IEEE
15 years 9 months ago
2008
IEEE
In this paper, we propose a novel statistical capacitance extraction method for interconnects considering process variations. The new method, called statCap, is based on the spect...