1953 search results - page 145 / 391 » codes 2010 |
188
click to vote
ECEASST
2010
15 years 2 months ago
2010
Abstract: An experiment in providing volunteer cloud computing support for automated audits of open source code is described here, along with the supporting theory. Certification a...
132
click to vote
PEPM
2010
ACM
16 years 1 months ago
2010
ACM
Datatype-generic programming increases program reliability by reducing code duplication and enhancing reusability and modularity. Several generic programming libraries for Haskell...
144
click to vote
JCT
2010
15 years 3 months ago
2010
We find the winning strategy for a class of truncation games played on words. As a consequence of the present author’s recent results on some of these games we obtain new formul...
135
click to vote
ICIP
2010
IEEE
15 years 2 months ago
2010
IEEE
In this paper, we present a novel approach for active fingerprinting of state of the art video codec H.264/AVC. Tardos probabilistic fingerprinting code is embedded in H.264/AVC v...
128
click to vote
TAP
2010
Springer
15 years 9 months ago
2010
Springer
Unit tests of object-oriented code exercise particular sequences of method calls. A key problem when automatically generating unit tests that achieve high structural code coverage ...