1145 search results - page 11 / 229 » The Correctness of an Optimized Code Generation |
ICPR
2006
IEEE
14 years 8 months ago
2006
IEEE
A luminance and color correction algorithm for multi-view video compression is proposed in this paper. Due to the dissimilar radiometric characteristics of different cameras and t...
CP
1998
Springer
13 years 11 months ago
1998
Springer
We study how constraint-based static analysis can be applied to the automated and systematic debugging of program errors. Strongly moding and constraint-based mode analysis are tur...
IPCO
2001
13 years 9 months ago
2001
The paper presents a branch-and-cut for solving (0, 1) integer linear programs having a large symmetry group. The group is used for pruning the enumeration tree and for generating ...
GPCE
2008
Springer
13 years 8 months ago
2008
Springer
High-level query constructs help greatly improve the clarity of programs and the productivity of programmers, and are being introduced to increasingly more languages. However, the...
ICCS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract — Error correction codes defined over realnumber and complex-number fields have been studied and recognized as useful in many applications. However, most real-number a...