7557 search results - page 637 / 1512 » Modeling Timed Concurrent Systems |
183
click to vote
SIMULATION
2002
15 years 6 months ago
2002
- In this paper, a new scheme for the simulation of tactical communications systems is introduced where the mobility, call and availability patterns for the communications equipmen...
192
click to vote
RSP
2002
IEEE
16 years 2 days ago
2002
IEEE
This paper presents a rapid prototyping technique that focuses on transition management in hybrid systems. In particular, it integrates hybrid modeling and simulation (for specify...
222
click to vote
PADS
2006
ACM
16 years 1 months ago
2006
ACM
In this paper we present a detailed analysis of the performance of the Decision Theoretic Read Delay (DTRD) optimistic synchronisation algorithm for simulations of Multistems. We ...
174
click to vote
JVCIR
2008
15 years 7 months ago
2008
In this article we present three key ideas which together form a flexible framework for maximizing user-perceived quality under given resources with modern video codecs (H.264). F...
247
click to vote
EEF
2000
15 years 10 months ago
2000
Both the logic and the stochastic analysis of discrete-state systems are hindered by the combinatorial growth of the state space underlying a high-level model. In this work, we con...