![Binary decision diagram / Many-valued logic / Mathematics / Information science / Diagrams / Boolean algebra / Model checking Binary decision diagram / Many-valued logic / Mathematics / Information science / Diagrams / Boolean algebra / Model checking](https://www.pdfsearch.io/img/aa2b5e9c4173843c63ab7389a80c7c22.jpg)
| Document Date: 2009-02-23 01:16:47 Open Document File Size: 448,42 KBShare Result on Facebook
City Riverside Riverside / / Country United States / / / Facility Engineering University of California / T. Villa / / IndustryTerm shared-memory multi-processor / work-efficient distributed algorithm / parallel algorithm / / Organization University of California / Distributed Saturation State-Space Generation Ming-Ying Chung and Gianfranco Ciardo Department of Computer Science / / ProvinceOrState California / / Technology load balancing / shared memory / BDD algorithm / CAV / Graph-based algorithm / shared-memory multi-processor / /
SocialTag |