616 search results - page 34 / 124 » An effective dynamic analysis for detecting generalized dead... |
110
click to vote
SIGSOFT
2008
ACM
15 years 10 months ago
2008
ACM
Atomicity is an important specification that enables programmers to understand atomic blocks of code in a multi-threaded program as if they are sequential. This significantly simp...
103
Voted
MM
2010
ACM
14 years 10 months ago
2010
ACM
In this paper a real-time anomaly detection system for video streams is proposed. Spatio-temporal features are exploited to capture scene dynamic statistics together with appearan...
BROADNETS
2007
IEEE
15 years 4 months ago
2007
IEEE
—Epidemic protocols assume that information of a random set of nodes is provided at each protocol round. By definition, the random set needs to be chosen uniformly and randomly ...
ASPLOS
2006
ACM
15 years 3 months 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 ...
PPDP
2007
Springer
15 years 3 months ago
2007
Springer
We give a denotational semantics to a region-based effect system tracking reading, writing and allocation in a higher-order language with dynamically allocated integer references....