27913 search results - page 244 / 5583 » Simulation |
133
Voted
RTAS
1997
IEEE
15 years 6 months ago
1997
IEEE
ÐThis paper describes MTSim, an extensible, customizable simulation platform for the Modechart toolset (MT). MTSim provides support for ªplugging inº user-defined viewers useful...
110
Voted
HICSS
1996
IEEE
15 years 6 months ago
1996
IEEE
Simulation of landscape ecosystems with high realism demands computing power greatly exceeding that of current workstation technology. However, the prospects are excellent that mo...
122
Voted
PADS
1996
ACM
15 years 6 months ago
1996
ACM
We investigate conservative parallel discrete event simulations for logical circuits on shared-memory multiprocessors. For a first estimation of the possible speedup, we extend th...
120
click to vote
CEC
2007
IEEE
15 years 6 months ago
2007
IEEE
Routing in computer networks is a nonlinear combinatorial optimization problem with numerous constraints and is classified as an NP-complete problem. There are certain important Qo...
123
Voted
FORMATS
2009
Springer
15 years 6 months ago
2009
Springer
Abstract In this paper we focus on property-preserving preorders between timed game automata and their application to control of partially observable systems. We define timed weak ...