1336 search results - page 20 / 268 » SMTP Path Analysis |
110
click to vote
TACAS
2009
Springer
15 years 9 months ago
2009
Springer
We discuss the problem of path feasibility for programs manipulating strings using a collection of standard string library functions. We prove results on the complexity of this pro...
130
click to vote
ICML
2007
IEEE
16 years 3 months ago
2007
IEEE
Given a sample covariance matrix, we examine the problem of maximizing the variance explained by a particular linear combination of the input variables while constraining the numb...
113
Voted
SAS
2004
Springer
15 years 7 months ago
2004
Springer
We describe data structures and algorithms for performing a path-sensitive program analysis to discover equivalences of expressions involving linear arithmetic or uninterpreted fun...
108
Voted
WSC
1998
15 years 3 months ago
1998
LABATCH.2 is a collection of computer programs available in C, FORTRAN, and SIMSCRIPT II.5 by anonymous ftp, at http://www.or.unc.edu/gfish/labatch.2.html. It performs statistical...
SCAM
2009
IEEE
15 years 9 months ago
2009
IEEE