Sciweavers

2035 search results - page 343 / 407
» Communicating Scala Objects
Sort
View
WCNC
2010
IEEE
13 years 7 months ago
Codebook Design for Memory-Based Quantization of Precoder Matrix in Low-Rate Feedback MIMO Systems with Temporally Correlated Fa
—An important transmitter adaptation technique used in multiple-input multiple-output (MIMO) communication systems is precoding based on the dominant right-singular vectors of th...
Pradeepa Yahampath, Are Hjørungnes
WINET
2010
146views more  WINET 2010»
13 years 7 months ago
Allocating data for broadcasting over wireless channels subject to transmission errors
Broadcasting is an efficient and scalable way of transmitting data over wireless channels to an unlimited number of clients. In this paper the problem of allocating data to multip...
Paolo Barsocchi, Alan A. Bertossi, Maria Cristina ...
FSTTCS
2010
Springer
13 years 6 months ago
Model checking time-constrained scenario-based specifications
We consider the problem of model checking message-passing systems with real-time requirements. As behavioural specifications, we use message sequence charts (MSCs) annotated with ...
S. Akshay, Paul Gastin, Madhavan Mukund, K. Naraya...
GIS
2010
ACM
13 years 6 months ago
Efficient indexing structure for scalable processing of spatial alarms
Spatial Alarms are reminders for mobile users upon their arrival of certain spatial location of interest. Spatial alarm processing requires meeting two demanding objectives: high ...
Myungcheol Doo, Ling Liu, Nitya Narasimhan, Venu V...
MOBIHOC
2010
ACM
13 years 6 months ago
Identifying the missing tags in a large RFID system
Comparing with the classical barcode system, RFID extends the operational distance from inches to a number of feet (passive RFID tags) or even hundreds of feet (active RFID tags)....
Tao Li, Shigang Chen, Yibei Ling