Sciweavers

1991 search results - page 134 / 399
» Using a Coding Standard to Improve Program Quality
Sort
View
100
Voted
ICC
2008
IEEE
155views Communications» more  ICC 2008»
15 years 8 months ago
Adaptive Random Network Coding in WiMAX
—The IEEE 802.16 standard, or WiMAX, has emerged as one of the strongest contenders for broadband wireless access technology. In our previous work, we proposed a protocol using r...
Jin Jin, Baochun Li
POPL
2001
ACM
16 years 2 months ago
Oracle-based checking of untrusted software
We present a variant of Proof-Carrying Code (PCC) in which the trusted inference rules are represented as a higher-order logic program, the proof checker is replaced by a nondeter...
George C. Necula, Shree Prakash Rahul
139
Voted
CVPR
2008
IEEE
16 years 3 months ago
Small codes and large image databases for recognition
The Internet contains billions of images, freely available online. Methods for efficiently searching this incredibly rich resource are vital for a large number of applications. Th...
Antonio B. Torralba, Robert Fergus, Yair Weiss
TWC
2010
14 years 8 months ago
Lifetime-resource tradeoff for multicast traffic in wireless sensor networks
In this paper, we study the problem of supporting multicast traffic in wireless sensor networks with network coding. On one hand, coding operations can reduce power consumption and...
Vahid Shah-Mansouri, Vincent W. S. Wong
120
Voted
VCIP
2003
170views Communications» more  VCIP 2003»
15 years 3 months ago
Scan order and quantization for 3D-DCT coding
Two types of coders dominate the field of video compression research today: well-established hybrid coders, that are in the core of all MPEG and H.26X standards, and emerging thr...
Nikola Bozinovic, Janusz Konrad