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