Sciweavers

2370 search results - page 46 / 474
» A Framework for the Simulation Experimentation Process
Sort
View
WSC
2008
15 years 2 days ago
Simulation of stochastic hybrid systems with switching and reflecting boundaries
Modeling and simulation of biochemical systems are important tasks because they can provide insights into complicated systems where traditional experimentation is expensive or imp...
Derek Riley, Kasandra Riley
WSC
2001
14 years 11 months ago
Agent-based simulation and greenhouse gas emissions trading
The need for new theoretical and experimental approaches to understand dynamic and heterogeneous behavior in complex economic and social systems is increasing recently. An approac...
Hideyuki Mizuta, Yoshiki Yamagata
DATE
2008
IEEE
122views Hardware» more  DATE 2008»
15 years 4 months ago
Simulation-Directed Invariant Mining for Software Verification
With the advance of SAT solvers, transforming a software program to a propositional formula has generated much interest for bounded model checking of software in recent years. How...
Xueqi Cheng, Michael S. Hsiao
WSC
2007
15 years 2 days ago
Simulation results and formalism for global-local scheduling in semiconductor manufacturing facilities
This article deals with an approach for managing scheduling in semiconductor manufacturing facilities. The proposed approach ensures consistency between global and local schedulin...
Mickaël Bureau, Stéphane Dauzèr...
TROB
2008
141views more  TROB 2008»
14 years 9 months ago
3-D Snake Robot Motion: Nonsmooth Modeling, Simulations, and Experiments
A nonsmooth (hybrid) 3-D mathematical model of a snake robot (without wheels) is developed and experimentally validated in this paper. The model is based on the framework of nonsmo...
Aksel Andreas Transeth, Remco I. Leine, Christoph ...