4716 search results - page 403 / 944 » Iterative-free program analysis |
155
click to vote
BIRTHDAY
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. This paper investigates how to apply the techniques on solving semi-algebraic systems to invariant generation of polynomial programs. By our approach, the generated invar...
193
click to vote
PADL
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. In aspect-oriented programming, pointcuts are usually compiled by identifying a set of shadows — that is, places in the code whose execution is potentially relevant for...
170
click to vote
GECCO
2005
Springer
16 years 9 days ago
2005
Springer
This research presents an analysis of the reported successes of the Cartesian Genetic Programming method on a simplified form of the Boolean parity problem. We show the method of...
165
click to vote
CC
2004
Springer
16 years 5 days ago
2004
Springer
This paper concerns static-analysis algorithms for analyzing x86 executables. The aim of the work is to recover intermediate representations that are similar to those that can be c...
142
click to vote
ICCSA
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. A number of individual bioinformatics applications (particularly BLAST and other sequence searching methods) have recently been implemented over clusters of workstations ...