3221 search results - page 4 / 645 » Termination of Linear Programs |
TOPLAS
2008
13 years 5 months ago
2008
lem of inferring termination from such abstract information is not the halting problem for programs and may well be decidable. If this is the case, the decision algorithm forms a &...
ORL
2010
13 years 4 months ago
2010
We use linear programming to provide a sensitivity analysis of Eisenberg and Noe’s one-period model of contagion via direct bilateral links. We provide a formula for the sensiti...
MP
2011
13 years 27 days ago
2011
We perform a smoothed analysis of Renegar’s condition number for linear programming by analyzing the distribution of the distance to ill-posedness of a linear program subject to...
ICALP
2005
Springer
13 years 11 months ago
2005
Springer
Although every terminating loop has a ranking function, not every loop has a ranking function of a restricted form, such as a lexicographic tuple of polynomials over program variab...
AUTOMATICA
2005
13 years 5 months ago
2005
Recent papers (IEEE Transactions on Automatic Control 48(6) (2003) 1092