Sciweavers

6610 search results - page 1139 / 1322
» Community Structures of Networks
Sort
View
CAV
2010
Springer
154views Hardware» more  CAV 2010»
15 years 10 months ago
Verifying Low-Level Implementations of High-Level Datatypes
For efficiency and portability, network packet processing code is typically written in low-level languages and makes use of bit-level operations to compactly represent data. Althou...
Christopher L. Conway, Clark Barrett
PODC
2010
ACM
15 years 10 months ago
Distributed algorithms for edge dominating sets
An edge dominating set for a graph G is a set D of edges such that each edge of G is in D or adjacent to at least one edge in D. This work studies deterministic distributed approx...
Jukka Suomela
WCNC
2010
IEEE
15 years 10 months ago
Scalable Mismatch Compensation for Time-Interleaved A/D Converters in OFDM Reception
Abstract—Realization of all-digital baseband receiver processing for multi-Gigabit communication requires analog-to-digital converters(ADCs) of sufficient rate and output resolu...
Sandeep Ponnuru, Upamanyu Madhow
WCNC
2010
IEEE
15 years 10 months ago
Dynamic Control of Data Ferries under Partial Observations
—Controlled mobile helper nodes called data ferries have recently been proposed to bridge communications between disconnected nodes in a delay-tolerant manner. While existing wor...
Chi Harold Liu, Ting He, Kang-won Lee, Kin K. Leun...
AICCSA
2001
IEEE
95views Hardware» more  AICCSA 2001»
15 years 10 months ago
An Environment Physically Distributed in Java
- This paper presents an environment for development of distributed applications. It consists basically of adding to language Java a library of methods to manipulate shared objects...
Denivaldo Lopes, Zair Abdelouahab
« Prev « First page 1139 / 1322 Last » Next »