6020 search results - page 1054 / 1204 » A New Approach to Model Counting |
192
click to vote
QEST
2008
IEEE
16 years 20 days ago
2008
IEEE
We tackle the problem of non robustness of simulation and bisimulation when dealing with probabilistic processes. It is important to ignore tiny deviations in probabilities becaus...
187
click to vote
SASO
2008
IEEE
16 years 20 days ago
2008
IEEE
Abstract— On the one hand, natural phenomena of spontaneous pattern formation are generally random and repetitive, whereas, on the other hand, complicated heterogeneous architect...
184
click to vote
BIBE
2007
IEEE
16 years 19 days ago
2007
IEEE
-We demonstrate a new algorithm named FlexStem to predict RNA secondary structures with pseudoknots. Our approach is based on the free energy minimization criterion, and utilizes a...
119
click to vote
DATE
2007
IEEE
16 years 19 days ago
2007
IEEE
This paper presents a new approach that can be used to speed up SystemC simulations by automatically optimizing the model for simulation. The work addresses the inefficiency of th...
155
click to vote
DDECS
2007
IEEE
16 years 19 days ago
2007
IEEE
- As shown by previous studies, shorts between the interconnect wires should be considered as the predominant cause of failures in CMOS circuits. Fault models and tools for targeti...