Mixed Shared-Distributed Hash Tables Approaches for Parallel State Space Construction.

Rodrigo T. Saad, Silvano Dal-Zilio, Bernard Berthomieu

Browse the full ISPDC paper archive.