1663 search results - page 78 / 333 » Verification and validation of simulation models |
WSC
2007
15 years 4 days ago
2007
We describe the analysis of a discrete event simulation model of tuberculosis (TB) and HIV disease, parameterized to describe the dual epidemics in Harare, Zimbabwe. The HIV epide...
DSN
2009
IEEE
15 years 4 months ago
2009
IEEE
Any model-based evaluation of the dependability of a system requires validation and verification to justify that its results are meaningful. Modern modeling frameworks enable us ...
DAC
2008
ACM
15 years 10 months ago
2008
ACM
Extensive software-based simulation continues to be the mainstream methodology for functional verification of designs. To optimize the use of limited simulation resources, coverag...
ASPDAC
2006
ACM
15 years 1 months ago
2006
ACM
The verification of modern computing systems has grown to dominate the cost of system design, often with limited success as designs continue to be released with latent bugs. This t...
DATE
2003
IEEE
15 years 3 months ago
2003
IEEE
Given the growth in application-specific processors, there is a strong need for a retargetable modeling framework that is capable of accurately capturing complex processor behavi...