Using simulated execution in verifying distributed algorithms

Author： Win Toh Ne   Ernst Michael D.   Garland Stephen J.   Kırlı Dilsun   Lynch Nancy A.  

Publisher： Springer Publishing Company

ISSN： 1433-2779

Source： International Journal on Software Tools for Technology Transfer, Vol.6, Iss.1, 2004-07, pp. : 67-76

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Related content

Finding missing synchronization in a distributed computation using controlled re-execution

By Mittal Neeraj   Garg Vijay  

Distributed Computing, Vol. 17, Iss. 2, 2004-08 ,pp. : 107-130

Springer Publishing Company

Access to resources Recommend Favorite

A Direct Execution Approach to Simulating Mobile Agent Algorithms: Parallel and Distributed Processing with Applications (Guest Editor: Minyi Guo)

By Li Xuhui   Cao Jiannong   He Yanxiang  

The Journal of Supercomputing, Vol. 29, Iss. 2, 2004-08 ,pp. : 171-184

Springer Publishing Company

Access to resources Recommend Favorite

Modelling, prototyping, and verifying concurrent and distributed applications using object-oriented Petri nets

By Češka Milan   Janoušek Vladimír   Vojnar Tomáš  

Kybernetes: The International Journal of Systems & Cybernetics, Vol. 31, Iss. 9-10, 2002-11 ,pp. : 1289-1299

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

Distributed Algorithms

By Mavronicolas M.  

Theoretical Computer Science, Vol. 220, Iss. 1, 1999-06 ,pp. : 1-1

Elsevier

Access to resources Recommend Favorite

Framework for Task Scheduling in Heterogeneous Distributed Computing Using Genetic Algorithms

By Page Andrew   Naughton Thomas  

Artificial Intelligence Review, Vol. 24, Iss. 3-4, 2005-11 ,pp. : 415-429

Springer Publishing Company

Access to resources Recommend Favorite