DocumentCode
19489
Title
Load Balancing Parallel Explicit State Model Checking
University
Brigham young University
Grade
نامعلوم
Major
PhD )Computer Science(
Number of pages
0
Publish Date
2004
Keyword
Speedup , Error , States , sizes , Model , computer , Verification , Load , Queue , balancing , Checking , gde
Note
01
Language
انگليسي
Link To Document