1886 search results - page 75 / 378 » Verifying and Validating Simulation Models |
148
Voted
SIGMETRICS
2003
ACM
15 years 7 months ago
2003
ACM
In this paper we present a general hybrid systems modeling framework to describe the flow of traffic in communication networks. To characterize network behavior, these models use...
137
Voted
DAC
2008
ACM
16 years 3 months ago
2008
ACM
The threshold voltage (Vth) of a nanoscale transistor is severely affected by random dopant fluctuations and line-edge roughness. The analysis of these effects usually requires at...
117
click to vote
CVPR
2007
IEEE
16 years 4 months ago
2007
IEEE
In this paper we present a dynamic model for simulating face aging process. We adopt a high resolution grammatical face model[1] and augment it with age and hair features. This mo...
129
Voted
ISQED
2010
IEEE
15 years 4 months ago
2010
IEEE
We present a method to abstract, formalize, and verify industrial flash memory implementations. Flash memories contain specialized transistors, e.g., floating gate and split gate d...
114
Voted
TCSV
2002
15 years 2 months ago
2002
Despite the availability of video-on-demand (VoD) services in a number of cities around the world, large-scale deployment of VoD services in a metropolitan area is still economical...