15614 search results - page 204 / 3123 » The State of State |
139
click to vote
ICSE
2004
IEEE-ACM
16 years 6 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...
179
click to vote
ESORICS
2002
Springer
16 years 6 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 ...
135
click to vote
ICCD
2001
IEEE
16 years 3 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 ...
159
click to vote
ICC
2009
IEEE
16 years 1 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...
214
click to vote
ICC
2009
IEEE
16 years 1 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...