DocumentCode :
2428126
Title :
Distributed local resolution of Boolean equation systems
Author :
Joubert, Christophe ; Mateescu, Radu
Author_Institution :
Inst. Nat. de Recherche en Inf. et Autom., Rhone-Alpes, France
fYear :
2005
fDate :
9-11 Feb. 2005
Firstpage :
264
Lastpage :
271
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.
Keywords :
Boolean algebra; distributed algorithms; logic programming; multiprocessing systems; program verification; workstation clusters; Boolean equation system; PC clusters; concurrent systems verification; distributed algorithm; local resolution; propositional logic programming; Algorithm design and analysis; Central Processing Unit; Clustering algorithms; Computer industry; Concurrent computing; Distributed algorithms; Electronic mail; Equations; Logic programming; Personal communication networks;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Parallel, Distributed and Network-Based Processing, 2005. PDP 2005. 13th Euromicro Conference on
ISSN :
1066-6192
Print_ISBN :
0-7695-2280-7
Type :
conf
DOI :
10.1109/EMPDP.2005.19
Filename :
1386068
Link To Document :
بازگشت