Sciweavers

1336 search results - page 49 / 268
» codes 2005
Sort
View
ISVLSI
2005
IEEE
157views VLSI» more  ISVLSI 2005»
15 years 3 months ago
Configurable Multiprocessors for High-Performance MPEG-4 Video Coding
We investigate the performance improvement of a multithreaded MPEG-4 video encoder executing on a configurable, extensible, SoC multiprocessor. Architecture-level results indicate...
Vassilios A. Chouliaras, Tom R. Jacobs, Ashwin K. ...
EMMCVPR
2005
Springer
15 years 3 months ago
Reverse-Convex Programming for Sparse Image Codes
Abstract. Reverse-convex programming (RCP) concerns global optimization of a specific class of non-convex optimization problems. We show that a recently proposed model for sparse ...
Matthias Heiler, Christoph Schnörr
ICICS
2005
Springer
15 years 3 months ago
Reversible Watermark with Large Capacity Using the Predictive Coding
A reversible watermarking algorithm with large capacity has been developed by applying the difference expansion of a generalized integer transform. In this algorithm, a watermark ...
Minoru Kuribayashi, Masakatu Morii, Hatsukazu Tana...
SPIN
2005
Springer
15 years 3 months ago
Model Checking Machine Code with the GNU Debugger
Embedded software verification is an important verification problem that requires the ability to reason about the timed semantics of concurrent behaviors at a low level of atomic...
Eric Mercer, Michael Jones
WDAG
2005
Springer
88views Algorithms» more  WDAG 2005»
15 years 3 months ago
Optimal Resilience for Erasure-Coded Byzantine Distributed Storage
We analyze the problem of efficient distributed storage of information in a message-passing environment where both less than one third of the servers, as well as an arbitrary num...
Christian Cachin, Stefano Tessaro