2947 search results - page 271 / 590 » Analyzing Program Analyses |
211
Voted
DLS
2005
15 years 8 months ago
2005
The DDP (Demand-driven/Pruning) analysis algorithm allows us to perform data-flow analyses of programming languages that are dynamically typed and have higher-order control flow...
198
click to vote
ASC
2000
15 years 8 months ago
2000
The improved performance of computer-based text analysis represents a major step forward for knowledge management. Reliable text interpretation allows focus to be placed upon the ...
191
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Accurate peptide identification is important to high-throughput proteomics analyses that use mass spectrometry. Search programs compare fragmentation spectra (MS/MS) o...
198
click to vote
ASPLOS
2012
ACM
14 years 2 months ago
2012
ACM
Numerous tools have been proposed to help developers fix software errors and inefficiencies. Widely-used techniques such as memory checking suffer from overheads that limit thei...
192
click to vote
ICALP
2007
Springer
16 years 25 days ago
2007
Springer
The ability to detect ambiguities in context-free grammars is vital for their use in several fields, but the problem is undecidable in the general case. We present a safe, conser...