1733 search results - page 262 / 347 » On the naturalness of software |
143
click to vote
ASPLOS
2006
ACM
16 years 7 days ago
2006
ACM
We present the design, implementation, and evaluation of HeapMD, a dynamic analysis tool that finds heap-based bugs using anomaly detection. HeapMD is based upon the observation ...
183
click to vote
CASES
2006
ACM
16 years 7 days ago
2006
ACM
In this paper, we propose a fully automatic dynamic scratchpad memory (SPM) management technique for instructions. Our technique loads required code segments into the SPM on deman...
159
click to vote
ML
2006
ACM
16 years 7 days ago
2006
ACM
We present a new way to generate type-error messages in a polymorphic, implicitly, and strongly typed language (specifically Caml). Our method separates error-message generation ...
163
click to vote
MSWIM
2006
ACM
16 years 7 days ago
2006
ACM
Recent studies and publications have shown a demand for a secure method to proof someones or somenthings position via a communication channel. In this paper we present a concept a...
165
click to vote
NSPW
2006
ACM
16 years 7 days ago
2006
ACM
In considering new security paradigms, it is often worthwhile to anticipate the direction and nature of future attack paradigms. We identify a class of attacks based on the idea o...