IIIT-Delhi Institutional Repository

Browsing by Author "Aggarwal, Deepanker"

Browsing by Author "Aggarwal, Deepanker"

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


My Account