4867 search results - page 145 / 974 » Fluid Models in Performance Analysis |
127
click to vote
APN
2004
Springer
15 years 10 months ago
2004
Springer
We consider the problem of model checking modular Petri nets for the linear time logic LTL-X. An algorithm is presented which can use the synchronisation graph from modular analysi...
164
click to vote
ICC
2009
IEEE
15 years 11 months ago
2009
IEEE
—In this paper, we propose a simple and standard compliant retransmission mechanism, called Carrier–Sense Automatic Repeat reQuest (CS–ARQ), which aims at improving system pe...
110
Voted
DATE
2007
IEEE
15 years 11 months ago
2007
IEEE
High reliability against noise, low energy consumption and high performance are key objectives in the design of on-chip networks. Recently some researchers have considered the var...
158
click to vote
CCECE
2006
IEEE
15 years 11 months ago
2006
IEEE
The application of bit-interleaved coded modulation with iterative decoding (BICM-ID) was recently considered to improve both the spectral efficiency and error performance in Cla...
407
Voted
PRDC
1999
IEEE
15 years 9 months ago
1999
IEEE
In this paper, we compare the availability and performance of a wireless TDMA system with and without automatic protection switching. Stochastic reward net models are constructed ...