Sciweavers

385 search results - page 63 / 77
» Code Compression Using Variable-to-fixed Coding Based on Ari...
Sort
View
ISSTA
2010
ACM
13 years 11 months ago
Proving memory safety of floating-point computations by combining static and dynamic program analysis
Whitebox fuzzing is a novel form of security testing based on dynamic symbolic execution and constraint solving. Over the last couple of years, whitebox fuzzers have found many ne...
Patrice Godefroid, Johannes Kinder
IBPRIA
2007
Springer
14 years 1 months ago
Progressive Compression of Geometry Information with Smooth Intermediate Meshes
We present a new geometry compression algorithm for manifold 3D meshes based on octree coding. For a given mesh, regular volume grids are built with an adaptive octree. For each gr...
Taejung Park, Haeyoung Lee, Chang-hun Kim
ACIVS
2006
Springer
13 years 11 months ago
Fast Multi-view Disparity Estimation for Multi-view Video Systems
Disparity estimation can be used to eliminate redundancy among different views in multi-view video compression to obtain high compression efficiency. However, the problem of high c...
Gangyi Jiang, Mei Yu, Feng Shao, You Yang, Haitao ...
ECCV
2008
Springer
14 years 9 months ago
Compressive Sensing for Background Subtraction
Abstract. Compressive sensing (CS) is an emerging field that provides a framework for image recovery using sub-Nyquist sampling rates. The CS theory shows that a signal can be reco...
Volkan Cevher, Aswin C. Sankaranarayanan, Marco F....
SYSTOR
2009
ACM
14 years 2 months ago
Energy and performance evaluation of lossless file data compression on server systems
Data compression has been claimed to be an attractive solution to save energy consumption in high-end servers and data centers. However, there has not been a study to explore this...
Rachita Kothiyal, Vasily Tarasov, Priya Sehgal, Er...