Dynamic Decision on Checkpointing by Use of Reduced Ordered Binary Decision Diagrams.

Francesca Saglietti

Browse the full SAFECOMP paper archive.