42507 search results - page 252 / 8502 » On the analysis of |
316
click to vote
ISQED
2007
IEEE
16 years 1 months ago
2007
IEEE
Problems in computational finance share many of the characteristics that challenge us in statistical circuit analysis: high dimensionality, profound nonlinearity, stringent accura...
151
click to vote
CAV
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. TVLA is a parametric framework for shape analysis that can be easily instantiated to create different kinds of analyzers for checking properties of programs that use link...
171
click to vote
CCS
2007
ACM
16 years 29 days ago
2007
ACM
Static analysis tools can handle large-scale software and find thousands of defects. But do they improve software security? We evaluate the effect of static analysis tool use on s...
181
click to vote
CIA
2007
Springer
16 years 29 days ago
2007
Springer
Recognizing that trust states are mental states, this paper presents a formal analysis of the dynamics of trust in terms of the functional roles and representation relations for tr...
166
click to vote
ESOP
2007
Springer
16 years 28 days ago
2007
Springer
We present a modular static analysis which identifies structural (shape) invariants for a subset of heap-manipulating programs. The subset is defined by means of a non-standard ...