15614 search results - page 204 / 3123 » The State of State |
116
click to vote
ICSE
2004
IEEE-ACM
16 years 4 months ago
2004
IEEE-ACM
Because it takes time and trust to establish agreement, traditional consensus-based architectural styles cannot safely accommodate resources that change faster than it takes to tr...
146
click to vote
ESORICS
2002
Springer
16 years 3 months ago
2002
Springer
We introduce the ISM approach, a framework for modeling and verifying reactive systems in a formal, even machine-checked, way. The framework has been developed for applications in ...
105
click to vote
ICCD
2001
IEEE
16 years 1 months ago
2001
IEEE
This paper introduces minimal subset evaluation (MSE) as a way to reduce time spent on large-structure warm-up during the fastforwarding portion of processor simulations. Warm up ...
127
click to vote
ICC
2009
IEEE
15 years 11 months ago
2009
IEEE
—In this paper, we propose a joint precoding scheme for both the base station (BS) and relay station (RS) to increase the ergodic capacity of downlink non-regenerative multiple-i...
182
click to vote
ICC
2009
IEEE
15 years 11 months ago
2009
IEEE
—We consider multi-user MIMO broadcast channels with limited feedback. A recently proposed linear precoding technique, regularized block diagonalization (RBD), is used to mitigat...