Sciweavers

1663 search results - page 38 / 333
» Verification and validation of simulation models
Sort
View
CORR
2010
Springer
319views Education» more  CORR 2010»
14 years 9 months ago
Investigating Output Accuracy for a Discrete Event Simulation Model and an Agent Based Simulation Model
In this paper, we investigate output accuracy for a Discrete Event Simulation (DES) model and Agent Based Simulation (ABS) model. The purpose of this investigation is to find out ...
Mazlina Abdul Majid, Uwe Aickelin, Peer-Olaf Siebe...
WSC
1997
14 years 11 months ago
Data Analysis and Automatic Run-Length Control in CSIM18
The data collection and the automatic run-length control features provided in the CSIM18 library allow model builders to easily collect valid data from a simulation model and to b...
Herbert D. Schwetman, Jeffrey A. Brumfield
TPHOL
1998
IEEE
15 years 1 months ago
Co-inductive Axiomatization of a Synchronous Language
Abstract. Over the last decade, the increasing demand for the validation of safety critical systems lead to the development of domain-specific programming languages (e.g. synchrono...
David Nowak, Jean-René Beauvais, Jean-Pierr...
ISMVL
1994
IEEE
98views Hardware» more  ISMVL 1994»
15 years 1 months ago
Digital Circuit Verification Using Partially-Ordered State Models
Many aspects of digital circuit operation can be efficiently verified by simulating circuit operation over "weakened" state values. This technique has long been practice...
Carl-Johan H. Seger, Randal E. Bryant
ICPR
2006
IEEE
15 years 10 months ago
Efficient Search and Verification for Function Based Classification from Real Range Images
In this work we propose a probabilistic model for generic object classification from raw range images. Our approach supports a validation process in which classes are verified usi...
Ehud Rivlin, Ilan Shimshoni, Octavian Soldea