Sciweavers

4356 search results - page 504 / 872
» Communicating Transactions - (Extended Abstract)
Sort
View
193
Voted
FMICS
2010
Springer
15 years 8 months ago
SMT-Based Formal Verification of a TTEthernet Synchronization Function
Abstract. TTEthernet is a communication infrastructure for mixedcriticality systems that integrates dataflow from applications with different criticality levels on a single network...
Wilfried Steiner, Bruno Dutertre
GLOBECOM
2008
IEEE
15 years 8 months ago
Probabilistic Path Selection in Opportunistic Cognitive Radio Networks
Abstract—We present a novel routing approach for multichannel cognitive radio networks (CRNs). Our approach is based on probabilistically estimating the available capacity of eve...
Hicham Khalife, Satyajeet Ahuja, Naceur Malouch, M...
GLOBECOM
2008
IEEE
15 years 8 months ago
Improved OFDMA Uplink Transmission via Cooperation in the Presence of Frequency Offsets
Abstract— In this paper, we evaluate the performance improvement in an Orthogonal Frequency-Division Multiple Access (OFDMA) uplink achievable with cooperative relaying in the pr...
Zhongshan Zhang, Chintha Tellambura, Robert Schobe...
GLOBECOM
2008
IEEE
15 years 8 months ago
Blooming Trees for Minimal Perfect Hashing
Abstract—Hash tables are used in many networking applications, such as lookup and packet classification. But the issue of collisions resolution makes their use slow and not suit...
Gianni Antichi, Domenico Ficara, Stefano Giordano,...
GLOBECOM
2008
IEEE
15 years 8 months ago
Cross-Layer Rate Allocation for Multimedia Applications in Pervasive Computing Environment
Abstract— An important issue for supporting multimedia applications in multiple heterogeneous networks, a typical pervasive computing environment, is how to optimize the rate all...
Liang Zhou, Benoit Geller, Anne Wei, Baoyu Zheng, ...