2379 search results - page 216 / 476 » Modeling, scheduling, and simulation of switched processing ... |
208
click to vote
MICCAI
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The simulation of ultrasound wave propagation is of high interest in fields as ultrasound system development and therapeutic ultrasound. From a computational point of vi...
175
click to vote
WSC
2001
15 years 7 months ago
2001
Discrete-event simulation is an established tool for the design and management of large-scale mail sortation and distribution systems. Because the design of distribution facilitie...
223
click to vote
JSC
2010
15 years 1 months ago
2010
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrar...
162
click to vote
WSC
2000
15 years 7 months ago
2000
In 1999, Kellogg Company needed to rationalize its area manufacturing capacity. A significant portion of the production was moved between Kellogg manufacturing plants. Simulation ...
169
click to vote
WSC
2007
15 years 8 months ago
2007
Visualization is a powerful method for verifying, validating, and communicating the results of a simulated model. Lack of visual understanding about a simulated model is one of th...