3951 search results - page 153 / 791 » Automatic amortized analysis |
128
click to vote
SIGSOFT
2000
ACM
15 years 9 months ago
2000
ACM
An automatic analysis method for first-order logic with sets and relations is described. A first-order formula is translated to a quantifier-free boolean formula, which has a mode...
142
click to vote
ISSTA
2006
ACM
15 years 10 months ago
2006
ACM
DSD-Crasher is a bug finding tool that follows a three-step approach to program analysis: D. Capture the program’s intended execution behavior with dynamic invariant detection....
113
Voted
KBSE
2005
IEEE
15 years 10 months ago
2005
IEEE
We propose an approach for complex software analysis based on visualization. Our work is motivated by the fact that in spite of years of research and practice, software developmen...
168
click to vote
PEPM
1993
ACM
15 years 9 months ago
1993
ACM
The aim of binding-time analysis is to determine when variables, expressions, statements, etc. in a program can be evaluated by classifying these into static (compile-time) and dy...
138
click to vote
ICIP
1998
IEEE
16 years 6 months ago
1998
IEEE
The analysis of video data targeting the identification of relevant objects and the extraction of associated descriptive characteristics will be the enabling factor for a number o...