5962 search results - page 338 / 1193 » Working with Patterns and Code |
120
Voted
PASTE
2005
ACM
15 years 10 months ago
2005
ACM
When library APIs change, client code should change in response, in order to avoid erroneous behavior, compilation failures, or warnings. Previous research has introduced techniqu...
127
click to vote
PCM
2005
Springer
15 years 10 months ago
2005
Springer
Previous works related to texture coordinate coding of the three-dimensional(3-D) mesh models employed the same predictor as the geometry coder. However, discontinuities in the tex...
145
click to vote
SAC
2006
ACM
15 years 4 months ago
2006
ACM
The implementation of a correctly rounded or interval elementary function needs to be proven carefully in the very last details. The proof requires a tight bound on the overall er...
147
click to vote
ICIP
2010
IEEE
15 years 2 months ago
2010
IEEE
Inspired by recent results showing that Wyner-Ziv coding using a combination of source and channel coding may be more efficient than pure channel coding, we have applied coset cod...
183
Voted
ICFEM
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. Certificate translation is a method that transforms certificates of source programs into certificates of their compilation. It provides strong guarantees on low-level cod...