Technical Reports
Login
IIT Mandi Repository
→
Computer Science
→
Technical Reports
JavaScript is disabled for your browser. Some features of this site may not work without it.
Technical Reports
Browse by
By Issue Date
Authors
Titles
Subjects
Search within this collection:
Recent Submissions
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
Search IIT Mandi Repository
Search IIT Mandi Repository
This Collection
Advanced Search
Browse
All of IIT Mandi Repository
Communities & Collections
By Issue Date
Authors
Titles
Subjects
This Collection
By Issue Date
Authors
Titles
Subjects
My Account
Login
Register
Discover
Author
Kiehn, Astrid (2)
Kailasam, Sriram (1)
Mittal, Abhishek (1)
Subject
Algorithms (1)
Distributed Computing (1)
Irregular Tree Processing (1)
Load-Balancing (1)
Snapshot Computations (1)
Verification (1)
Work-Stealing (1)
... View More
Date Issued
2022 (1)
2018 (1)
RSS Feeds
RSS 1.0
RSS 2.0
Atom
