IIT Mandi Repository
→
Browsing by Author

Browsing by Author "Kiehn, Astrid"

Now showing items 1-2 of 2

Title: Analysis by proof and verification of an abstract algorithm for distributed irregular tree processing Author: Kiehn, Astrid; Kailasam, Sriram Date: 2022-03-26
Title: Partial Snapshotting: Checkpoint Dissemination and Termination Author: Kiehn, Astrid; Mittal, Abhishek Date: 2018-01-01

Now showing items 1-2 of 2

Search IIT Mandi Repository

Advanced Search

Browse

All of IIT Mandi Repository

My Account