1452 search results - page 143 / 291 » Algorithmic Analysis of Array-Accessing Programs |
106
Voted
GECCO
2007
Springer
15 years 6 months ago
2007
Springer
I present MOSES (meta-optimizing semantic evolutionary search), a new probabilistic modeling (estimation of distribution) approach to program evolution. Distributions are not esti...
129
Voted
FASE
2011
Springer
14 years 4 months ago
2011
Springer
Given a program and an assertion in that program, determining if the assertion can fail is one of the key applications of program analysis. Symbolic execution is a well-known techn...
115
Voted
PLDI
2010
ACM
15 years 10 months ago
2010
ACM
Calling context--the set of active methods on the stack--is critical for understanding the dynamic behavior of large programs. Dynamic program analysis tools, however, are almost ...
91
Voted
STOC
2005
ACM
16 years 27 days ago
2005
ACM
We consider the problem of approximately counting integral flows in a network. We show that there is an fpras based on volume estimation if all capacities are sufficiently large, ...
94
Voted
LCPC
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We have designed and implemented an interprocedural algorithm to analyze symbolic value ranges that can be assumed by variables at any given point in a program. Our algor...