Sciweavers

2655 search results - page 171 / 531
» LT Network Codes
Sort
View
105
Voted
CAV
2010
Springer
154views Hardware» more  CAV 2010»
15 years 4 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
109
Voted
GECCO
2005
Springer
149views Optimization» more  GECCO 2005»
15 years 6 months ago
There's more to a model than code: understanding and formalizing in silico modeling experience
Mapping biology into computation has both a domain specific aspect – biological theory – and a methodological aspect – model development. Computational modelers have implici...
Janet Wiles, Nicholas Geard, James Watson, Kai Wil...
97
Voted
PODC
2006
ACM
15 years 6 months ago
Local approximation schemes for topology control
This paper presents a distributed algorithm for wireless adhoc networks that runs in polylogarithmic number of rounds in the size of the network and constructs a lightweight, line...
Mirela Damian, Saurav Pandit, Sriram V. Pemmaraju
GLOBECOM
2007
IEEE
15 years 7 months ago
Evaluation of MIMO Techniques in FH-MA Ad Hoc Networks
—We consider an ad hoc network where frequency hopping (FH), convolutional coding and multiple antennas are employed in order to combat fading and multiple access (MA) interferen...
Kostas Stamatiou, John G. Proakis, James R. Zeidle...
104
Voted
INTERSENSE
2006
ACM
15 years 6 months ago
Issues in designing a compilation framework for macroprogrammed networked sensor systems
— There is growing interest in the networked sensing community in the technique of macroprogramming, where the end-user can design a system using a high level description without...
Animesh Pathak, Viktor K. Prasanna