3 papers
cs.DS2008
Communication Efficiency in Self-stabilizing Silent Protocols
Stéphane Devismes, Toshimitsu Masuzawa, Sébastien Tixeuil
Self-stabilization is a general paradigm to provide forward recovery capabilities to distributed systems and networks. Intuitively, a protocol is self-stabilizing if it is able to…
cs.PL2008
Automatic Modular Abstractions for Linear Constraints
David Monniaux
We propose a method for automatically generating abstract transformers for static analysis by abstract interpretation. The method focuses on linear constraints on programs operatin…
cs.LO2008
A Quantifier Elimination Algorithm for Linear Real Arithmetic
David Monniaux
We propose a new quantifier elimination algorithm for the theory of linear real arithmetic. This algorithm uses as subroutine satisfiability modulo this theory, a problem for which…