Sciweavers

1663 search results - page 38 / 333
» Validation and Verification of Simulation Models
Sort
View
CORR
2010
Springer
319views Education» more  CORR 2010»
15 years 3 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
15 years 4 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
137
Voted
TPHOL
1998
IEEE
15 years 7 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...
104
Voted
ISMVL
1994
IEEE
98views Hardware» more  ISMVL 1994»
15 years 7 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
107
Voted
ICPR
2006
IEEE
16 years 4 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