Efficient modeling and optimizing of checkpointing in concurrent component-based software systems

Noor Bajunaid, Daniel A. Menascé. Efficient modeling and optimizing of checkpointing in concurrent component-based software systems. Journal of Systems and Software, 139:1-13, 2018. [doi]

Abstract

Abstract is missing.