17740 search results - page 3176 / 3548 » Simulation Using Orchestration |
209
click to vote
KBSE
2005
IEEE
16 years 11 days ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
174
click to vote
MTV
2005
IEEE
16 years 11 days ago
2005
IEEE
Abstract— Owing to the recent trend of using applicationspecific instruction-set processors (ASIP), many Architecture Description Languages (ADLs) have been created. They specif...
185
click to vote
SAINT
2005
IEEE
16 years 11 days ago
2005
IEEE
In this paper, we propose an analytic approach of modeling a closed-loop network with multiple feedback loops using fluid-flow approximation. Specifically, we model building bl...
189
click to vote
VISUALIZATION
2005
IEEE
16 years 11 days ago
2005
IEEE
This paper presents a novel method for computing simulated x-ray images, or DRRs (digitally reconstructed radiographs), of tetrahedral meshes with higher-order attenuation functio...
177
click to vote
VISUALIZATION
2005
IEEE
16 years 11 days ago
2005
IEEE
Understanding and analyzing complex volumetrically varying data is a difficult problem. Many computational visualization techniques have had only limited success in succinctly po...