700 search results - page 84 / 140 » Design of Optimal Quantizers for Distributed Source Coding |
PLDI
2003
ACM
14 years 3 months ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
EMSOFT
2004
Springer
14 years 3 months ago
2004
Springer
Dedicated operating systems for embedded systems are fast being phased out due to their use of manual optimization, which provides high performance and small footprint, but also r...
CODES
2009
IEEE
14 years 1 months ago
2009
IEEE
Technological advancements due to Moore’s law have led to the proliferation of complex wireless sensor network (WSN) domains. One commonality across all WSN domains is the need ...
ICDE
2007
IEEE
14 years 11 months ago
2007
IEEE
requirement. Furthermore, programming using sequence constructs normally produce nested structures and The current approachfor modeling synchronization in scattered code, especiall...
ICIP
1998
IEEE
14 years 11 months ago
1998
IEEE
A new approach of reliable image and video transmission over noisy channel is proposed. The proposed subband modulation scheme combines source coding and channel modulation scheme...