8828 search results - page 1466 / 1766 » Formal methods in practice |
197
click to vote
CISS
2008
IEEE
16 years 1 months ago
2008
IEEE
—In this paper, we propose a low complexity linear multiuser beamforming system for the multiple-input multipleoutput (MIMO) broadcast channel. We consider the specific case of ...
187
click to vote
CSFW
2008
IEEE
16 years 1 months ago
2008
IEEE
Secure communication in distributed systems is notoriously hard to achieve due to the variety of attacks an adversary can mount, based on message interception, modification, redi...
151
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
A new algorithm is presented that combines performance and variation objectives in a behavioural model for a given analogue circuit topology and process. The tradeoffs between per...
161
click to vote
GLOBECOM
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—The development and assessment of spectrum management methods for the copper access network are usually conducted under the assumption of accurate channel information. A...
173
click to vote
ICARCV
2008
IEEE
16 years 1 months ago
2008
IEEE
— We consider a discrete-time dynamical system with Boolean and continuous states, with the continuous state propagating linearly in the continuous and Boolean state variables, a...