Sciweavers

2379 search results - page 149 / 476
» Modeling, scheduling, and simulation of switched processing ...
Sort
View
RTCSA
2005
IEEE
15 years 10 months ago
Model Checking Timed Systems with Priorities
Priorities are used to resolve conflicts such as in resource sharing and in safety designs. The use of priorities has become indispensable in real-time system design such as in s...
Pao-Ann Hsiung, Shang-Wei Lin
WSC
1997
15 years 5 months ago
Seven Habits of Highly Successful Input Modelers
Discrete-event simulation models typically have stochastic components that mimic the probabilistic nature of the system under consideration. Successful input modeling requires a c...
Lawrence Leemis
SPRINGSIM
2010
15 years 2 months ago
Simplifying parallel and distributed simulation with the DUP system
This paper presents how the DUP System, a straightforward POSIX-compatible framework that enables programminglanguage-agnostic parallel and distributed stream processing, can be u...
Nathan S. Evans, Chris GauthierDickey, Christian G...
IFIP12
2009
15 years 2 months ago
Three-Dimension Visualization for Primary Wheat Diseases Based on Simulation Model
Crop simulation model has been becoming the core of agricultural production management and resource optimization management. Displaying crop growth process makes user observe the c...
Shijuan Li, Yeping Zhu
DSRT
2008
IEEE
15 years 6 months ago
Lightweight Time Warp - A Novel Protocol for Parallel Optimistic Simulation of Large-Scale DEVS and Cell-DEVS Models
This paper proposes a novel Lightweight Time Warp (LTW) protocol for high-performance parallel optimistic simulation of large-scale DEVS and CellDEVS models. By exploiting the cha...
Qi Liu, Gabriel A. Wainer