Sciweavers

1221 search results - page 75 / 245
» From Modeling to Simulation of Multi-agent Systems: An Integ...
Sort
View
WSC
1998
13 years 9 months ago
Use of Simulation in Optimization of Maintenance Policies
Selecting an optimum maintenance policy independent of other parameters of the production system does not always yield the overall optimum operating conditions. For instance, high...
Farhad Azadivar, J. Victor Shu
MICCAI
2005
Springer
14 years 9 months ago
Deformable Registration of Brain Tumor Images Via a Statistical Model of Tumor-Induced Deformation
An approach to the deformable registration of three-dimensional brain tumor images to a normal brain atlas is presented. The approach involves the integration of three components:...
Ashraf Mohamed, Dinggang Shen, Christos Davatzikos
WSC
2000
13 years 9 months ago
Product-mix analysis with Discrete Event Simulation
Discrete Event Simulation (DES) has been used as a design and validation tool in various production and business applications. DES can also be utilized for analyzing the product-m...
Raid Al-Aomar
FORMATS
2007
Springer
14 years 6 days ago
Combining Formal Verification with Observed System Execution Behavior to Tune System Parameters
Resource limited DRE (Distributed Real-time Embedded) systems can benefit greatly from dynamic adaptation of system parameters. We propose a novel approach that employs iterative t...
Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcot...
FMCAD
2006
Springer
13 years 12 months ago
Design for Verification of the PCI-X Bus
The importance of re-usable Intellectual Properties (IPs) cores is increasing due to the growing complexity of today's system-on-chip and the need for rapid prototyping. In th...
Haja Moinudeen, Ali Habibi, Sofiène Tahar