Efficient distributed SAT and SAT-based distributed Bounded Model Checking

By Ganai Malay   Gupta Aarti   Yang Zijiang   Ashar Pranav  

International Journal on Software Tools for Technology Transfer, Vol. 8, Iss. 4-5, 2006-08 ,pp. : 387-396

Springer Publishing Company

Access to resources Recommend Favorite

Challenges in very large distributed systems

By Steen Maarten  

Journal of Internet Services and Applications, Vol. 3, Iss. 1, 2012-05 ,pp. : 59-66

Springer Publishing Company

Access to resources Recommend Favorite

Distributed breadth-first search LTL model checking

By Barnat Jiří   Černá Ivana  

Formal Methods in System Design, Vol. 29, Iss. 2, 2006-09 ,pp. : 117-134

Springer Publishing Company

Access to resources Recommend Favorite

Distributed model-checking and counterexample search for CTL logic

By Boukala Mohand Cherif  

International Journal of Critical Computer-Based Systems, Vol. 3, Iss. 1-2, 2012-01 ,pp. : 44-59

Inderscience Publishers

Access to resources Recommend Favorite

Designing Polymer Blends Using Neural Networks, Genetic Algorithms, and Markov Chains

By Roy N.K.   Potter W.D.   Landau D.P.  

Applied Intelligence, Vol. 20, Iss. 3, 2004-05 ,pp. : 215-229

Springer Publishing Company

Access to resources Recommend Favorite