4719 search results - page 161 / 944 » Newtonian program analysis |
131
click to vote
SIGSOFT
2003
ACM
16 years 4 months ago
2003
ACM
This paper proposes a pointer alias analysis for automatic error detection. State-of-the-art pointer alias analyses are either too slow or too imprecise for finding errors in real...
137
click to vote
JUCS
2008
15 years 4 months ago
2008
: In the representation approach to computable analysis (TTE) [Grz55, i00], abstract data like rational numbers, real numbers, compact sets or continuous real functions are represe...
133
click to vote
SEFM
2005
IEEE
15 years 9 months ago
2005
IEEE
Verification of programs requires reasoning about sets of program states. In case of programs manipulating pointers, program states are pointer graphs. Verification of such prog...
139
click to vote
LCTRTS
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. Previously published methods for estimation of the worstcase execution time on contemporary processors with complex pipelines and multi-level memory hierarchies result in...
145
click to vote
IJNSEC
2007
15 years 4 months ago
2007
Java programs can be transmitted and executed on another host in bytecode format, thus the sensitive information of the host may be leaked via these assembly-like programs. Inform...