5962 search results - page 738 / 1193 » Working with Patterns and Code |
195
click to vote
ISSTA
2004
ACM
16 years 8 days ago
2004
ACM
Continuous testing uses excess cycles on a developer’s workstation to continuously run regression tests in the background, providing rapid feedback about test failures as source...
204
click to vote
MUM
2004
ACM
16 years 8 days ago
2004
ACM
Within the expanding paradigm of medical imaging and wireless communications there is increasing demand for transmitting diagnostic medical imagery over error-prone wireless commu...
178
click to vote
WMPI
2004
ACM
16 years 8 days ago
2004
ACM
The Opie Project aims to develop a compiler to transform C codes written for row-major matrix representation into equivalent codes for Morton-order matrix representation, and to a...
179
click to vote
PLDI
2003
ACM
16 years 2 days ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
245
click to vote
PLDI
2003
ACM
16 years 2 days ago
2003
ACM
This paper presents a static analysis tool that can automatically find memory leaks and deletions of dangling pointers in large C and C++ applications. We have developed a type s...