Searching for "Load Balancing Parallel Explicit State Model Checking." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

Load Balancing Parallel Explicit State Model Checking
by Rahul Kumar, Date Eric, G. Mercer, Date Quinn, O. Snell, Date Bryan, S. Morse, Brigham Young University, Brigham Young University, W. Embley, G. Rex Bryce, Associate Dean — 2005 — Electr. Notes Theor. Comput. Sci
…LOAD BALANCING PARALLEL EXPLICIT STATE MODEL CHECKING by Rahul Kumar A thesis submitted…
Cited by 4 (0 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB