IIIT-Delhi Institutional Repository

Browsing Year-2015 by Author "Aggarwal, Deepanker"

Browsing Year-2015 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


Advanced Search

Browse

My Account