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 :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=17&DC=19489
