Sciweavers

4772 search results - page 689 / 955
» Annotations in Data Streams
Sort
View
ICSE
2009
IEEE-ACM
16 years 1 months ago
Verifying networked programs using a model checker extension
Model checking finds failures in software by exploring every possible execution schedule. Until recently it has been mainly applied to stand-alone applications. This paper presen...
Watcharin Leungwattanakit, Cyrille Artho, Masami H...
GLOBECOM
2009
IEEE
16 years 1 months ago
Joint Power and Channel Resource Allocation for F/TDMA Decode and Forward Relay Networks
—In this paper, we study the joint power and channel resource allocation problem for a multiuser F/TDMA decodeand-forward (DF) relay network under per-node power constraints and ...
Yin Sun, Yuanzhang Xiao, Ming Zhao 0001, Xiaofeng ...
AICT
2008
IEEE
114views Communications» more  AICT 2008»
16 years 1 months ago
Blocking Analysis in Hybrid TDM-WDM PONs Supporting Elastic Traffic
— The Passive Optical Network (PON) is an attractive solution for delivering services with numerous applications, such as high-definition video, video conferencing and data traff...
John S. Vardakas, Vassilios G. Vassilakis, Michael...
CISS
2008
IEEE
16 years 1 months ago
Improved sum-rate optimization in the multiuser MIMO downlink
—We consider linear precoding and decoding in the downlink of a multiuser multiple-input, multiple-output (MIMO) system. In this scenario, the transmitter and the receivers may e...
Adam J. Tenenbaum, Raviraj S. Adve
COMSWARE
2008
IEEE
16 years 1 months ago
Implementation aspects of reliable transport protocols in wireless sensor networks
Abstract—Our previous study comparing analytically a comprehensive set of reliable data streaming protocols has shown that an hybrid protocol comprising stop-and-wait hop-by-hop ...
Tuan D. Le, Yifei Dong, Ren Liu, Sanjay Jha, Zvi R...