Sciweavers

9049 search results - page 247 / 1810
» The New C Standard
Sort
View
ISW
2010
Springer
15 years 4 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 1 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 20 days 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...