Back to Results
First PageMeta Content
Binary decision diagram / Many-valued logic / Mathematics / Information science / Diagrams / Boolean algebra / Model checking


A Pattern Recognition Approach for Speculative Firing Prediction in Distributed Saturation State-Space Generation Ming-Ying Chung
Add to Reading List

Document Date: 2009-02-23 01:16:47

Open Document

File Size: 448,42 KB

Share 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