Sciweavers

13 search results - page 3 / 3
» Interleaving Techniques for W-CDMA Linear Equalization Recei...
Sort
View
GLOBECOM
2006
IEEE
13 years 11 months ago
Multicode MIMO for High Data Rate Mobile Ad-hoc Networks
Abstract—In a mobile ad-hoc network scenario, where communication nodes are mounted on moving platforms (like jeeps, trucks, tanks, etc.), use of V-BLAST requires that the number...
Thati Srikanth, Shamaiah Manohar, Ananthanarayanan...
CADE
2009
Springer
14 years 2 days ago
Interpolant Generation for UTVPI
Abstract. The problem of computing Craig interpolants in SMT has recently received a lot of interest, mainly for its applications in formal verification. Efficient algorithms for ...
Alessandro Cimatti, Alberto Griggio, Roberto Sebas...
GLOBECOM
2009
IEEE
13 years 9 months ago
Optimum Allocation of Energy and Spectrum in Power-Controlled Wireless Networks with QoS Constraints
An important performance measure in wireless networks is the manner in which the network can distributively manage its limited energy and spectrum resources, while assuring certain...
Stepán Kucera, Ludek Kucera, Bing Zhang