559 search results - page 24 / 112 » Isolation and Analysis of Optimization Errors |
116
click to vote
ICST
2011
IEEE
14 years 2 months ago
2011
IEEE
—Static analysis tools have been widely used to detect potential defects without executing programs. It helps programmers raise the awareness about subtle correctness issues in t...
SIAMNUM
2011
14 years 6 months ago
2011
We develop and analyze least-squares finite element methods for two complementary div-curl elliptic boundary value problems. The first one prescribes the tangential component of ...
APLAS
2000
ACM
15 years 3 months ago
2000
ACM
We have implemented Kima, an automated error correction system for concurrent logic programs. Kima corrects near-misses such as wrong variable occurrences in the absence of explici...
74
Voted
TWC
2008
14 years 11 months ago
2008
Threshold relaying is an effective technique to achieve cooperative diversity in uncoded cooperative wireless networks, which suffer from error propagation due to detection errors...
114
click to vote
SIGSOFT
2010
ACM
14 years 9 months ago
2010
ACM
This article proposes a research agenda aimed at enabling optimized testing and analysis processes and tools to support component-based software development communities. We hypoth...