121 search results - page 14 / 25 » Simulating process chain models with OMNeT |
169
Voted
HYBRID
2010
Springer
16 years 26 days ago
2010
Springer
Probabilistic Computation Tree Logic (PCTL) is a wellknown modal logic which has become a standard for expressing temporal properties of finite-state Markov chains in the context...
160
Voted
CF
2007
ACM
15 years 10 months ago
2007
ACM
MppSoC is a SIMD architecture composed of a grid of processors and memories connected by a X-Net neighbourhood network and a general purpose global router. MppSoC is an evolution ...
183
Voted
QEST
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--Model checkers for concurrent probabilistic systems have become very popular within the last decade. The study of long-run average behavior has however received only scan...
183
Voted
JVCA
2007
15 years 6 months ago
2007
This paper describes an impulse-based dynamic simulation method for articulated bodies which has a linear time complexity. Existing linear-time methods are either based on a reduc...
195
Voted
IANDC
2006
15 years 6 months ago
2006
Probabilistic verification of continuous-time stochastic processes has received increasing attention in the model-checking community in the past five years, with a clear focus on ...