1716 search results - page 102 / 344 » Proving Conditional Termination |
IJCAI
1997
15 years 2 months ago
1997
Unfailing completion is a commonly used technique for equational reasoning. For equational problems with associative and commutative functions, unfailing completion often generate...
88
Voted
INFORMATICALT
2007
15 years 21 days ago
2007
Abstract. The aim of this paper is to explore some features of the functional test generation problem, and on the basis of the gained experience, to propose a practical method for ...
117
Voted
MICS
2007
15 years 9 days ago
2007
A new algorithm for real root isolation of univariate polynomials is proposed, which is mainly based on exact interval arithmetic and bisection method. Although exact interval arit...
100
Voted
FSTTCS
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. This paper proposes a global escape mechanism which can handle unexpected or unwanted conditions changing the default execution of distributed communicational flows, pres...
119
click to vote
CDC
2009
IEEE
14 years 10 months ago
2009
IEEE
Abstract-- The safety control problem for hybrid automata with imperfect mode information and continuous control is addressed. When the controller does not have access to the mode ...