4867 search results - page 42 / 974 » Fluid Models in Performance Analysis |
ECBS
2007
IEEE
13 years 11 months ago
2007
IEEE
We present in this paper a new approach for the automatic verification and performance analysis of SysML activity diagrams. Since timeliness is important in the design and analysi...
SBACPAD
2003
IEEE
14 years 28 days ago
2003
IEEE
This paper presents a theoretical study to evaluate the performance of a family of parallel implementations of the propagation algorithm. The propagation algorithm is used to an i...
EPEW
2008
Springer
13 years 9 months ago
2008
Springer
We define a mechanism for specifying performance queries which combine instantaneous observations of model states and finite sequences of observations of model activities. We reali...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
A randomly distributed microphone array is considered in this work. In many applications exact design of the array is impractical. The performance of these arrays, characterized b...
WINET
2010
13 years 6 months ago
2010
In this paper, we study the performance of the cumulative Automatic Repeat reQuest (ARQ) in IEEE 802.16 networks. An analytical model is developed to investigate some important per...