1182 search results - page 120 / 237 » Reducing the Overhead of Dynamic Analysis |
164
Voted
ISCA
2012
IEEE
13 years 5 months ago
2012
IEEE
Data-race freedom is a valuable safety property for multithreaded programs that helps with catching bugs, simplifying memory consistency model semantics, and verifying and enforci...
143
Voted
MICRO
2009
IEEE
15 years 10 months ago
2009
IEEE
Cache blocks often exhibit a small number of uses during their life time in the last-level cache. Past research has exploited this property in two different ways. First, replacem...
127
click to vote
MOBILWARE
2009
ACM
15 years 10 months ago
2009
ACM
The availability of heterogeneous wireless interfaces and of growing computing resources on widespread portable devices pushes for enabling innovative deployment scenarios where mo...
136
Voted
POLICY
2004
Springer
15 years 8 months ago
2004
Springer
Ad hoc networking is the basis of the future military network-centric warfare architecture. Such networks are highly dynamic in nature, as mobile ad hoc networks are formed over w...
128
click to vote
ENTCS
2006
15 years 3 months ago
2006
We present a new approach to runtime verification that utilizes classical statistical techniques such as Monte Carlo simulation, hypothesis testing, and confidence interval estima...