2116 search results - page 118 / 424 » On Probabilistic Alternating Simulations |
SIGMETRICS
1991
ACM
15 years 1 months ago
1991
ACM
Prior to this work, all implementations of stack simulation [MGS70] required more than linear time to process an address trace. In particular these implementations are often slow ...
WSC
2008
15 years 12 days ago
2008
In this paper we present the use of "what-if"-analysis in simulation games for spatial decision making by introducing the concept of multiple worlds. We expect that &quo...
SIMUTOOLS
2008
14 years 11 months ago
2008
The IEEE 802.16 technology is emerging as a promising solution for BWA due to its ability to support multimedia services and to operate in multiple physical environments. Also, wi...
WSC
1997
14 years 11 months ago
1997
This paper discusses the design, development, and use of a performance monitoring tool for Distributed Interactive Simulations (DIS). A typical DIS environment consists of hundred...
102
click to vote
QEST
2010
IEEE
14 years 8 months ago
2010
IEEE
Stochastic model checking has been used recently to assess, among others, dependability measures for a variety of systems. However, the employed numerical methods, as, e.g., suppor...