Sciweavers

9049 search results - page 247 / 1810
» The New C Standard
Sort
View
ISW
2010
Springer
15 years 5 months ago
Security Reductions of the Second Round SHA-3 Candidates
In 2007, the US National Institute for Standards and Technology announced a call for the design of a new cryptographic hash algorithm in response to vulnerabilities identified in e...
Elena Andreeva, Bart Mennink, Bart Preneel
NEW2AN
2010
Springer
15 years 5 months ago
Scalable Video Coding Based on Three-Dimensional Discrete Pseudo Cosine Transform
This paper proposes a new spatial scalable and low-complexity videocompressionalgorithmbasedonmultiplicationfreethree-dimensional discrete pseudo-cosine transform (3-D DPCT). Pract...
Eugeniy Belyaev, Timofey Sukhov, Liu Kai
TACAS
2010
Springer
178views Algorithms» more  TACAS 2010»
16 years 2 months ago
An Alternative to SAT-Based Approaches for Bit-Vectors
The theory BV of bit-vectors, i.e. fixed-size arrays of bits equipped with standard low-level machine instructions, is becoming very popular in formal verification. Standard solv...
Sébastien Bardin, Philippe Herrmann, Floria...
DATE
2006
IEEE
219views Hardware» more  DATE 2006»
16 years 1 months ago
Low cost LDPC decoder for DVB-S2
Because of its excellent bit-error-rate performance, the Low-Density Parity-Check (LDPC) algorithm is gaining increased attention in communication standards and literature. The ne...
John Dielissen, Andries Hekstra, Vincent Berg
DAGM
1999
Springer
15 years 11 months ago
A Total Least Squares Framework for Low-Level Analysis of Dynamic Scenes and Processes
Abstract. We present a new method to simultaneously estimate optical flow fields and parameters of dynamic processes, violating the standard brightness change constraint equation...
Horst W. Haussecker, Christoph S. Garbe, Hagen Spi...