1716 search results - page 163 / 344 » Proving Conditional Termination |
75
Voted
CP
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We present an incomplete filtering algorithm for the circuit constraint. The filter removes redundant values by eliminating nonHamiltonian edges from the associated gra...
115
Voted
ICOIN
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. In this paper we present the set of base algorithms for generating connected random graphs (RG). RG can be used for testing different algorithms on networks. The fast al...
130
Voted
IFIP
2004
Springer
15 years 6 months ago
2004
Springer
Abstract We introduce a generic framework for proof carrying code, developed and mechanically verified in Isabelle/HOL. The framework defines and proves sound a verification con...
83
Voted
CDC
2009
IEEE
15 years 5 months ago
2009
IEEE
— To solve systems of linear matrix equations A1XB1 = F1 and A2XB2 = F2, we present iterative algorithms to get the solutions. For any initial value, we prove that the iterative ...
79
Voted
CSCWD
2009
Springer
15 years 5 months ago
2009
Springer
This paper studies ceramic tile design chains, as representative of those collaborative New-Product Development (NPD) processes where the presence of very different origins of des...