16725 search results - page 700 / 3345 » Engineering Software Correctness |
186
click to vote
SEKE
2004
Springer
16 years 23 days ago
2004
Springer
Bug triage, deciding what to do with an incoming bug report, is taking up increasing amount of developer resources in large open-source projects. In this paper, we propose to appl...
151
click to vote
ARCS
2010
Springer
16 years 7 days ago
2010
Springer
Register renaming is a widely used technique to remove false data dependencies in contemporary superscalar microprocessors. The register rename logic includes a mapping table that ...
174
click to vote
ESA
2006
Springer
15 years 11 months ago
2006
Springer
We address the problem of sorting in the presence of faults that may arbitrarily corrupt memory locations, and investigate the impact of memory faults both on the correctness and ...
213
click to vote
TASLP
2010
15 years 2 months ago
2010
Minimum phone error (MPE) acoustic parameter estimation involves calculation of edit distances (errors) between correct and incorrect hypotheses. In the context of large vocabulary...
187
click to vote
TCOM
2010
15 years 2 months ago
2010
Abstract--Variable length codes (VLCs), used in data compression, are very sensitive to error propagation in the presence of noisy channels. Addressing this problem with joint sour...