298 search results - page 27 / 60 » Sensitivity Analysis of Multivariable Systems in State Space |
180
click to vote
TWC
2008
15 years 5 months ago
2008
We combine space-time coding and transmit beamforming over multiple-antenna quasi-static fading channels using resolution-constrained channel state information at the transmitter ...
189
click to vote
LICS
1998
IEEE
15 years 9 months ago
1998
IEEE
Probabilistic I/O automata (PIOA) constitute a model for distributed or concurrent systems that incorporates a notion of probabilistic choice. The PIOA model provides a notion of ...
177
click to vote
DLOG
2006
15 years 7 months ago
2006
Abstract. Model checking is a fully automated technique for determining whether the behaviour of a finite-state reactive system satisfies a temporal logic specification. Despite th...
178
click to vote
SIGMETRICS
2002
ACM
15 years 5 months ago
2002
ACM
We introduce a new methodology for the exact analysis of M/G/1-type Markov processes. The methodology uses basic, well-known results for Markov chains by exploiting the structure ...
149
click to vote
KBSE
1998
IEEE
15 years 10 months ago
1998
IEEE
Most efforts to automate formal verification of communicating systems have centred around finite-state systems (FSSs). However, FSSs are incapable of modelling many practical comm...