2947 search results - page 126 / 590 » Analyzing Program Analyses |
123
click to vote
GECCO
2008
Springer
15 years 5 months ago
2008
Springer
This paper analyzes theoretically the exact sampling distribution of the particle swarm optimization (PSO) without any assumption imposed by all current analyses. The distribution...
127
Voted
TSMC
2011
14 years 11 months ago
2011
Abstract—Functional flow block diagrams (FFBDs) are a traditional tool of systems engineering and remain popular in some systems engineering domains. However, their lack of form...
130
click to vote
CCS
2003
ACM
15 years 10 months ago
2003
ACM
This paper addresses the issue of identifying buffer overrun vulnerabilities by statically analyzing C source code. We demonstrate a light-weight analysis based on modeling C stri...
149
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer
State of the art analyzers in the Logic Programming (LP) paradigm are nowadays mature and sophisticated. They allow inferring a wide variety of global properties including terminat...
160
Voted
CC
2012
Springer
14 years 11 days ago
2012
Springer
The computational cost and precision of a shape style heap analysis is highly dependent on the way method calls are handled. This paper introduces a new approach to analyzing metho...