Sciweavers

1663 search results - page 27 / 333
» Verification and validation of simulation models
Sort
View
ICARCV
2006
IEEE
125views Robotics» more  ICARCV 2006»
15 years 3 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...
ISBI
2007
IEEE
15 years 4 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 ...
ITC
2003
IEEE
222views Hardware» more  ITC 2003»
15 years 2 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
DATE
2004
IEEE
97views Hardware» more  DATE 2004»
15 years 1 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
53
Voted
WSC
2004
14 years 11 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