1452 search results - page 75 / 291 » Algorithmic Analysis of Array-Accessing Programs |
PPDP
2005
Springer
14 years 4 months ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
CIARP
2006
Springer
14 years 2 months ago
2006
Springer
Parallel text alignment is a special type of pattern recognition task aimed to discover the similarity between two sequences of symbols. Given the same text in two different langua...
SIGSOFT
2005
ACM
14 years 12 months ago
2005
ACM
We develop a method for matching dynamic histories of program executions of two program versions. The matches produced can be useful in many applications including software piracy...
SODA
2010
ACM
13 years 9 months ago
2010
ACM
Star-shaped bodies are an important nonconvex generalization of convex bodies (e.g., linear programming with violations). Here we present an efficient algorithm for sampling a giv...
PLDI
2003
ACM
14 years 4 months ago
2003
ACM
This paper reports on a new approach to solving a subset-based points-to analysis for Java using Binary Decision Diagrams (BDDs). In the model checking community, BDDs have been s...