3107 search results - page 328 / 622 » Error-Correcting Source Code |
146
click to vote
TSE
2008
15 years 4 months ago
2008
This paper introduces a new technique for predicting latent software bugs, called change classification. Change classification uses a machine learning classifier to determine wheth...
148
click to vote
IPPS
2009
IEEE
15 years 10 months ago
2009
IEEE
In many scientific applications, significant time is spent tuning codes for a particular highperformance architecture. Tuning approaches range from the relatively nonintrusive (...
185
click to vote
ESOP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We instantiate an Isabelle/HOL framework for proof carrying code to Jinja bytecode, a downsized variant of Java bytecode featuring objects, inheritance, method calls and ...
148
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
Synchronization of relay nodes is an important and critical issue in exploiting cooperative diversity in wireless networks. In this paper, two asynchronous cooperative diversity s...
145
click to vote
ICIP
2008
IEEE
16 years 5 months ago
2008
IEEE
The problem of efficient video transmission over noisy channels involves good compression rates and robustness in presence of channel failures. The proposed framework of joint sou...