Sciweavers

2658 search results - page 230 / 532
» On efficient balanced codes
Sort
View
ICIP
2010
IEEE
15 years 2 months ago
Distance-based weighted prediction for Adaptive Intra Mode Bit Skip in H.264/AVC
Adaptive Intra Mode Bit Skip (AIMBS) technique using boundary pixels smoothness has been shown to achieve coding efficiency improvement for H.264/AVC's Intra_4x4 coding in re...
Lai-Man Po, Liping Wang, Kwok-Wai Cheung, Ka-Man W...
WSC
1998
15 years 6 months ago
Parallel Implementation of a Molecular Dynamics Simulation Program
We have taken a NIST molecular dynamics simulation program (md3), which was configured as a single sequential process running on a CRAY C90 vector supercomputer, and parallelized ...
Alan Mink, Christophe Bailly
CAV
2009
Springer
212views Hardware» more  CAV 2009»
16 years 5 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
MOBIHOC
2008
ACM
16 years 4 months ago
Efficient configuration and control of sanets using facts
ization of domain-specific programming abstractions for wireless sensor actor networks can greatly ease application development. A high level of abstraction from underlying system...
Kirsten Terfloth, Jochen H. Schiller
150
Voted
ICIP
2006
IEEE
15 years 11 months ago
Low-Complexity Rate Control for Efficient H.263 to H.264/AVC Video Transcoding
Rate control is a complicated problem in the H.264/AVC coding standard, extra computation is usually needed for the existing rate control schemes to estimate the complexity of fra...
Chi-Wang Ho, Oscar C. Au, S.-H. Gary Chan, Shu-Kei...