Back to Results
First PageMeta Content
Algorithm / Binary decision diagram / Distributed computing / Colorfulness / Saturation / ACT-R / Applied mathematics / Logic / Model checking / Mathematics / Parallel computing


Saturation NOW Ming-Ying Chung and Gianfranco Ciardo
Add to Reading List

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

Open Document

File Size: 294,36 KB

Share Result on Facebook

Currency

AUD / /

/

Facility

Engineering University of California / /

IndustryTerm

shared-memory multi-processor / work-efficient distributed algorithm / cache management / parallel algorithm / /

Organization

National Science Foundation / National Aeronautics and Space Administration / University of California / Gianfranco Ciardo Department of Computer Science / /

Person

Ming-Ying Chung / /

Technology

load balancing / BDD algorithm / shared memory / CAV / Graph-based algorithm / shared-memory multi-processor / /

SocialTag