536 search results - page 8 / 108 » Real Time Simulation of Multizone Elastokinematic Models |
FMOODS
2007
13 years 9 months ago
2007
This paper describes the application of Real-Time Maude to the formal specification, simulation, and further formal analysis of the sophisticated state-of-the-art OGDC wireless se...
VMV
2001
13 years 9 months ago
2001
In this paper we demonstrate the benefits of the most current nVidia graphics chip set for realistic simulation and rendering of dynamic water surfaces in real-time. In particular...
HASE
1997
IEEE
14 years 2 days ago
1997
IEEE
The testtng and valadatzon of formal speczficatzons of hzgh-assurance real-tzme systems repiizres a n ertenszble szniulatzon enrwonment wzth support for users to generate events, ...
MONET
2002
13 years 7 months ago
2002
This paper describes a framework for selecting the optimal call mix to be admitted while employing a bandwidth degradation policy in a wireless cellular network. The optimal proper...
ANSS
2008
IEEE
14 years 2 months ago
2008
IEEE