12272 search results - page 217 / 2455 » Experimental program analysis |
153
click to vote
GECCO
2009
Springer
16 years 1 months ago
2009
Springer
This paper presents a genetic programming-based symbolic regression approach to the construction of relational features in link analysis applications. Specifically, we consider t...
158
click to vote
IEEEARES
2008
IEEE
16 years 29 days ago
2008
IEEE
This paper describes the design and implementation of a lightweight static security analyzer that exploits the compilation process of the gcc compiler. The tool is aimed at giving...
149
click to vote
DSN
2005
IEEE
16 years 5 days ago
2005
IEEE
System call monitoring is a technique for detecting and controlling compromised applications by checking at runtime that each system call conforms to a policy that specifies the ...
180
click to vote
DAC
1999
ACM
15 years 11 months ago
1999
ACM
This paper presents a new algorithm for exact estimation of the minimum memory size required by programs dealing with array computations. Memory size is an important factor a ecti...
181
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
The classical technique for proving termination of a generic sequential computer program involves the synthesis of a ranking function for each loop of the program. Linear ranking ...