A fully informed model-based checkpointing protocol for preventing useless checkpoints

ISSN： 1744-5760

Source： International Journal of Parallel, Emergent and Distributed Systems, Vol.28, Iss.6, 2013-12, pp. : 485-518

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

Checkpointing with mutable checkpoints

By Cao G. Singhal M.

Theoretical Computer Science, Vol. 290, Iss. 2, 2003-01 ,pp. : 1127-1148

Elsevier

Access to resources Recommend Favorite

Model-based verification of privacy preserving authentication protocol for VANETs

By Chaurasia Brijesh Kumar

International Journal of Information Technology, Communications and Convergence, Vol. 2, Iss. 2, 2012-08 ,pp. : 120-137

Inderscience Publishers

Access to resources Recommend Favorite

A weighted checkpointing protocol for mobile distributed systems

By Awasthi Lalit K. Misra Manoj Joshi R.C.

International Journal of Ad Hoc and Ubiquitous Computing, Vol. 5, Iss. 3, 2010-03 ,pp. : 137-149

Inderscience Publishers

Access to resources Recommend Favorite

MODEL-BASED SOFTWARE DIAGNOSIS

By Hunt John

Applied Artificial Intelligence, Vol. 12, Iss. 4, 1998-06 ,pp. : 289-308

Taylor & Francis Ltd

Access to resources Recommend Favorite

Petri nets‐based model for the analysis of NORIA protocol

CONCURRENCY AND COMPUTATION: PRACTICE & EXPERIENCE (ELECTRONIC), Vol. 27, Iss. 17, 2015-12 ,pp. : 4704-4715

John Wiley & Sons Inc

Access to resources Recommend Favorite