9051 search results - page 332 / 1811 » On detectability of stochastic systems |
234
click to vote
QEST
2010
IEEE
15 years 5 months ago
2010
IEEE
Stochastic model checking has been used recently to assess, among others, dependability measures for a variety of systems. However, the employed numerical methods, as, e.g., suppor...
180
click to vote
MMAS
2010
Springer
15 years 2 months ago
2010
Springer
Based on the thermodynamic concept of a reservoir, we investigate a computational model for interaction with unresolved degrees of freedom (a thermal bath). We assume that a finite...
193
Voted
DSN
2008
IEEE
16 years 1 months ago
2008
IEEE
We describe the implementation and experimental evaluation of a fault-tolerant leader election service for dynamic systems. Intuitively, distributed applications can use this serv...
187
Voted
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— We consider the problem of designing space-timefrequency linear dispersion (LD) codes in wideband multipleinput multiple-output (MIMO) antenna systems employing orthogo...
205
click to vote
VALUETOOLS
2006
ACM
16 years 1 months ago
2006
ACM
We examine the stability of multi-class queueing systems with the special feature that the service rates of the various classes depend on the number of users present of each of th...