3192 search results - page 257 / 639 » Translating Model Simulators to Analysis Models |
121
click to vote
INFOCOM
2002
IEEE
15 years 8 months ago
2002
IEEE
Abstract— An analytical model is developed for cellular networks with a combined adaptive bandwidth allocation and trafficrestriction mechanism. Instead of focusing only on the ...
171
Voted
RTSS
2002
IEEE
15 years 8 months ago
2002
IEEE
When executing soft real-time tasks in a shared processor, it is important to properly allocate the computational resources such that the quality of service requirements of each t...
132
Voted
DAC
1997
ACM
15 years 7 months ago
1997
ACM
- The objective of this paper is to provide an effective technique for accurate modeling of the external input sequences that affect the behavior of Finite State Machines (FSMs). T...
122
Voted
AMAST
2004
Springer
15 years 8 months ago
2004
Springer
JavaFAN uses a Maude rewriting logic specification of the JVM semantics as the basis of a software analysis tool with competitive performance. It supports formal analysis of concu...
104
click to vote
IEICET
2007
15 years 3 months ago
2007
Formerly, microwave emissions accompanying hypervelocity impacts were confirmed experimentally. In this paper, two kinds of analyses, output waveform analysis and spectral analys...