IIIT-Delhi Institutional Repository

Browsing Computer Science and Engineering by Author "Kiehn, Astrid"

Browsing Computer Science and Engineering by Author "Kiehn, Astrid"

Sort by: Order: Results:

  • Aggarwal, Deepanker; Kiehn, Astrid (2015-09-10)
    The well-known coordinated snapshot algorithm of mutable checkpointing [7{9] is studied. We equip it with a concise formal model and analyze its operational behavior via an invariant characterizing the snapshot computation. ...

Search Repository


Advanced Search

Browse

My Account