Sciweavers

397 search results - page 49 / 80
» Overview of LDPC Codes
Sort
View
TACAS
2012
Springer
277views Algorithms» more  TACAS 2012»
13 years 11 months ago
Proving Reachability Using FShell - (Competition Contribution)
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
Andreas Holzer, Daniel Kroening, Christian Schallh...
CORR
2010
Springer
157views Education» more  CORR 2010»
15 years 3 months ago
A Survey on Network Codes for Distributed Storage
Distributed storage systems often introduce redundancy to increase reliability. When coding is used, the repair problem arises: if a node storing encoded information fails, in orde...
Alexandros G. Dimakis, Kannan Ramchandran, Yunnan ...
127
Voted
DKE
2007
115views more  DKE 2007»
15 years 3 months ago
An improved methodology on information distillation by mining program source code
This paper presents a methodology for knowledge acquisition from source code. We use data mining to support semiautomated software maintenance and comprehension and provide practi...
Yiannis Kanellopoulos, Christos Makris, Christos T...
ICIP
2009
IEEE
15 years 1 months ago
Reconfigurable video coding: Objectives and technologies
The main objective of the MPEG Reconfigurable Video Coding (RVC) standard is to establish a framework for a more flexible usage of standard video coding technology. The framework ...
Christophe Lucarz, Ihab Amer, Marco Mattavelli
144
Voted
MMSP
2008
IEEE
133views Multimedia» more  MMSP 2008»
15 years 10 months ago
Recent developments in panoramic image generation and sprite coding
—1 The composition of panoramic images has recently received considerable attention. While panoramic images were first used mainly as a flexible visualization technique, they a...
Dirk Farin, Martin Haller, Andreas Krutz, Thomas S...