Sciweavers

2067 search results - page 104 / 414
» Modeling and Simulation of Operating System Behavior
Sort
View
DATE
2007
IEEE
85views Hardware» more  DATE 2007»
15 years 4 months ago
Timing simulation of interconnected AUTOSAR software-components
AUTOSAR is a recent specification initiative which focuses on a model-driven architecture like methodology for automotive applications. However, needed engineering steps, or how-t...
Matthias Krause, Oliver Bringmann, André He...
ANSS
1996
IEEE
15 years 2 months ago
Computation of the Asymptotic Bias and Variance for Simulation of Markov Reward Models
The asymptotic bias and variance are important determinants of the quality of a simulation run. In particular, the asymptotic bias can be used to approximate the bias introduced b...
Aad P. A. van Moorsel, Latha A. Kant, William H. S...
HYBRID
2000
Springer
15 years 1 months ago
Modular Specification of Hybrid Systems in CHARON
Abstract. We propose a language, called Charon, for modular specification of interacting hybrid systems. For hierarchical description of the system architecture, Charon supports bu...
Rajeev Alur, Radu Grosu, Yerang Hur, Vijay Kumar, ...
WSC
1998
14 years 11 months ago
Military Simulation Worlds and Organizational Learning
The operational benefits of having a learning organization include at the very minimum increased organizational competitiveness and responsiveness in a given realm of competition....
Michael D. Proctor, Justin C. Gubler
WSC
2007
15 years 4 days ago
Merging six emergency departments into one: a simulation approach
Simulation of existing systems can reinforce a Subject Matter Expert’s gut feelings. However, it is more difficult to develop intuition for proposed systems, particularly when c...
Martin J. Miller, David M. Ferrin, Marshall Ashby,...