14360 search results - page 395 / 2872 » Time Modeling in MARTE |
125
click to vote
PAPM
2001
Springer
15 years 9 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...
160
click to vote
GLVLSI
2000
IEEE
15 years 8 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,...
140
click to vote
ISQED
2000
IEEE
15 years 8 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...
130
click to vote
PE
2006
Springer
15 years 4 months ago
2006
Springer
We consider a time-slotted queueing model where each time slot can either be an arrival slot, in which new packets arrive, or a departure slot, in which packets are transmitted an...
160
Voted
ICC
2009
IEEE
15 years 11 months ago
2009
IEEE
— Spectrum handoff occurs when the primary users appear in the licensed band occupied by the secondary users. Spectrum handoff procedures aim to help the secondary users to vacat...