77016 search results - page 472 / 15404 » Modelling |
136
click to vote
DATE
2003
IEEE
16 years 6 days ago
2003
IEEE
A new crosstalk noise model is proposed for DOMINO logic gates. Our noise model takes the effect of keeper into account and provides more accurate noise measure.
176
click to vote
TPHOL
2003
IEEE
16 years 5 days ago
2003
IEEE
Abstract. Model checking and theorem proving are two complementary approaches to formal verification. In this paper we show how binary decision diagram (BDD) based symbolic model ...
146
click to vote
APN
2003
Springer
16 years 4 days ago
2003
Springer
The Model-Checking Kit [8] is a collection of programs which allow to model finite state systems using a variety of modelling languages, and verify them using a variety of checker...
167
click to vote
CAISE
2003
Springer
16 years 4 days ago
2003
Springer
Context modeling shall lead to better aid customers in achieving intents that evolve throughout a session. A static approach to it has been proposed. This approach is not satisfact...