10890 search results - page 371 / 2178 » Automatic Complexity Analysis |
166
click to vote
ISSTA
2006
ACM
16 years 21 days 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....
207
click to vote
PEPM
1993
ACM
15 years 10 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...
171
click to vote
ICIP
1998
IEEE
16 years 8 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...
182
click to vote
CSMR
2008
IEEE
16 years 1 months ago
2008
IEEE
To understand the evolution of software researchers have developed a plethora of tools to parse, model, and analyze the history of systems. Despite their usefulness, a common down...
153
click to vote
SAS
2005
Springer
16 years 6 days ago
2005
Springer
A method is developed to infer a polymorphic well-typing for a logic program. Our motivation is to improve the automation of termination analysis by deriving types from which norms...