1663 search results - page 115 / 333 » Verification and validation of simulation models |
142
click to vote
MSWIM
2004
ACM
15 years 9 months ago
2004
ACM
Discrete event network simulators have emerged as popular tools for verification and performance evaluation for various wireless networks. Nevertheless, the desire to model such ...
192
click to vote
JAVACARD
2000
15 years 8 months ago
2000
: Open-cards have introduced a new life cycle for smart card embedded applications. In the case of Java Card, they have raised the problem of embedded object-oriented applet valida...
153
click to vote
CCR
2006
15 years 4 months ago
2006
This paper presents a scalable time-stepped hybrid simulation algorithm which is well adapted to the simulation of large IP networks (up to one million of competing flows and netw...
132
click to vote
ISPD
2003
ACM
15 years 9 months ago
2003
ACM
: Recent years have seen significant research in finding closed form expressions for the delay of an RC circuit that improves upon the Elmore delay model. However, several of these...
132
Voted
TCAD
2010
14 years 11 months ago
2010
PSP and the backward propagation of variance (BPV) method are used to characterize the statistical variations of metal-oxide-semiconductor field effect transistors (MOSFETs). BPV s...