14382 search results - page 401 / 2877 » Time in Connectionist Models |
151
click to vote
WSC
2007
15 years 9 months ago
2007
This paper presents a model of Parts Distribution Center (PDC), developed in Arena® 5.0, which aims at providing information about the total time of the retrieving process as the...
177
click to vote
INFOCOM
2006
IEEE
16 years 24 days ago
2006
IEEE
— Polymorphic worms can change their byte sequence as they replicate and propagate, thwarting the traditional signature analysis techniques used by many intrusion detection syste...
162
click to vote
PAPM
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Recent investigations have shown that the automated verification of continuous-time Markov chains (CTMCs) against CSL (Continuous Stochastic Logic) can be performed in a...
201
click to vote
GLVLSI
2000
IEEE
15 years 11 months ago
2000
IEEE
Symbolic Model checking is a widely used technique in sequential verification. As the size of the OBDDs and also the computation time depends on the order of the input variables,...
178
click to vote
ISQED
2000
IEEE
15 years 11 months ago
2000
IEEE
The lognormal has been traditionally used to model the failure time distribution of electromigration failures. However, when used to estimate the failure of large metal layers, it...