2947 search results - page 417 / 590 » Analyzing Program Analyses |
120
click to vote
SCAM
2008
IEEE
15 years 8 months ago
2008
IEEE
—Many software engineering applications require points-to analysis. Client applications range from optimizing compilers to program development and testing environments to reverse...
108
click to vote
ICCCN
2007
IEEE
15 years 8 months ago
2007
IEEE
—In this paper, we show that minimizing the product of path lengths results in minimizing the probability of connection failure between a source and destination given two links h...
111
click to vote
CP
2007
Springer
15 years 8 months ago
2007
Springer
The Disjunctive Temporal Problem with Uncertainty (DTPU) is an extension of the Disjunctive Temporal Problem (DTP) that accounts for events not under the control of the executing a...
106
click to vote
FSTTCS
2007
Springer
15 years 8 months ago
2007
Springer
Security protocols are small programs that are executed in hostile environments. Many results and tools have been developed to formally analyze the security of a protocol. However ...
104
Voted
GECCO
2007
Springer
15 years 8 months ago
2007
Springer
In this paper, we analyze two general-purpose encoding types, trees and graphs systematically, focusing on trends over increasingly complex problems. Tree and graph encodings are ...