Efficient External-Memory Graph Search for Model Checking
PC Lamborn - 2014 - scholarsjunction.msstate.edu
Abstract Model checking problems suffer from state space explosion. State space explosion
is the number of states in the graph increases exponentially with the number of variables in …
is the number of states in the graph increases exponentially with the number of variables in …
[PDF][PDF] CURRICULAM VITAE
M Phil - 2009 - jmc.edu
CURRICULAM VITAE Page 1 CURRICULAM VITAE Name : Dr. J.HARINE SARGUNAM, M.Sc.,
M.Phil., Ph.D., (NET) Present Position : Assistant Professor Department of Nutrition & Dietetics …
M.Phil., Ph.D., (NET) Present Position : Assistant Professor Department of Nutrition & Dietetics …