Sciweavers

385 search results - page 51 / 77
» Code Compression Using Variable-to-fixed Coding Based on Ari...
Sort
View
DCC
2002
IEEE
14 years 8 months ago
Robust Video Transmission over Binary Symmetric Channels with Packet Erasures
A video transmission system is presented based on the 3-D SPIHT algorithm for video compression and turbo codes for channel error protection. The channel considered is a binary sy...
Brian A. Banister, Benjamin Belzer, Thomas R. Fisc...
DATE
2010
IEEE
174views Hardware» more  DATE 2010»
13 years 6 months ago
An HVS-based Adaptive Computational Complexity Reduction Scheme for H.264/AVC video encoder using Prognostic Early Mode Exclusio
The H.264/AVC video encoder standard significantly improves the compression efficiency by using variable block-sized Inter (P) and Intra (I) Macroblock (MB) coding modes. In this p...
Muhammad Shafique, Bastian Molkenthin, Jörg H...
DSMML
2004
Springer
14 years 13 days ago
Efficient Communication by Breathing
The arithmetic-coding-based communication system, Dasher, can be driven by a one-dimensional continuous signal. A belt-mounted breath-mouse, delivering a signal related to lung vol...
Tom Shorrock, David MacKay, Chris Ball
FSE
1997
Springer
81views Cryptology» more  FSE 1997»
14 years 26 days ago
XMX: A Firmware-Oriented Block Cipher Based on Modular Multiplications
Abstract. This paper presents xmx, a new symmetric block cipher optimized for public-key libraries and microcontrollers with arithmetic coprocessors. xmx has no S-boxes and uses on...
David M'Raïhi, David Naccache, Jacques Stern,...
CAV
2009
Springer
212views Hardware» more  CAV 2009»
14 years 9 months ago
Beaver: Engineering an Efficient SMT Solver for Bit-Vector Arithmetic
We present the key ideas in the design and implementation of Beaver, an SMT solver for quantifier-free finite-precision bit-vector logic (QF BV). Beaver uses an eager approach, enc...
Susmit Jha, Rhishikesh Limaye, Sanjit A. Seshia