4693 search results - page 629 / 939 » Verifying Hybrid Systems |
159
click to vote
ICC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—In this paper we aim to solve the multiuser multiinput multi-output (MIMO) downlink beamforming problem. The transmitter is a multi-antenna base-station broadcasting to ...
206
click to vote
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
—Automated tests are important for Web applications as they grow more complex day by day. Web application testing frameworks have emerged to help satisfy this need. However, used...
175
click to vote
SEAA
2008
IEEE
16 years 1 months ago
2008
IEEE
In this exploratory case study, effort distribution visualizations of industrial software development projects are made in order to assess to what extent patterns can be found tha...
200
click to vote
WIMOB
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—The adoption of new hardware and software architectures will make future generations of pervasive devices more flexible and extensible. Networks of computational nodes ...
162
click to vote
GLOBECOM
2007
IEEE
16 years 1 months ago
2007
IEEE
— In this paper we study the multiple antenna time reversal downlink transmission in an ultra-wideband (UWB) communication system which consists of access points and users. The a...