11112 search results - page 209 / 2223 » Computing Stuttering Simulations |
138
Voted
CONCUR
2012
Springer
13 years 5 months ago
2012
Springer
Simulation and Abstraction Guy Avni and Orna Kupferman School of Computer Science and Engineering, Hebrew University, Israel Weighted automata map input words to real numbers and a...
140
Voted
ASAP
2009
IEEE
15 years 11 months ago
2009
IEEE
—Molecular dynamics simulation based on discrete event simulation (DMD) is emerging as an alternative to time-step driven molecular dynamics (MD). DMD uses simplified discretize...
126
Voted
RTSS
2009
IEEE
15 years 9 months ago
2009
IEEE
—This paper proposes a framework for determining the correctness and robustness of simulations of hybrid systems. The focus is on simulations generated from model-based design en...
153
Voted
BICOB
2009
Springer
15 years 9 months ago
2009
Springer
Atomistic molecular dynamics (MD) simulations are a vital tool in chemical research, as they are able to provide a view of chemical systems and processes that is not obtainable thr...
124
Voted
PDP
2006
IEEE
15 years 8 months ago
2006
IEEE
Mobility study is composed of many research areas which one interests us: urban mobility. In the literature, urban mobilities are represented by analytical techniques like stochas...