1716 search results - page 46 / 344 » Proving Conditional Termination |
POPL
2009
ACM
14 years 9 months ago
2009
ACM
Previous deforestation and supercompilation algorithms may introduce accidental termination when applied to call-by-value programs. This hides looping bugs from the programmer, an...
VTC
2006
IEEE
14 years 2 months ago
2006
IEEE
— This paper presents a new pricing function for noncooperative power control game in a single cell CDMA data network. Considering a utility function for each terminal, the purpo...
ICC
2007
IEEE
14 years 3 months ago
2007
IEEE
— An advanced decision-directed channel estimation scheme is proposed, which is suitable for employment in a wide range of multi-antenna multi-carrier systems as well as for comm...
MP
2011
13 years 3 months 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...
CADE
2008
Springer
14 years 9 months ago
2008
Springer
We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are int...