Sciweavers

1663 search results - page 14 / 333
» Verification and validation of simulation models
Sort
View
ASPDAC
2012
ACM
241views Hardware» more  ASPDAC 2012»
13 years 5 months ago
On error modeling of electrical bugs for post-silicon timing validation
—There is great demand for an accurate and scalable metric to evaluate the functional stimuli, testbench checkers, and DfD (Design-for-Debug) structures used in post-silicon timi...
Ming Gao, Peter Lisherness, Kwang-Ting Cheng, Jing...
45
Voted
WSC
2001
14 years 11 months ago
Verification of object-oriented simulation designs
Michael L. Metz, Jack Jordan
65
Voted
QEST
2010
IEEE
14 years 7 months ago
p-Automata: New Foundations for Discrete-Time Probabilistic Verification
Michael Huth, Nir Piterman, Daniel Wagner
IAT
2009
IEEE
15 years 4 months ago
Simulation of the Rungis Wholesale Market: Lessons on the Calibration, Validation and Usage of a Cognitive Agent-Based Simulatio
—We present some methodological lessons and thoughts inferred from a research we are making on a simulation of the Rungis Wholesale Market (in France) using cognitive agents. The...
Philippe Caillou, Corentin Curchod, Tiago Baptista