4719 search results - page 171 / 944 » Newtonian program analysis |
135
click to vote
EICS
2009
ACM
15 years 10 months ago
2009
ACM
What methods can we use to help understand why users adopt certain use strategies, and how can we evaluate designs to anticipate and perhaps positively modify how users are likely...
133
click to vote
CC
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We discuss the challenges faced by bytecode analyzers designed for code verification compared to similar analyzers for source code. While a bytecode-level analysis brings...
127
click to vote
SAS
1991
Springer
15 years 7 months ago
1991
Springer
We present a new approach to static program analysis that permits each expression in a program to be assigned an execution time estimate. Our approach uses a time system in conjun...
132
click to vote
SSR
2001
15 years 5 months ago
2001
The visitor pattern is appealing to developers of program-analysis tools because it separates the design of the data structures that represent a program from the design of softwar...
111
click to vote
APIN
2010
15 years 4 months ago
2010
Artificial neural networks can be trained to perform excellently in many application areas. While they can learn from raw data to solve sophisticated recognition and analysis prob...