1366 search results - page 73 / 274 » Simulation Modeling and Optimization using ProModel |
107
Voted
ICCD
2001
IEEE
15 years 9 months ago
2001
IEEE
We present a simulation-based semi-formal verification method for sequential circuits described at the registertransfer level. The method consists of an iterative loop where cove...
87
Voted
JCC
2006
15 years 16 days ago
2006
: We describe the implementation of a general and flexible Monte Carlo (MC) module for the program CHARMM, which is used widely for modeling biomolecular systems with empirical ene...
ICNSC
2007
IEEE
15 years 7 months ago
2007
IEEE
— This paper investigates the motion generation for a pendulum-driven cart-pole system. The dynamic model of this system is developed by using the Newton’s Law. A sixstep motio...
113
click to vote
ICCAD
2009
IEEE
14 years 10 months ago
2009
IEEE
Performance models for Network-on-Chip (NoC) are essential for design, optimization and Quality of Service (QoS) assurance. Classical queueing theory has been often used to provid...
115
click to vote
ICEIS
2009
IEEE
15 years 7 months ago
2009
IEEE
Proposed and developed is a service composition framework for decision-making under uncertainty, which is applicable to stochastic optimization of supply chains. Also developed is ...