Sciweavers

1663 search results - page 43 / 333
» Verification and validation of simulation models
Sort
View
CAV
1990
Springer
114views Hardware» more  CAV 1990»
15 years 1 months ago
Formal Verification of Digital Circuits Using Symbolic Ternary System Models
Ternary system modeling involves extending the traditional set of binary values
Randal E. Bryant, Carl-Johan H. Seger
IAT
2010
IEEE
14 years 7 months ago
Personalisation of Computational Models of Attention by Simulated Annealing Parameter Tuning
-- In this paper it is explored whether personalisation of an existing computational model of attention can increase the model's validity. Computational models of attention ar...
Rianne van Lambalgen, Peter-Paul van Maanen
COMPSAC
2005
IEEE
15 years 3 months ago
An Empirical Performance Study for Validating a Performance Analysis Approach: PSIM
Performance analysis gains more attention in recent years by researchers who focus their study on the early software development stages to mitigate the risk of redesign as problem...
Jinchun Xia, Yujia Ge, Carl K. Chang
JIB
2007
95views more  JIB 2007»
14 years 9 months ago
Integration of constraints documented in SBML, SBO, and the SBML Manual facilitates validation of biological models
The creation of quantitative, simulatable, Systems Biology Markup Language (SBML) models that accurately simulate the system under study is a time-intensive manual process that re...
Allyson L. Lister, Matthew R. Pocock, Anil Wipat
MICCAI
2002
Springer
15 years 10 months ago
Validation of Tissue Modelization and Classification Techniques in T1-Weighted MR Brain Images
Abstract. We propose a deep study on tissue modelization and classification Techniques on T1-weighted MR images. Three approaches have been taken into account to perform this valid...
Meritxell Bach Cuadra, Bram Platel, Eduardo Solana...