Parallel breadth-first BDD construction

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP

Volumn , Issue , 1997, Pages 145-156

  Yang, Bwolen ^a   O'Hallaron, David R ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; DATA ACQUISITION; DATA STORAGE EQUIPMENT; DECISION TABLES; DISTRIBUTED COMPUTER SYSTEMS; PARALLEL PROCESSING SYSTEMS;

BINARY DECISION DIAGRAMS; DISTRIBUTED SHARED MEMORY SYSTEMS; MEMORY MANAGERS; SHARED MEMORY MULTIPROCESSORS;

PARALLEL ALGORITHMS;

EID: 0030647077     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (24)