1663 search results - page 88 / 333 » Validation and Verification of Simulation Models |
143
Voted
DSRT
2005
IEEE
15 years 9 months ago
2005
IEEE
This document presents a simulation-based method for the development of real time embedded systems. This kind of system is really sensitive to the communication with external envi...
107
Voted
WSC
2008
15 years 6 months ago
2008
Emergent behaviors in simulations require explanation, so that valid behaviors can be separated from design or coding errors. Validation of emergent behavior requires accumulation...
150
Voted
ISAMI
2010
15 years 1 months ago
2010
Probabilistic models of languages are fundamental to understand and learn the profile of the subjacent code in order to estimate its entropy, enabling the verification and predicti...
114
Voted
CPHYSICS
2004
15 years 3 months ago
2004
There has been dramatic progress in the scope and power of plasma simulations in recent years; and because codes are generally cheaper to write, to run and to diagnose than experi...
153
Voted
SIGSOFT
2010
ACM
14 years 10 months ago
2010
ACM
Specification and verification of real-time systems are important research topics which have practical implications. In this work, we present a self-contained toolkit to analyze r...