Master's Thesis Information
This is the resource page for Nick Vrvilo's Master's Thesis in Computer Science, entitled Implementing Asynchronous Checkpoint/Restart for the Concurrent Collections Model.
K-Framework Graphical Models
| Model | Runtime | Checkpoint |
|---|---|---|
| Simple (Monotonic) | Download PDF | Download PDF |
| Advanced (Trailing Edge) | Download PDF | Download PDF |
K-Framework + Clojure Hybrid Runtime (Runnable Model)
Source tarball.
Sample Applications for CnC on Habanero C
Depends on the Habanero C runtime. Source tarball.