Sciweavers

1663 search results - page 27 / 333
» Verification and validation of simulation models
Sort
View
106
Voted
ICARCV
2006
IEEE
125views Robotics» more  ICARCV 2006»
15 years 9 months ago
Validation of FE Deformation Models using Ultrasonic and MR Images
— This paper describes the measurement of inner deformation of a rheological object using ultrasonic and MR images and comparison the measured and simulated deformations. We appl...
Junji Muramatsu, Takashi Ikuta, Shinichi Hirai, Sh...
133
Voted
ISBI
2007
IEEE
15 years 10 months ago
Validation of Optical-Flow for Quantification of Myocardial Deformations on Simulated Rt3d Ultrasound
Quantitative analysis of cardiac motion is of great clinical interest in assessing ventricular function. Real-time 3-D (RT3D) ultrasound transducers provide valuable fourdimension...
Qi Duan, Elsa D. Angelini, Shunichi Homma, Andrew ...
139
Voted
ITC
2003
IEEE
222views Hardware» more  ITC 2003»
15 years 9 months ago
Race: A Word-Level ATPG-Based Constraints Solver System For Smart Random Simulation
Functional verification of complex designs largely relies on the use of simulation in conjunction high-level verification languages (HVL) and test-bench automation (TBA) tools. In...
Mahesh A. Iyer
143
Voted
DATE
2004
IEEE
97views Hardware» more  DATE 2004»
15 years 7 months ago
A Formal Verification Methodology for Checking Data Integrity
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...
Yasushi Umezawa, Takeshi Shimizu
80
Voted
WSC
2004
15 years 5 months ago
Validation of the Enlisted Grade Model Gradebreaks
This paper describes the validation of the Enlisted Grade model gradebreaks and describes a current application of simulation in operations research. The Enlisted Grade model is p...
Andrew O. Hall