4745 search results - page 260 / 949 » Discretization: An Enabling Technique |
193
Voted
SIGSOFT
2006
ACM
16 years 7 months ago
2006
ACM
Fixing runtime bugs in long running programs using trace based analyses such as dynamic slicing was believed to be prohibitively expensive. In this paper, we present a novel execu...
179
click to vote
NDSS
2005
IEEE
16 years 5 days ago
2005
IEEE
Worms are arguably the most serious security threat facing the Internet. Seeking a detection technique that is both sufficiently efficient and accurate to enable automatic conta...
189
Voted
TACAS
2004
Springer
15 years 12 months ago
2004
Springer
Numerical analysis based on uniformisation and statistical techniques based on sampling and simulation are two distinct approaches for transient analysis of stochastic systems. We ...
190
click to vote
GECCO
2009
Springer
15 years 11 months ago
2009
Springer
Evolutionary problem decomposition techniques divide a complex problem into simpler subproblems, evolve individuals to produce subcomponents that solve the subproblems, and then a...
195
click to vote
CAV
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. We present a novel static analysis technique that substantially improves the quality of invariants inferred by standard loop invariant generation techniques. Our techniqu...