Distributed local resolution of Boolean equation systems

Abstract : Boolean equation systems (BESs) allow to represent various problems encountered in the area of propositional logic programming and verification of concurrent systems. Several sequential algorithms for global and local BES resolution have been proposed so far, mainly in the field of verification; however, these algorithms do not scale up satisfactorily as the size of BESs increases. In this paper, we propose a distributed algorithm, called DSOLVE, which performs the local resolution of a BES using a set of machines connected by a network. Our experiments for solving large BESs using clusters of PCs show linear speedups and a scalable behaviour of DSOLVE w.r.t. its sequential counterpart.
Type de document :
Communication dans un congrès
Proceedings of the 13th Euromicro Conference on Parallel, Distributed and Network based Processing, PDP'05, Feb 2005, Lugano, Switzerland. 2005, 〈10.1109/EMPDP.2005.19〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00683892
Contributeur : Ist Rennes <>
Soumis le : vendredi 30 mars 2012 - 10:22:10
Dernière modification le : mardi 21 juin 2016 - 01:04:41

Identifiants

Collections

Citation

Christophe Joubert, Radu Mateescu. Distributed local resolution of Boolean equation systems. Proceedings of the 13th Euromicro Conference on Parallel, Distributed and Network based Processing, PDP'05, Feb 2005, Lugano, Switzerland. 2005, 〈10.1109/EMPDP.2005.19〉. 〈hal-00683892〉

Partager

Métriques

Consultations de la notice

89