Search Sciweavers | Sciweavers

17

TACAS
2009
Springer

136views Algorithms» more TACAS 2009»

Path Feasibility Analysis for String-Manipulating Programs

14 years 2 months ago

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...

Nikolaj Bjørner, Nikolai Tillmann, Andrei V...

claim paper

Read More »

23

click to vote

ICML
2007
IEEE

157views Machine Learning» more ICML 2007»

Full regularization path for sparse principal component analysis

14 years 8 months ago

Download www.machinelearning.org

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...

Alexandre d'Aspremont, Francis R. Bach, Laurent El...

claim paper

Read More »

23

click to vote

SAS
2004
Springer

140views Formal Methods» more SAS 2004»

Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions

14 years 1 months ago

Download www.cs.berkeley.edu

We describe data structures and algorithms for performing a path-sensitive program analysis to discover equivalences of expressions involving linear arithmetic or uninterpreted fun...

Sumit Gulwani, George C. Necula

claim paper

Read More »

22

click to vote

WSC
1998

115views Modeling And Simulation» more WSC 1998»

LABATCH.2: Software for Statistical Analysis of Simulation Sample Path Data

13 years 9 months ago

Download www.informs-sim.org

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...

George S. Fishman

claim paper

Read More »

19

click to vote

SCAM
2009
IEEE

123views Software Engineering» more SCAM 2009»

Improving Side-Effect Analysis with Lazy Access Path Resolving

14 years 2 months ago

Download www.dcs.kcl.ac.uk

Ju Qian, Yuming Zhou, Baowen Xu

claim paper