1663 search results - page 105 / 333 » Validation and Verification of Simulation Models |
126
Voted
SPAA
2005
ACM
15 years 9 months ago
2005
ACM
One approach in verifying the correctness of a multiprocessor system is to show that its execution results comply with the memory consistency model it is meant to implement. It ha...
132
Voted
WSC
2007
15 years 6 months ago
2007
Visualization is a powerful method for verifying, validating, and communicating the results of a simulated model. Lack of visual understanding about a simulated model is one of th...
131
Voted
EDM
2010
15 years 5 months ago
2010
Abstract. The validation of models for skills assessment is often conducted by using simulated students because their skills mastery can be predefined. Student performance data is ...
133
Voted
ANSS
2002
IEEE
15 years 8 months ago
2002
IEEE
Cell-DEVS is an extension to the DEVS formalism that allows the definition of cellular models. Complex physical systems can be defined using simple rules, reducing the development...
142
click to vote
IPCCC
2005
IEEE
15 years 9 months ago
2005
IEEE
Public safety wireless networks (PSWNs) play a vital role in the operation of emergency agencies. In this paper, we describe analysis and modeling of traffic data collected from E...