Sciweavers

2880 search results - page 277 / 576
» Using Channels for Multimedia Communication
Sort
View
GLOBECOM
2006
IEEE
16 years 20 days ago
A Simple Congestion-Resilient Link Adaptation Algorithm for IEEE 802.11 WLANs
— Algorithmic approach to link adaptation for IEEE 802.11 networks such as Automatic Rate Fallback (ARF) is known to suffer from the inability to differentiate between collision ...
Hyogon Kim, Sangki Yun, Heejo Lee, Inhye Kang, Kyu...
VTC
2006
IEEE
16 years 18 days ago
A Novel Hybrid ARQ Scheme Based on Shift Column Permutation Bit Interleaving for OFDM Systems
—In this paper, a novel hybrid ARQ scheme based on shift column permutation bit interleaving is proposed for OFDM systems. When a packet is requested for retransmission, we can u...
Junwoo Jung, Hyungwon Park, Jaesung Lim
TCS
2008
15 years 6 months ago
Semantic subtyping for the pi-calculus
Subtyping relations for the -calculus are usually defined in a syntactic way, by means of structural rules. We propose a semantic characterisation of channel types and use it to d...
Giuseppe Castagna, Rocco De Nicola, Daniele Varacc...
TIT
2008
95views more  TIT 2008»
15 years 6 months ago
Distributed Estimation Via Random Access
The problem of distributed Bayesian estimation is considered in the context of a wireless sensor network. The Bayesian estimation performance is analyzed in terms of the expected F...
Animashree Anandkumar, Lang Tong, Ananthram Swami
SAS
2010
Springer
262views Formal Methods» more  SAS 2010»
15 years 5 months ago
Concurrent Separation Logic for Pipelined Parallelization
Recent innovations in automatic parallelizing compilers are showing impressive speedups on multicore processors using shared memory with asynchronous channels. We have formulated a...
Christian J. Bell, Andrew W. Appel, David Walker