3951 search results - page 313 / 791 » Automatic amortized analysis |
187
click to vote
ACL
2012
13 years 9 months ago
2012
This paper presents a comparative study of spelling errors that are corrected as you type, vs. those that remain uncorrected. First, we generate naturally occurring online error c...
190
click to vote
ACL
2012
13 years 9 months ago
2012
Previous approaches to instruction interpretation have required either extensive domain adaptation or manually annotated corpora. This paper presents a novel approach to instructi...
197
click to vote
SAC
2010
ACM
15 years 6 months ago
2010
ACM
Each day, security companies see themselves confronted with thousands of new malware programs. To cope with these large quantities, researchers and practitioners alike have develo...
218
click to vote
PLDI
2004
ACM
16 years 2 days ago
2004
ACM
This paper presents the first scalable context-sensitive, inclusionbased pointer alias analysis for Java programs. Our approach to context sensitivity is to create a clone of a m...
179
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
We present an analysis to automatically determine if a program represents a continuous function, or equivalently, if infinitesimal changes to its inputs can only cause infinitesim...